Helló!
Abból lehet problémám, hogy sikeresen nem-fejkommenteztem a házim?
3 órán belül már nem látok esélyt fejkommentezett változatra, viszont a progi az kész..
Gondolom ha újra feltöltöm (mármint éjfél után), akkor a két pont törlődik, és csak egy pont lesz az eredmény.. Vagy rosszul gondolom?
Dávid Róbert
Sziasztok!
Foglalkozott már valaki a második kiházifeladattal?
Az volna a problémám, hogy a \ szimbólumot a Prolog fenntartja
magának, ezért a rejtvény definícióját nem tudja értelmezni.
Pl. A=11\x. -re syntax errorral reagál, míg mondjuk az A=11/x.
helyettesítés végrehajtódik.
Peti
Sziasztok!
Csak én nem találtam a 2. kisHFről anyagot az NLP oldalon, vagy nincs is? Leginkább az érdekelne, meddig lehet beadni 2 pontért.
Köszi a válaszokat.
Csaba
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
Sziasztok!
Csak erdeklodes szintjen kerdem, hogy sikerult-e mar valakinek
megbirkoznia a sat(~A =:= A) dologgal? (Persze Szeredi Petert kiveve :-)
)
Csengodi Peter
Hali!
Ha mar erdeklodes:
Ugye van a +(A,B,0), aminek az az eredmenye, hogy A=0, B=0, le kell futnia,
tehat a +(A,B,nonvar) esetet nem blokkolhatom sem when, sem block
hasznalataval.
Viszont van a +(A,B,1), amire most igy konretan otletem nincs. Valami olyat
kellene megfogalmazni, hogy ha ismerjuk az egyiket, akkor a masik vagy egy,
vagy barmi, attol fuggoen, hogy mi a masik.
Es ezt hogyan?
Bob
