Feltettem a honlapra Biener Peter eloadas-foliait.
Az eloadasok tegnap megbeszelt menetrendje:
okt. 25 Varga Péter András Induktív Logikai Programozás
(LP programok tanulása)
nov. 1 <Ünnep>
nov. 8 <Elmarad, helyette volt az okt. 11.-i elõadás>
nov. 15 Békés András György A Mercury nyelv párhuzamos megvalósítása
nov. 22 Pallinger Péter Az XSB Prolog rendszer (tabling, Hilog, stb.)
nov. 29 Drótos Márton ASP megvalósítási módszerek
dec. 6 Patai Gergely Logikai programok verifikálása
dec. 13 Dávid Róbert Az Andorra párhuzamos Prolog
A cimen, sot meg a teman is lehet valtoztatni, ha valaki meggondolta magat.
Az idoponton lehetoleg csak ugy, ha valakivel cserel az illeto.
Oktober 28 es november 20 kozott kulfoldon leszek, de fogok emailt olvasni
es valaszolni (ha nem is azonnal :-).
Tobbeteknek megprobaltam mar anyagot kuldeni, ha valaki meg ezen felul
segitsegre szorul, kerem jelezze, ha lehet meg ezen a heten.
-Peter
Feltettem a foliakat es az eloadas alapjaul szolgalo konyvre mutato linket
a VFLP honlapra:
http://www.cs.bme.hu/~szeredi/vflp/
A jovo heti eloadast Biener Peter tartja, Prolog rendszerek kulso nyelvi
interfeszeirol, tehat arrol, hogy hogyan lehet Prologbol hivni C vagy Java
kodot, es viszont, hogyan lehet C-bol vagy Javabol hivni Prologot, a
kulonbozo Prolog implementaciokban.
Udv,
Peter
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