Zbirka zadataka iz Ekspertskih sistema

Zadatak 23: Projektovanje štampanog kola ..........................................................54
Zadatak 24: Kombinovanje hemijskih jedinjenja..................................................56
Zadatak 25: Simbolička integracija.......................................................................58
1.3. Primeri na Prolog-u i LISP-u........................................................................................60
Zadatak 26: Algoritam planinarenja na Lisp-u .....................................................60
Zadatak 27: Algoritam ‘prvo najbolji’ na Lisp-u..................................................64
Zadatak 28: Algoritam grananja i ograničavanja na Lisp-u..................................67
Zadatak 29: Pregovori o razoružanju ....................................................................71
Zadatak 30: Problem majmuna i banane ...............................................................75
Zadatak 31: Hanojske kule....................................................................................78
Zadatak 32: Prolaženje kroz lavirint .....................................................................80
Zadatak 33: Problem dva krčaga...........................................................................82
2 Modeli predstavljanja znanja 85
iv
2.1. Formalna logika............................................................................................................85
Zadatak 34: Predikati START, END i DUR .........................................................85
Zadatak 35: Ostrvo uživanja .................................................................................86
Zadatak 36: Svet blokova (interpretacija predikatskih formula)...........................87
Zadatak 37: Jovanovi preci ...................................................................................88
Zadatak 38: Inteligencija računarskog sistema .....................................................89
Zadatak 39: Nalaženje konjuktivne normalne forme ............................................90
Zadatak 40: Saša i kikiriki (zaključivanje rezolucijom) .......................................92
Zadatak 41: Rodbinske veze .................................................................................93
Zadatak 42: Kriminalci i njihovi zločini ...............................................................95
Zadatak 43: Perica i Chop Suey ............................................................................96
Zadatak 44: Svet blokova (zaključivanje rezolucijom).........................................98
Zadatak 45: Rezolucija uz izbor stavova po širini ................................................99
Zadatak 46: Rezolucija uz strategiju prvenstva jedinice.......................................101
Zadatak 47: Svet blokova (funkcija Puton)...........................................................102
Zadatak 48: Kontradikcija u pretpostavkama........................................................104
Zadatak 49: Problem unifikacije stavova ..............................................................104
Zadatak 50: Poslednji element liste.......................................................................105
Zadatak 51: Dokazivanje tautologija.....................................................................106
Zadatak 52: Dokazivanje valjanosti formule ........................................................108
Zadatak 53: Problem skolemizacije ......................................................................109