Kedves Mindnyájan!
A szerdai (máj 17) beszámoló-vizsga helyszíne: IB138, ideje 10-13.
A vizsgán a jegyzet és vagy a fóliák szabadon használhatók, lehetőleg
kinyomtatva, de végszükség esetén laptopról, mobilról is.
A házik máj 17-ig beadatók.
A vizsgán lesz egy feladat amelyhez reifikációt kell használni, hasonló a
vizsga-minta
<http://cs.bme.hu/~szeredi/ndp/nlp11a-vzh-minta-megoldasokkal.pdf>
feladatsorban
szereplő nullsoros/1 példához. Ennek megoldásában segíthet az AIT kurzus
fóliáin bemutatott séma. A csatolt PDF file-ban két rövid szakasz szerepel
az AIT-s fóliákból. Az első a reifikációról szól, ebben a 219-es fóliát
nézzétek meg, majd a 223-as fólián levő sémát, amivel egy Prolog kódból
clpfd kód gyártható. A 224. fólia mutatja be ennek egy alkalmazását, ami a
219-es fólián szereplő feladat egy másik megoldása.
A második szakaszban -- a 263-273 fóliák -- a konstruktív diszjunkcióról és
a borotválásról van szó, amit esetleg a mastermind házi feladatban
megpróbálhattok hasznosítani.
Írjatok, ha valami nem érthető, vagy ha elakadtok.
Üdv,
SzP