Úvod do expertních systémů 1

Expertní systém Definice ES (Feigenbaum): expertní systémy jsou počítačové programy, simulující rozhodovací činnost experta při řešení složitých úloh a využívající vhodně zakódovaných, explicitně vyjádřených znalostí, převzatých od experta, s cílem dosáhnout ve zvolené problémové oblasti kvality rozhodování na úrovni experta. Charakteristické rysy ES: oddělení znalostí a mechanismu jejich využívání, rozhodování za neurčitosti, schopnost vysvětlování. 2

Základní složky ES báze znalostí, inferenční mechanismus, I/O rozhraní (uživatelské, vývojové, vazby na jiné systémy), vysvětlovací modul, modul pro udržování znalostí. 3

Rozhraní k jiným systémům Architektura ES Báze znalostí Znalostní inženýr, expert Prázdný ES Vysvětlovací modul Inferenční mechanismus Modul udržování znalostí Uživatelské rozhraní Rozhraní k jiným systémům DBS, programy, měřicí přístroje, … Uživatel 4

Báze znalostí a báze faktů Báze znalostí obsahuje znalosti z určitého oboru a specifické znalosti o řešení problémů v tomto oboru. Báze faktů se vytváří v průběhu řešení konkrétního problému a obsahuje data k řešenému problému. Prostředky reprezentace znalostí: matematická logika, pravidla (rules), sémantické sítě (semantic nets), rámce a scénáře (frames and scripts), objekty (objects). 5

Inferenční mechanismus Inferenční mechanismus obsahuje obecné (oborově nezávislé) algoritmy schopné řešit problémy na základě manipulace se znalostmi z báze znalostí. Typický inferenční mechanismus je založen na inferenčním pravidle pro odvozování nových poznatků z existujících znalostí, strategii prohledávání báze znalostí. 6

Neurčitost v expertních systémech Neurčitost se může vyskytovat jednak v bázi znalostí a jednak v bázi faktů. Zdroje neurčitosti: nepřesnost, nekompletnost, nekonzistence dat, Stochastická neurčitost Kvantová neurčitost vágní pojmy, nejisté znalosti. Prostředky pro zpracování neurčitosti: Bayesovský přístup, Bayesovské sítě fuzzy logika. 7

Nástroje pro tvorbu expertních systémů Prázdné expertní systémy: EXSYS, FLEX, G2, HUGIN, M4, ... Speciální programová prostředí: CLIPS, OPS5, Lisp, Prolog, ... Obecná programová prostředí: Pascal, Delphi, C, C++Builder, ... 8

Aplikace ES Aby mělo smysl použít expertní systém pro řešení nějakého problému, musejí být splněny dvě podmínky: 1. Musí se jednat o problém složitý rozsahem nebo neurčitostí vztahů, pro nějž exaktní metoda řešení buď není k dispozici, nebo není schopna poskytnout řešení v požadované době. 2. Efekty plynoucí z použití expertního systému musejí převyšovat vynaložené náklady. To znamená, že by mělo jít o problém s opakovanou potřebou řešení a značnými finančními dopady, pro nějž lidští experti jsou drazí nebo omezeně dostupní. 9

Výhody a nevýhody ES Výhody ES: schopnost řešit složité problémy, dostupnost expertíz a snížené náklady na jejich provedení, trvalost a opakovatelnost expertízy, trénovací nástroj pro začátečníky, uchování znalostí odborníků odcházejících z organizace. Nevýhody ES: nebezpečí selhání ve změněných podmínkách, neschopnost poznat meze své použitelnosti. 10

Historie vývoje ES Etapy vývoje: 1965-70 počáteční fáze (Dendral) 1970-75 výzkumné prototypy (MYCIN, PROSPECTOR, HEARSAY II) 1975-80 experimentální nasazování 1981- komerčně dostupné systémy 11

Produkční (pravidlové) systémy Poskytují vhodnou strukturu na opis a provádění procesu prohledávání. Tři základní složky produkčních systémů: báze dat (reprezentace faktů) báze (produkčních) pravidel inferenční mechanizmus (interpreter) 12

Produkční pravidlo předpoklady důsledek (akce) důsledková (akční) část předpokladová část 13

Inferenční mechanizmus Inferenční mechanizmus určuje, jak a v jakém pořadí aplikovat pravidla na bázi dat. Principiálně lze rozlišit: přímé (dopřední) řetězení, kdy při aplikaci produkčních pravidel postupujeme ve směru od počátečního stavu k některému ze stavů cílových (strategie řízená daty) zpětné řetězení, kdy se vychází od cíle ve směru počátečních stavů (strategie řízená cílem) 14

Příklad A (Je zamračeno.) & B (Je podzim.)  E (Bude pršet.) C (Zmoknu.) & D (Jsem mimo domova.)  G (Dostanu chřipku.) E (Bude pršet.)  H (Nateče mi do bot.) B (Je podzim.) & G (Dostanu chřipku.) I (Dostanu zápal plic.) E (Bude pršet.) & H (Nateče mi do bot.)  C (Zmoknu.) G (Dostanu chřipku.) & E (Bude pršet.)  F (Budu dlouho nemocná/ý.) I (Dostanu zápal plic.) & K (Nebudu se léčit.) F (Budu dlouho nemocná/ý.) Báze dat ať obsahuje data B, D a E, cílový údaj ať je symbol G. 15

Přímé řeťezení Báze dat: B (Je podzim) D (Jsem mimo domova) Cíl: E (Bude pršet) Cíl: G (Dostanu chřipku) Řešení: c) E (Bude pršet)  H (Nateče mi do bot) e) E (Bude pršet) & H (Nateče mi do bot)  C(Zmoknu) b) C (Zmoknu) & D (Jsem mimo domova)  G (Dostanu chřipku) 16

Zpětné řeťezení Báze dat: B (Je podzim) Cíl: G (Dostanu chřipku) D (Jsem mimo domova) E (Bude pršet) Cíl: G (Dostanu chřipku) b) C (Zmoknu) & D (Jsem mimo domova)  G (Dostanu chřipku) Řešení: e) E (Bude pršet) & H (Nateče mi do bot)  C(Zmoknu) c) E (Bude pršet)  H (Nateče mi do bot) 17

Procedurální (klasické) programování Popisuje algoritmus – postup, jak vyřešit úlohu 18

Příklad programu v procedurálním programovacím jazyce (Pascal)‏ Procedure kvadraticka_rovnice (a,b,c:Real); Begin D:=b*b-4*a*c if D<0 then writeln ('neni reseni'); if D=0 then writeln ('jedno reseni:', -b/(2*a)); if D>0 then begin D:=sqrt(D); R1:=(-b+D)/(2*a); R2:=(-b-D)/(2*a); writeln ('Dve reseni:', R1, R2); end; 19

Neprocedurální (logické) programování „Program“ je pouze popis situace, problému. Programátor nespecifikuje, jak problém řešit. To nechává na programu, respektive na překladači, či interpretu jazyka 20

Neprocedurální programovací jazyky LISP AUTOLISP „SQL“ Prolog (SWI-Prolog) 21

Příklad programu v Prologu Fakta pravidla 22

Fakta zena(lucie). muz(tomas). zena(zdislava). muz(petr). zena(petra). zena(hana). zena(johana). zena(anna). zena(eliska). muz(tomas). muz(petr). muz(jan). muz(jiri). muz(josef). muz(lukas). muz(bartolomej). 23

Fakta rodic(tomas,josef). rodic(jiri,tomas). rodic(tomas,anna). rodic(jiri,petr). rodic(jiri,petra). rodic(hana,tomas). rodic(hana,petr). rodic(hana,petra). rodic(tomas,josef). rodic(tomas,anna). rodic(tomas,eliska) rodic(lucie,josef). rodic(lucie,anna). rodic(lucie,eliska). rodic(petr,johana). rodic(petr,bartolomej). rodic(zdislava,johana). rodic(zdislava,bartolomej). rodic(jan,lukas). rodic(petra,lukas). 24

Pravidla otec(X,Y) :- rodic(X,Y), muz(X). matka(X,Y) :- rodic(X,Y), zena(X). dite(X,Y) :- rodic(Y,X). sourozenec(X,Y) :- rodic(Z,X), rodic (Z,Y). bratr(X,Y) :- sourozenec(X,Y), muz(X). sestra(X,Y) :- sourozenec(X,Y), zena(X). manzel(X,Y) :- dite(Z,X), dite(Z,Y), muz(X). manzelka(X,Y) :- dite(Z,X), dite(Z,Y),zena(X). 25

Dotazy muz(tomas)‏ muz(anna)‏ otec(tomas,josef)‏ otec(X,josef)‏ dite(tomas,X)‏ dite(X,_)‏ otec(X,Y)‏ sestra(X,Y)‏ bratr(tomas,X)‏ 26

Úkoly Napiše tato pravidla: dedecek(X,Y)‏ babicka(X,Y)‏ stryc(X,Y)‏ teta(X,Y)‏ synovec(X,Y)‏ neter(X,Y)‏ bratranec(X,Y)‏ sestrenice(X,Y)‏ 27