Tisztelt tanár úr!
A programom két teszten hibás eredményt adott a tesztrendszer szerint,
de a megadott eseteket itthon lefuttatva nekem helyesnek tűnik a
megoldás.
Szeretném a segítségét kérni hogy hol keressem a bajt.
7. teszteset, idõlimit = 5 sec
---------------------------------
% loading /ets/ets/guts/hwks/09s/nlp1/JozsefDaniel.KIP30T/nlpeval.ql...
% module dp_test imported into user
Goal: sat(X*X=:=Y), all solutions in [X,Y]:
expected 1 solution: [A,A],
got 1 solution: [A,B]
test failed
>>>>> A program lefutott, a megoldás HIBÁS.
Ugyanez nálam:
| ?- sat(X*X=:=Y).
prolog:trig_ground(X,[],[X],_A,_B),
prolog:trig_ground(X,[],[X],_A,_C),
prolog:trig_or([_B,_C,_D],_A,_A),
prolog:when(_A,(ground(X);ground(X);ground(Y)),user:and(X,X,Y)),
prolog:trig_ground(Y,[],[Y],_A,_D) ? ;
no
| ?- sat(X*X=:=Y), labeling([X,Y]).
X = 1,
Y = 1 ? ;
X = 0,
Y = 0 ? ;
no
Ez jónak tűnik... Felesleges választási pontokat sem látok...
9. teszteset, idõlimit = 5 sec
---------------------------------
% loading /ets/ets/guts/hwks/09s/nlp1/JozsefDaniel.KIP30T/nlpeval.ql...
% module dp_test imported into user
Goal: sat(X+Y=:=Z),X=Y, all solutions in [X,Y,Z]:
expected 1 solution: [A,A,A],
got 1 solution: [A,A,B]
test failed
>>>>> A program lefutott, a megoldás HIBÁS.
Nálam:
| ?- sat(X+Y=:=Z), X=Y.
Y = X,
prolog:trig_ground(X,[],[X],_A,_B),
prolog:trig_or([_B,_C,_D],_A,_A),
prolog:when(_A,(ground(X);ground(X);ground(Z)),user:or(X,X,Z)),
prolog:trig_ground(Z,[],[Z],_A,_D),
prolog:trig_ground(X,[],[X],_A,_C) ? ;
no
| ?- sat(X+Y=:=Z), X=Y, labeling([X,Y,Z]).
X = 1,
Y = 1,
Z = 1 ? ;
X = 0,
Y = 0,
Z = 0 ? ;
no
Ez lényegében ugyanaz a feladat mint az előző, itt sem látok hibát...
Köszönettel,
József Dániel
Üdvözletem!
Az ETS sajnos nem elérhető...
Failed to Connect
The connection was refused when attempting to contact
sintagma.szit.bme.hu:4321
Though the site seems valid, the browser was unable to establish a
connection.
Egy órával a házi beadás előtt ez elég csúnya dolog... :) Szerintem ezért
még holnapig járnia kéne a 2 pontnak... :D
József Dániel
Hello,
A kisháziban megadott count/2 eljárás b. és c. extra funkciónak
megvalósításához (elegendő számú behelyettesített egyes/nulla után a lista
többi elemét megfelelően leköti) jól jönne némi segítség. Úgy gondoltam,
hogy valamiféle akkumulátor változóban kéne növelni az egyesek/nullák
számát, amikor egy-egy daemon felébred, de hogy ezt a változót hogyan
lehetne megfelelően megosztani, nem világos. Esetleg egyáltalán nem így kéne
nekikezdeni a problémának? Bármiféle tippet megköszönnék.
~ pkt
Helló!
A házifeladat ellenőrző script még mindig nem működik!
Üdv:
G.L.
2009/3/6 <ets-adm(a)inf.bme.hu>:
> Tesztnapló
> ----------
>
> A hallgató neve és azonosítója: GardonyiLaszloAndras.SSOCKT
> A program verziószáma: 2
> A teszt időpontja: március 6. 17:51
> A tesztet futtató hoszt: sintagma.szit.bme.hu
>
> A Prolog program tesztelése
> ---------------------------
>
> A házi feladat fordítása folyamatban...
> ./build-hw: line 4: exec: sicstus: not found
> A fordítás nem sikerült!
Nekem úgy tűnik, a
http://sintagma.szit.bme.hu/sicstus/
nem elérhető. Van-e másnak is ilyen "érzése"? Van akinek már sikerült
beszereznie a jelszót?
--
Zsíros Levente
Kedves Demonstratorok, Prolog irant erdeklodok!
Frissitettem a honlapon a TDK, diploma, stb. temak kiirasat.
http://cs.bme.hu/~szeredi/oktatas/temak08s.txt
Most mar tenyleg itt a nyar, de hatha valakit lazba hoz valamelyik tema, es
szivesen foglalkozna vele nyaron, osszel, telen.
Ha valakivel ez a fura esemeny megtortenik, kerem jelentkezzen!
Vagy ha valakinek van olyan ismerose, akit ez erdekelhet, kerem tovabbitsa
a linket.
Az uj temakat (DLog rendszer) idemasolom az uzenet vegere is, hogy konnyebb
legyen elolvasnotok.
Udv,
Peter
---------------------------------------------------------------------------
Önálló labor, TDK és diploma-munka (egységesen: munka) témák
Szeredi Péter, SZIT
2008. június
1. A DLog leíró logikai (LL) következtetõ rendszer fejlesztése
A DLog egy SHIQ nyelvet támogató adatdoboz következtetõ rendszer, amely
Prologban készült és a LL tudásbázist Prolog kódra fordítja. A SHIQ
adatdoboz következtetõ rendszerek között -- a DLog szerzõi tudomása
szerint -- számos szabványos tesztre a DLog leggyorsabb következtetõ
rendszer.
1.1. A DLog kiterjesztése hatékony adatbázis interfészekkel
A DLog rendszer egyik elõnye a többi LL adatboboz következtetõ
rendszerhez képest az hogy a kérdések megválaszolásához szükséges
adatállításokat (az adatdoboz tartalmát) elvben képes egy
hagyományos relációs adatbázisból kinyerni. Ebben a megközelítésben
az LL tudásbázis adatfüggetlen részébõl készítünk Prolog programot,
amelynek futása során dinamikusan érjük el az adatbázis tartalmát.
A munka során fel kell készíteni a DLog rendszert arra, hogy
adatbázisokhoz tudjon kapcsolódni. Elsõ lépésként ki kell bõvíteni
a különféle bementi interfészeket annak érdekében, hogy
specifikálni lehessen melyik adatbázis tartalmazza az adatdoboz
tartalmát és azt milyen módon (felhasználónév, jelszó, protokoll
stb.) lehet elérni. Szükséges lehet egy leképezés megadása is,
amely összerendeli az adatbázisban található táblaneveket az LL
tudásbázis terminológiai részében szereplõ atomi fogalomnevekkel.
Második lépésként át kell alakítani a generált Prolog programot
annak megfelelõen, hogy bizonyos célok/célok csoportjai
adatbázislekérdezésekké fognak fordulni. Ez az átalakítás
alapvetõen klóztörzsek sorrendezését és az abban található célok
megfelelõ összevonását jelenti, de kiterjedhet több klóz
összevonására is.
Végül létre kell hozni azt az interfészt, amelyen keresztül a
generált Prolog program futása során eléri az adatbázis
tartalmát. Egy-egy ilyen adatbázislekérdezés bonyolultsága a
konkrét Prolog kérdéstõl függ: bizonyos esetekben, például Prolog
célok egy csoportjának egyidejû lekérdezésekor, komplexebb joint
tartalmazó kérdések generálása is szükséges lehet.
1.2. A DLog kiterjesztése táblázással
A Leíró Logikai kérdések megválaszolása a DLog rendszerben egy
hagyományos Prolog végrehajtás során történik. Ennek egyik
jellemzõje az, hogy a futás során már bebizonyított részcélokat
adott esetben újra megpróbáljuk bebizonyítani.
A DLog rendszer jelenleg is alkalmaz számos technikát (tömörítés,
projekció), amelyek orvosolják a fenti probléma bizonyos
elõfordulásait. Számos esetben ugyanakkor még mindig feleslegesen
foglalkozunk olyan célokkal, amelyek megoldását már korábban
kiszámítottuk. Az általános Prolog megoldás, a táblázás,
közvetlenül sajnos nem használható, mert a DLog végrehajtás során
használt ún. õs-rezolúció eredményekébben egy cél végrehajtása nem
környezetfüggetlen, hanem függ attól, hogy milyen õsei vannak a
Prolog végrehajtási fában.
A munka során meg kell ismerni a létezõ táblázási megoldásokat és
adaptálni kell Prolog és DLog környezethez.
1.3. A DLog párhuzamos és elosztott megvalósításai
A Prolog végrehajtás -- a klasszikus imperatív nyelvekkel
ellentétben -- könnyen párhuzamosítható. Ráadásul ez _implicit
módon_ is elvégezhetõ, azaz úgy, hogy a Prolog programozónak nem is
kell tudnia arról, hogy több processzor hajtja végre a programot.
Többféle módon is párhuzamosítható a Prolog: a legismertebbek az
ún. vagy-párhuzamosság, amikoris a keresési tér különbözõ ágait
egyszerre dolgozzuk fel, illetve az és-párhuzamosság, amikor egy
célsorozat különbözõ részcéljait futtatjuk párhuzamosan.
A munka során elsõsorban a vagy-párhuzamosság kiaknázásán dolgozunk
a DLog rendszer által generált Prolog kód esetén. Mivel ez sokkal
egyszerûbb, mint az általános Prolog programok, számos
egyszerûsítésre van lehetõség az ismert Prolog technikákhoz
képest. Célunk egy olyan DLog változat elkészítése amely több
processzor/mag illetve hálozatba kapcsolt számítógépek
felhasználásával lényegesen gyorsabban oldja meg az adatdoboz
következtetési feladatokat, mint az egyprocesszoros rendszer.
1.4. A DLog T-doboz következtetõ komponensének továbbfejlesztése
Ezen modul célja, hogy a T-dobozban szereplõ axiómákat minél
egyszerûbb formájú szabályokká alakítsa. Tesszük ezt azért, hogy a
késõbbi adatkövetkeztetés során már ne kelljen a T-doboz axiómái
közötti összefüggésekkel foglalkozni, és fókuszált,
lekérdezés-vezérelt következtetést tudjunk végezni.
A munka során meg kell ismerkedni a DLog-ban mûködõ
következtetési algoritmussal, mely bizonyos mértékben igényli
az elsõrendû rezolúciós tételbizonyítással valamint a leíró
logikákhoz kifejlesztett tabló algoritmussal való barátkozást
is. Ezután közösen azon dolgozunk, hogy hatékonyabbá tegyük a
következtetést: ideálisan úgy, hogy a gép nagyjából azt
csinálja, amit egy ember is csinálna. Fontos az érdektelen
következtetési ágak minél korábbi felismerése, de bátran elõ
lehet állni radikálisan új módszerekkel is egyes
részfeladatokhoz, vagy akár az egész következtetéshez.
A munkának van egy elméleti, matematikai része valamint egy
implementációs része, melyhez a Prolog nyelvet használjuk.
Az egyetlen igazi követelmény a matematikai gondolkodás iránti
hajlandóság és a lelkesedés.
Kedves NLP-sek!
A nagyhazi sikeressegehez elegendo, ha a programotok 4 tesztesetre
sikeresen lefut (40%-os elv), ekkor ezert 4 vizsgapont kaphato
(tesztesetenket 1, max 10). Tovabbi max 5 pont kaphato a nhf
dokumentaciora.
A 100 pont fennmarado resze, 85 pont szerezheto a vizsgan.
A vizsga elott leadott kishazikra, ha minden tesztesetre lefutnak, 2-2
pluszpont jar.
Ponthatarok:
osszpontszam jegy
>= 85 jeles
>= 70 jo
>= 55 kozepes
>= 40 elegseges
A vizsgan irott (nyomtatott, kezzel irott) segedanyagot *lehet hasznalni*.
Javaslom, hogy mindenki hozza el a foliamasolatok kinyomtatott
valtozatat...
Ha valakinek meg gondja, kerdese van, irjon!
-Peter
A nagyhazi beadasi hataridejet csutortok ejfelig meghosszabbitottam, igy
akar a vizsga utan is be lehet adni. Ha valaki elakad vele, szivesen
segitek a kovetkezo napokban.
Varok mindenki a hetfoi konzultacion.
-Peter
"Tibor Bende" <cv3k93(a)gmail.com> writes:
> Kedves Péter,
>
> eljutottam odáig, hogy egy-két példácskámra már ad megoldást a programom.
> Azt szeretném tudni, hogyha több megoldása is létezik a megoldásnak, akkor a
> lehetséges kimeneteket egy listába gyûjtsem össze
> (findall-lal például) és ha igen, akkor az, hogy hogyan vannak ebben benne,
> az számít-e a megoldások értékelésekor?
A megoldasokat egyenkent kell visszaadni, mint ahogy az a satrak eljaras
specifikaciojaban is le van irva. A visszaadott megoldasok sorrendje nem
szamit.
> Ahogyan néztem, a letölthetõ tesztpéldáknál lexigrafikusan vannak rendezve a
> megoldások is. Ez követelmény, vagy az ellenõrzõ keretrendszer majd
> összegyûjti az összes megoldást és rendezi magénak?
Igen, ez utobbi a helyzet.
-Peter
