[NHLP-l] Hetfoi eloadas

A mult NLP oran emlitettem, hogy lesz egy eloadas a Valogatott Fejezetek a Logikai Programozasbol c. hallgatoi szeminariumon, amelynek koze lesz az iteletkalkulus-kovetkezteteshez (tehat olyan jellegu dolog, mint a CLP(B) kovetkeztetoje), csak lenyegesen nagyobb meretekben is mukdokepes. Pontositva: az eloadas a Valaszhalmaz-programozasrol (Answer Set Programming, ASP) szol, ami a logikai programozasnak egy a Prologtol, CLP(X)-tol lenyegesen kulonbozo uj aga. Mint a Prologban, az ASP-ben is logikai allitasok alkotjak a programot. A megengedett allitasok kore egy kicsit kulonbozik, de az igazan lenyeges kulonbseg a kovetkezo: - Prologban egy adott kerdesre keressuk a valaszt, es ezt valtozo-behelyettesitesek formajaban kapjuk meg. - ASP nyelvekben azt kerdezzuk, hogy az adott allitashalmaznak van-e modellje, es ha igen, mi az. A rendszer valaszkent egy ilyen modellt tomor elemi (atomi) allitasok halmazakent ad meg, ebbol szarmazik a "Valaszhalmaz Programozas" elnevezes. - Ugyanazt a feladatot Prologban es ASP-ben is megoldhatjuk, persze mas-mas programot kell irni. Az ASP programokban a valtozok veges sok erteket vehetnek csak fel. Az ASP rendszerek megvalositasanak alapgondolata, hogy a valtozokat eloszor kikuszobolik ugy, hogy minden programklozt minden lehetseges modon behelyettesitenek (ez az un. tomorites, grounding), es ezaltal egy iteletkalkulusbeli allitashalmazhozt kepeznek. Ennek merete tobbszazezres is lehet. Ezutan ennek az allitashalmaznak megkeresik a modelljeit, iteletkalkulusbeli tetelbizonyitasi modszerekkel. Az eloadason az ASP elmeleterol es gyakorlatarol lesz szo, a megvalositasrol (pl. a tetelbizonyitorol) nem. Peldaul a N-kiralyno feladatot ugy programozhatjuk be ASP-ben, hogy a kovetkezo informalis allitasokat formalizaljuk: % q(I, J) jelentese: az I. sor J. oszlopaban van kiralyno minden 1=<J=<N-hez pontosan egy olyan 1=<I=<N van, hogy q(I,J) igaz semmilyen 1=<I,J,J1=<N eseten sem lehet q(I,J) es q(I,J1) igaz semmilyen 1=<I,I1,J,J1=<N eseten sem lehet q(I,J) es q(I1,J1) es abs(I-I1)=abs(J-J1) igaz Egy adott N eseten a fenti allitasok jo sok (de veges sok) olyan logikai allitast eredmenyeznek, amelynek epitokovei a q(I,J) alaku elemi allitasok. Egy ilyen allitashalmaznak keressuk egy modelljet, amit az igaz q(I,J) elemi allitasok halmazaval irhatunk le. Ez a valaszhalmaz adja meg a kiralynok koordinatait. Az eloadas helye IB.134, a SZIT I-epuletbeli szekhelyen belul levo terem. A szeminarium 12:15-kor kezdodik, eloszor Szabo Peter befejezi a Prolog/LP elmeleti alapjairol szolo, mult heten elkezdett eloadasat (ami talan a mult heti anyag nelkul is ertheto lesz valamelyest) majd Windisch Zoli beszel az ASP-rol. Minden erdeklodot szeretettel varunk, Peter