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
Hello lista!
Lehet, hogy buta kerdes, de nekem abszolut nem egyertelmu.
Hogyan lehet beadni a hazit? Megvan a szkript, de valami unixon/linuxon
kellene futtatni, ugye... De.. hol? Ural2-n, sajat gepen (nem fog menni,
Windows), vagy..?
Bob
Hello!
Bekuldtem a hazimat, de a kovetkezo levelet kaptam vissza :
....
Testing your homework
=====================
Testing case #1
---------------
License error:
License has expired>>>>> Exception occurred.
....
Hat pont a hazibeadas elotti hetvegen jar le a licenc?! :)
Adam
