Umělá inteligence
Podmínky pro udělení zápočtu a vykonání zkoušky
Materiály ke stažení:
- Úvodní seznámení s Prologem, popis jazyka,
práce se seznamy, operátory, pomocné predikáty.
- Hledání řešení - metody a postupy řešení,
použití heuristiky.
- Plánovací systémy - GPS a STRIPS.
- Expertní systémy - reprezentace BZ, inferenční mechanismy.
- Genetické algoritmy.
SWI-Prolog
Swi-Prolog Manual
SWI-Prolog Home page
Příklady plánování:
Žáby.
Převoz přes řeku.
Pravidla:
- k dispozici máš otce, matku, jejich dvě dcery, dva syny, policistu a vězně;
- musíš dostat všechny lidi z levého břehu na pravý;
- na voru mohou jet jen dva lidi;
- vor může převážet jen policista, matka nebo otec;
- vězeň nemůže být nikdy bez dozoru policisty s žádným členem rodiny;
- otec nemůže zůstat v přítomnosti ani jedné dcery bez dozoru (tj. přítomnosti) matky;
- matka nemůže zůstat v přítomnosti ani jednoho syna bez dozoru otce.