Název:	Znalostní systémy
Zkratka:	ZSY
Typ:	povinně volitelný
Rozsah:	10 týdnů, týdně 2 hodiny přednášek + 2 hodiny seminárních cvičení
Způsob ukončení:	zkouška
Katedra:	katedra softwarového inženýrství FM TUL
Přednášející:	Ing. Jiřina Královcová

 
Stručná anotace předmětu:

Cílem předmětu je seznámit studenty se základními charakteristikami, principy a aplikacemi expertních a znalostních systémů.

 
Témata přednášek:

Řešení úloh. Metody prohledávání stavového prostoru. Využití heuristických znalostí.

Obecná charakteristika expertních systémů. Vznik, typy a příklady expertních systémů. Struktura klasických expertních systémů - báze znalostí, odvozovací pravidla, odvozovací mechanismus. Prázdné a problémově orientované expertní systémy.

Báze znalostí. Způsoby symbolické reprezentace znalostí. Rámce. Sémantické sítě. Odvozovací pravidla.

Prostředky predikátové logiky pro reprezentaci znalostí. Algoritmy pro porovnávání vzorů. Odvozovací mechanismus. Zpětné a přímé řetězení.

Neurčité znalosti. Práce s neurčitostí v expertních systémech.

SPEL-EXPERT jako příklad prázdného expertního systému diagnostického charakteru založeného na produkčních pravidlech. Syntaxe báze znalostí. Získávání znalostí od experta.

 
Náplň cvičení:

Implementace metod prohledávání stavového prostoru. Prohledávání do hloubky a do šířky. Využití heuristické funkce pro redukci prohledávání.

Realizace jednoduchého pravidlového systému. Implementace algoritmů pro porovnávání vzorů.

Zápis pravidel pomocí Hornových klauzulí. Realizace jednoduchého systému pro odvozování z pravidel zapsaných ve tvaru Hornových klauzulí.

Komunikace s expertním systémem SPEL-EXPERT. Procvičování tvorby báze znalostí pro prázdný expertní systém SPEL-EXPERT.

 
Literatura:

MAŘÍK, V., ŠTĚPÁNKOVÁ, O., LAŽANSKÝ, J. : Umělá inteligence. Díl I. Akademia, Praha, 1994, 215 s.

MAŘÍK, V., ŠTĚPÁNKOVÁ, O., LAŽANSKÝ, J.: Umělá inteligence. Díl II. Akademia, Praha, 1995, 195 s.

BERKA, P. : Tvorba znalostních systémů. Praha : VŠE, 1994. 190s.

MICHALEWICZ, Z., FOGEL, D. B. : How to Solve It: Modern Heuristics. Springer-Verlag ,New York, 1999, 470 s.

 
Prerekvizity: Umělá inteligence

Navazující:    -

 
Datum poslední změny: 20.12.2001