Inteligentní systémy

Přednášky:
Programovací jazyk Prolog. Fakta, dotazy, klauzule.
Prolog: proměnné, backtracking, trasovaní, databáze faktu.
Prolog: práce se seznamy, symbolická matematika.
Hledání řešení, použití heuristiky.
Plánovaní, plánovací systémy.
Expertní systémy, reprezentace báze znalostí.

Inferenční mechanismy ES.
Zpracování přirozeného jazyka
Počítačové vidění.
Genetické algoritmy.

Projekty:
Prvním menším projektem v rámci cvičení a samostatné přípravy je řešení vybraného plánovacího problému. Hlavním projektem je vytvoření jednoduchého expertního systému, jehož hlavní částí je vlastní báze znalostí.

Počítačové laboratoře:
Základní ovládání prologu. Trasování.
Definování vlastního rodokmenu. Řešení rodinných vztahů.
Použití operátorů, symbolická matematika.
Práce se seznamy, základní operace se seznamy.
Hledání řešení, návrh vlastního problému, nalezení všech řešení.
Plánovací algortimy, ověření navržených řešení.
Rozbor vlastního problému pro plánování.
Implementace plánování vlastního problému.
Návrh vlastní báze znalostí.
Prezentace vlastního expertního systému.