ekspertski sistemi vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 kreirati novo...
TRANSCRIPT
![Page 1: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/1.jpg)
April 2013.
Ekspertski Sistemi Vežbe
Produkcioni sistemi
![Page 2: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/2.jpg)
2
Program vežbi • Algoritmi pretraživanja • Teorija igara • Formalna logika (metodologija predstavljanja znanja)
• Produkcioni sistemi • Uvod u mašinsko učenje • Strategije rešavanja problema • Rad u neizvesnom okruženju
![Page 3: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/3.jpg)
3
Uvod • Produkcioni sistem je skup pravila
oblika logičke implikacije: – Preduslov => zaključak
• Analitički i sintetički produkcioni sistemi
![Page 4: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/4.jpg)
4
Pretpostavke, medjupredikati, ciljni stav
• Pretpostavke koje se pojavljuju isključivo u preduslovima pravila
• Ciljevi, koji se pojavljuju isključivo u zaključcima
• Medjupredikati, koji se mogu pojaviti i u preduslovima jednih i u zaključcima drugih pravila
![Page 5: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/5.jpg)
5
Zaključivanje u produkcionim sistemima
• Zaključivanje pomoću produkcionih sistema predstavlja proces utvrdjivanja istinitosne vrednosti zaključka na onovu zadatih istinitosnih vrednosti pretpostavki – Direktno ulančavanje
– Povratno ulančavanje
– Hibridno ulančavanje
![Page 6: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/6.jpg)
6
Zadatak 1: Zaključivanje direktnim ulančavanjem
Posmatrajmo sledeću bazu znanja koja se sastoji od pravila (produkcija) i činjenica
if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) f(5) g(5) e
![Page 7: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/7.jpg)
7
Koje sve nove činjenice i po kom redosledu proizilaze primenom direktnog ulančavanja sa fokusiranjem pažnje (engl. focus of attention) na nove činjenice?
![Page 8: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/8.jpg)
8
• e, f(x), g(x) predstavljaju pretpostavke
• b(x), c(x), d(x) predstavljaju medjupredikate
• a(x) je ciljni stav
• g(2), f(5), g(5) i e definišu istinitost pretpostavki za odredjene konkretne vrednosti promenljivih
![Page 9: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/9.jpg)
9
• Prikazani sistem sadrži predikate koji imaju argumente u kojima se pojavljuju promenljive
• Promenljive se posmatraju kao univerzalno kvantifikovane
• Tokom zaključivanja promenljive se vezuju, odnosno dobijaju konkretne vrednosti
![Page 10: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/10.jpg)
10
Zaključivanje direktnim ulančavanjem
1. Formirati listu, L, neupotrebljenih činjenica (očuvati redosled ?)
2. Izabrati činjenicu F sa početka liste i ukloniti je iz liste.
2.1. Za svako pravilo R koje u preduslovu sadrži predikat P koji može upariti činjenicu preduzeti sledeće korake (not(P) pravila se ignorišu u ovom prolazu):
![Page 11: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/11.jpg)
11
2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova pravila R. Ako je došlo do vezivanja u pravilu R’ pojavljuju se nove vrednosti
2.1.2 Ako se novo pravilo sastoji samo od zaključka radi se o novoj činjenici (stavlja se na početak liste). Iz baze znanja ukloniti sva pravila čija je desna strana istovetna novoj činjenici
![Page 12: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/12.jpg)
12
2.1.3 Ako novo pravilo R’ pored zaključka sadrži i preduslov, potrebno je novo pravilo staviti u bazu znanja. Novo pravilo se stavlja neposredno ispred pravila R od kojeg je nastalo.
Ukoliko postoji još neki predikat u preduslovu R koji može upariti činjenicu F tada novo pravilo stavljamo iza pravila R
![Page 13: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/13.jpg)
13
2.1.4 Ukoliko je pravilo R suvišno posle dodavanja pravila R’, ukloniti pravilo R iz baze znanja.
Pravilo R je suvišno ako njegov zaključak nije opštiji od zaključka pravila R’.
3. Ponavljati korak 2 sve dok se ne isprazni lista činjenica
![Page 14: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/14.jpg)
14
4. Razmatrati redom pravila: za svaki oblik not(P) koji se pojavljuje u pravilima, ispitati da li predikat P uparuje neku od činjenica. Ako je odgovor negativan, dodati not(P) listi L i ponoviti korak 2
![Page 15: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/15.jpg)
15
Lista neupotrebljenih činjenica: • g(2), f(5), g(5), e 1. if b(x) then a(x) 2. if c(x) and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) Dobijene činjenice: -
![Page 16: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/16.jpg)
16
• Činjenica g(2) • Jedino preduslov pravila 4 (if g(x)
then c(x)) uparuje ovu činjenicu • Promenljiva x dobija vrednost 2 • Dobijamo novu činjenicu c(2) • Činjenicu stavljamo na čelo liste • Pravilo se ne uklanja iz baze
(zaključak je opštiji)
![Page 17: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/17.jpg)
17
Lista neupotrebljenih činjenica: • c(2), f(5), g(5), e 1. if b(x) then a(x) 2. if c(x) and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) Dobijene činjenice: c(2)
![Page 18: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/18.jpg)
18
• Činjenica c(2)
• Jedino preduslov pravila 2 (if c(x) and d(x) then b(x)) uparuje ovu činjenicu
• Promenljiva x dobija vrednost 2
• Kreira se novo pravilo: if d(2) then b(2)
• Novo pravilo ispred
• Pravilo se ne uklanja iz baze (zaključak je opštiji)
![Page 19: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/19.jpg)
19
Lista neupotrebljenih činjenica:
• f(5), g(5), e
• if b(x) then a(x)
• if d(2) then b(2)
• if c(x) and d(x) then b(x)
• if e and f(x) then d(x)
• if g(x) then c(x)
Dobijene činjenice: c(2)
![Page 20: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/20.jpg)
20
• Činjenica f(5)
• Jedino preduslov pravila 4 (if e and f(x) then d(x)) uparuje ovu činjenicu
• Novo pravilo: if e then d(5)
• Pravilo se ne uklanja iz baze (zaključak je opštiji)
![Page 21: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/21.jpg)
21
Lista neupotrebljenih činjenica: • g(5), e • if b(x) then a(x) • if d(2) then b(2) • if c(x) and d(x) then b(x) • if e then d(5) • if e and f(x) then d(x) • if g(x) then c(x) Dobijene činjenice: c(2)
![Page 22: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/22.jpg)
22
• Činjenica g(5)
• Jedino preduslov pravila 6 (if g(x) then c(x)) uparuje ovu činjenicu
• Nova činjenica c(5)
• Dodaje se na početak liste
• Baza ostaje neizmenjena
![Page 23: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/23.jpg)
23
Lista neupotrebljenih činjenica: • c(5), e 1. if b(x) then a(x) 2. if d(2) then b(2) 3. if c(x) and d(x) then b(x) 4. if e then d(5) 5. if e and f(x) then d(x) 6. if g(x) then c(x) Dobijene činjenice: c(2), c(5)
![Page 24: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/24.jpg)
24
• Činjenica c(5)
• Jedino preduslov pravila 3 (if c(x) and d(x) then b(x)) uparuje ovu činjenicu
• Novo pravilo: if d(5) then b(5)
![Page 25: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/25.jpg)
25
Lista neupotrebljenih činjenica: • e • if b(x) then a(x) • if d(2) then b(2) • if d(5) then b(5) • if c(x) and d(x) then b(x) • if e then d(5) • if e and f(x) then d(x) • if g(x) then c(x) Dobijene činjenice: c(2), c(5)
![Page 26: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/26.jpg)
26
• Činjenica e • Odgovaraju dva pravila 5 i 6
– if e then d(5) – if e and f(x) then d(x)
• Na osnovu pravila 5 dobija se nova
činjenica d(5) • Pravilo 5 se uklanja iz baze
(zaključak odgovara dobijenoj činjenici)
![Page 27: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/27.jpg)
27
• Na osnovu pravila 6 (if e and f(x) then d(x)) dobija se novo pravilo – if f(x) then d(x)
• Pravilo 6 se uklanja kao redundantno
![Page 28: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/28.jpg)
28
Lista neupotrebljenih činjenica: • d(5) • if b(x) then a(x) • if d(2) then b(2) • if d(5) then b(5) • if c(x) and d(x) then b(x) • if f(x) then d(x) • if g(x) then c(x) Dobijene činjenice: c(2), c(5), d(5)
![Page 29: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/29.jpg)
29
• Činjenica d(5)
• Odgovaraju dva pravila 3 i 4 – if d(5) then b(5)
– if c(x) and d(x) then b(x)
• Na osnovu pravila 3 dobija se nova činjenica b(5)
• Pravilo 3 se uklanja iz baze (zaključak odgovara dobijenoj činjenici)
![Page 30: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/30.jpg)
30
• Na osnovu pravila 4 (c(x) and d(x) then b(x)) dobija se novo pravilo – if c(5) then b(5)
• Nema potrebe unosti u bazu (postoji činjenica b(5)
![Page 31: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/31.jpg)
31
Lista neupotrebljenih činjenica:
• b(5)
1. if b(x) then a(x)
2. if d(2) then b(2)
3. if c(x) and d(x) then b(x)
4. if f(x) then d(x)
5. if g(x) then c(x)
Dobijene činjenice: c(2), c(5), d(5), b(5)
![Page 32: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/32.jpg)
32
• Činjenica b(5)
• Odgovara pravilo 1 (if b(x) then a(x))
• Nova činjenica a(5)
• Baza znanja se ne menja
• Sa a(5) nije moguće dobiti nove činjenice
![Page 33: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/33.jpg)
33
Lista neupotrebljenih činjenica:
• -
1. if b(x) then a(x)
2. if d(2) then b(2)
3. if c(x) and d(x) then b(x)
4. if f(x) then d(x)
5. if g(x) then c(x)
Dobijene činjenice: c(2), c(5), d(5), b(5), a(5)
![Page 34: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/34.jpg)
34
Zadatak 2: Zaključivanje povratnim ulančavanjem
![Page 35: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/35.jpg)
35
• Posmatrajmo bazu znanja: if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) f(5) g(5) e
![Page 36: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/36.jpg)
36
Prikazati proces zaključivanja o istinitosti cilja a(x) povratnim ulančavanjem
Zahtev
![Page 37: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/37.jpg)
37
• Promenljiva x u ciljnom predikatu smatra se egzistencijano kvantifikovanom
• Da bi cilj bio ispunjen, dovoljno je naći jednu konkretnu vrednost C za promenljivu x za koju je predikat a(C) ispunjen
![Page 38: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/38.jpg)
38
• Povratno rezonovanje je ciljno usmereno
• Polazi od zadatog cilja, upotrebom pravila u smeru od zaključka ka preduslovu ispituje da li su ispunjene sve činjenice koje zahteva dati cilj
![Page 39: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/39.jpg)
39
1. if b(x) then a(x) 2. if c(x) and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
![Page 40: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/40.jpg)
40
1. if b(x) then a(x) 2. if c(x) and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
![Page 41: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/41.jpg)
41
1. if b(x)P2 then a(x) 2. if c(x) and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
![Page 42: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/42.jpg)
42
1. if b(x)P2 then a(x) 2. if c(x)P4 and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x) then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
![Page 43: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/43.jpg)
43
1. if b(x)P2 then a(x) 2. if c(x)P4 and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x)P5 then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
![Page 44: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/44.jpg)
44
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2) then b(2) 3. if e and f(2) then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 45: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/45.jpg)
45
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2)P3 then b(2) 3. if e and f(2) then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 46: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/46.jpg)
46
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2)P3 then b(2) 3. if eP8 and f(2) then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 47: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/47.jpg)
47
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2)P3 then b(2) 3. if eP8 and f(2)? then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 48: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/48.jpg)
48
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2)P3 then b(2) 3. if e? and f(2) then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 49: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/49.jpg)
49
1. if b(2)P2 then a(2) 2. if c(2)P4 and d(2)? then b(2) 3. if e and f(2) then d(2) 4. if g(2)P5 then c(2) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 2
![Page 50: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/50.jpg)
50
1. if b(x)P2 then a(x) 2. if c(x)P4 and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x)P5 then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
x =
![Page 51: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/51.jpg)
51
1. if b(x)P2 then a(x) 2. if c(x)P4 and d(x) then b(x) 3. if e and f(x) then d(x) 4. if g(x)P7 then c(x) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 5
![Page 52: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/52.jpg)
52
1. if b(5)P2 then a(5) 2. if c(5)P4 and d(5) then b(5) 3. if e and f(5) then d(5) 4. if g(5)P7 then c(5) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 5
![Page 53: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/53.jpg)
53
1. if b(5)P2 then a(5) 2. if c(5)P4 and d(5)P3 then b(5) 3. if e and f(5) then d(5) 4. if g(5)P7 then c(5) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 5
![Page 54: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/54.jpg)
54
1. if b(5)P2 then a(5) 2. if c(5)P4 and d(5)P3 then b(5) 3. if e and f(5) then d(5) 4. if g(5)P7 then c(5) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 5
![Page 55: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/55.jpg)
55
1. if b(5)P2 then a(5) 2. if c(5)P4 and d(5)P3 then b(5) 3. if eP8 and f(5)P6 then d(5) 4. if g(5)P7 then c(5) 5. g(2) 6. f(5) 7. g(5) 8. e
x = 5
![Page 56: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/56.jpg)
56
• Dobijene su iste činjenice u istom redosledu u slučaju direktnog ulančavanja u istoj bazi znanja
• U opštem slučaju broj i redosled
činjenica ne moraju se poklapati kod ova dva načina zaključivanja
![Page 57: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/57.jpg)
57
• U zaključivanju povratnim ulančavanjem razmatra se ispunjenost samo onih predikata koji mogu uticati na ispunjenost zadatog cilja, dok se kod direktnog ulančavanja izvode svi mogući zaključci na osnovu zadate baze znanja
![Page 58: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/58.jpg)
58
Zaključivanje povratnim ulančavanjem
• Tokom zaključivanja razmatraju se ciljevi koji su predstavljeni konjukcijom predikata
• Za svaki od ciljeva pamti se tekući predikat, i za svaki od zadovoljenih predikata redni broj činjenice ili pravila u bazi koje zadovoljava taj prediakt kao i vezivanja nastala tom prilikom
![Page 59: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/59.jpg)
59
• Pozvati proceduru TEST za početni upit
TEST: • Neka je P tekući predikat (ako cilj
nije bio razmatran, P je kranji levi) • Neka je N redni broj u bazi činjenice
ili pravila koje je poslednje korišćeno za zadovoljene predikata P (inicijalno (0
![Page 60: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/60.jpg)
60
Zadovoljenost predikata P: 2.1 Ako postoje činjenice koje uparuju P,
izabrati prvu od njih sa rednim brojem većim od N (naka je to F)
• Za predikat P zapamtiti redni broj činjenice F i vezivanja
2.2 Ako postoje pravila čiji se zaključak može upariti sa predikatom P, izabrati prvo sa rednim brojem jednakim ili većim od N (neka je to R)
![Page 61: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/61.jpg)
61
• Promenljive predikata P koje nisu ranije vezane, vezuju se za odgovarajuće promenljive pravila R
• Vezane promenljive predikata P smenjuju odgovarajuće promenljive desne strane pravila R
• Novo dobijena desna strana jeste novi ulaz u proceduru TEST
• Ako se cilj ne zadovolji, uvećati N za jedan i ponoviti korak 2.2
![Page 62: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/62.jpg)
62
3. Ako P nije uspeo, a nije krajnje levi, predikat P1 levo postaje tekući.
• Preći na korak 1 ! 4. Ako je P uspeo, a nije kranje desni,
predikat desno od P postaje tekući. 5. Ako P nije uspeo, a krajnje je levi,
cilj C nije zadovoljen. Sledi povratak iz TEST
6. Ako P jeste uspeo, a krajnje je desni, cilj C je zadovoljen. Sledi povratak iz TEST
![Page 63: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/63.jpg)
63
• Upit za naš primer je a(x)
• Nad upitom pozivamo TEST
• Tekući predikat cilja je a(x)
• Ništa još uvek nije razmatrano N = 0
![Page 64: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/64.jpg)
64
tekući cilj C1: početni upit
a(x)
N 0
vezivanja -
![Page 65: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/65.jpg)
65
• Predikat a(x) ne može da se upari ni sa jednom činjenicom
• Od pravila samo pravilo 1 ( if b(x) then a(x))
• Pamtimo redni broj ovog pravila • Promenljva x vezuje se za x iz pravila
1. Usvojeno x’
![Page 66: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/66.jpg)
66
tekući cilj C1: početni upit
a(x)
N 1
vezivanja x = x’
![Page 67: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/67.jpg)
67
• Prelazi se na razmatranje preduslova pravila 1 čime se formira novi cilj C2 i rekurzivno poziva procedura TEST
![Page 68: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/68.jpg)
68
tekući cilj C2: preduslov pravila 1
b(x’)
N 0
vezivanja -
![Page 69: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/69.jpg)
69
• Stavu b(x) ne odgovara ni jedna činjenica
• Odgovara jedino zaključak pravila 2 (if c(x) and d(x) then b(x))
• Uz ovaj stav pamti se redni broj pravila i vrši vezivanje promenljive. Usvojeno x’’
![Page 70: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/70.jpg)
70
tekući cilj C2: preduslov pravila 1
b(x’)
N 2
vezivanja x’ = x’’
![Page 71: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/71.jpg)
71
• Razmatramo preduslov pravila 2 koji postaje novi tekući cilj
• Novi poziv procedure TEST
![Page 72: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/72.jpg)
72
tekući cilj C3: preduslov pravila 2
c(x’’) and d(x’’)
N 0
vezivanja -
![Page 73: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/73.jpg)
73
• Levi stav u složenom preduslovu pravila 2 (if c(x) and d(x) then b(x))
• c(x)
• Odgovara pravilo 4 (if g(x) then c(x))
• Vršimo vezivanje promenljivih
• Usvojeno x’’’
![Page 74: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/74.jpg)
74
tekući cilj C3: preduslov pravila 2
c(x’’) and d(x’’)
N 4
vezivanja x’’ = x’’’
![Page 75: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/75.jpg)
75
• Preduslov pravila 4 dolazi na red za razmatranje
• Novi poziv procedure TEST
![Page 76: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/76.jpg)
76
tekući cilj C3: preduslov pravila 4
g(x’’’)
N 0
vezivanja -
![Page 77: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/77.jpg)
77
• Stav g(x) uparuje se sa činjenicom g(2) čiji je redni broj N jednak 5
• Promenljiva x’’’ dobija vrednost 2
![Page 78: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/78.jpg)
78
tekući cilj C4: preduslov pravila 4
g(x’’’)
N 5
vezivanja x’’’ = 2
![Page 79: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/79.jpg)
79
• Stav g(x) za x = 2 je zadovoljen što povlači i zadovoljenost pravila 4 kao tekućeg cilja
• povratak iz procedure TEST
• U prethodnom pozivu, tekući cilj je bio C3
• Pošto je c(x’’) zadovoljen prelazi se na razmatranje predikata d(x’’)
![Page 80: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/80.jpg)
80
tekući cilj C3: preduslov pravila 2
c(x’’) and d(x’’)
N 4 0
vezivanja x’’’ = 2
![Page 81: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/81.jpg)
81
• Razmatra se d(x’’) prvi put => N = 0
• Tekući predikat ne uparuje ni jedna činjenica
• Uparivanje sa pravilom 3 (if e and f(x) then d(x))
• Potrebno je u preduslovu pravila 3 zameniti promenljivu vrednošću 2
• Novi poziv TEST
![Page 82: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/82.jpg)
82
.........................
![Page 83: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/83.jpg)
83
Zadatak 3: Zaključivanje cikličkim hibridnim ulančavanjem
Posmatrajmo bazu znanja: if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) f(5) g(5) e
![Page 84: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/84.jpg)
84
Koje sve nove činjenice ili pravila i po kom redosledu proizilaze iz ove baze znanja ako se primenjuje ciklično hibridno ulančavanje (engl. rule cycle hybrid)?
![Page 85: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/85.jpg)
85
Ciklično hibridno ulančavanje
• Ciklički se ponavljaju sledeće akcije:
• Vrši se razmatranje pravila po redosledu kojim su zadata u bazi znanja
• Ako svi predikati iz preduslova nekog pravila uparuju činjenice iz baze, pravilo uspeva i njegova desna strana dodaje se u bazu kao nova činjenica
![Page 86: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/86.jpg)
86
• Preduslovi pravila 1 i 2 nisu ispunjeni u prvom prolazu
• Preduslov pravila 3 jeste ispunjen pošto se može upariti sa činjenicama e i f(5), pa se na čelo liste činjenica dodaje d(5). Pravilo 3 se ne eliminiše!
• Preduslov pravila 4 može se upariti sa činjenicama g(2), pa zatim g(5) pa se činjenicama dodaju dve nove c(2) i c(5). Pravilo 4 ostaje u bazi.
if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) f(5) g(5) e
![Page 87: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/87.jpg)
87
• Na kraju prve iteracije, baza znanja ima sledeći izgled
if b(x) then a(x)
if c(x) and d(x) then b(x)
if e and f(x) then d(x)
if g(x) then c(x)
g(2) d(5)
f(5) c(2)
g(5) c(5)
e
![Page 88: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/88.jpg)
88
• Pravilo 1 ne uspeva • Privilo 2 uspeva za x = 5, pa se u bazu
dodaje nova činjenica b(5) • Razmatranjem pravila 3 i 4 ne dobijaju se
nove činjenice
if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) d(5) f(5) c(2) g(5) c(5) e
![Page 89: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/89.jpg)
89
• Na kraju druge iteracije, baza znanja ima sledeći izgled
if b(x) then a(x)
if c(x) and d(x) then b(x)
if e and f(x) then d(x)
if g(x) then c(x)
g(2) d(5) b(5)
f(5) c(2)
g(5) c(5)
e
![Page 90: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/90.jpg)
90
• Pravilo 1 uspeva i bazi se dodaje činjenica a(5)
• Ostala pravila ne generišu nove činjenice
if b(x) then a(x) if c(x) and d(x) then b(x) if e and f(x) then d(x) if g(x) then c(x) g(2) d(5) b(5) f(5) c(2) g(5) c(5) e
![Page 91: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/91.jpg)
91
• Na kraju treće iteracije, baza znanja ima sledeći izgled
if b(x) then a(x)
if c(x) and d(x) then b(x)
if e and f(x) then d(x)
if g(x) then c(x)
g(2) d(5) b(5) a(5)
f(5) c(2)
g(5) c(5)
e
![Page 92: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/92.jpg)
92
• Zaključivanjem su dobijene činjenice – d(5), c(2), c(5), b(5) i a(5) tim redom
• Iste činjenice kao kod direktnog ulančavanja, ali je redosled dobijanja drugičiji
![Page 93: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/93.jpg)
93
Zadatak 4: Negacija i zaključivanjem povratnim i direktnim ulančavanjem
Baza znanja sadrži sledeća pravila: R1: if fact1 then goal1 R2: if a and b then goal1 R3: if c(x) then goal2(x) R4: if not(d) then a R5: if d then b R6: if e then b R7: if not(e) then c(2) R8: if fact2 and fact3 then d R9: if fact2 and fact4 then e
Činjenice: fact2 fact3
![Page 94: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/94.jpg)
94
Zahtev • Koristeći povratno ulančavanje
ispitati istinitost ciljeva goal1 i goal2(x)
![Page 95: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/95.jpg)
95
Pretpostavka o zatvorenom svetu
• Negacija predikata je tačna ako sa datim činjenicama ne možemo utvrditi istinitost traženog predikata
![Page 96: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/96.jpg)
96
R1: if fact1 then goal1 R2: if a and b then goal1 R3: if c(x) then goal2(x) R4: if not(d) then a R5: if d then b R6: if e then b R7: if not(e) then c(2) R8: if fact2 and fact3 then d R9: if fact2 and fact4 then e
činjenice: fact2 fact3
![Page 97: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/97.jpg)
97
Zahtev • Koristeći direktno ulančavanje sa
fokusiranjem pažnje na nove činjenice odrediti sve moguće zaključke
![Page 98: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/98.jpg)
98
R1: if fact1 then goal1 R2: if a and b then goal1 R3: if c(x) then goal2(x) R4: if not(d) then a R5: if d then b R6: if e then b R7: if not(e) then c(2) R8: if fact2 and fact3 then d R9: if fact2 and fact4 then e
činjenice: fact2 fact3
![Page 99: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/99.jpg)
99
R1: if fact1 then goal1
R12: if a then goal1
R3: if c(x) then goal2(x)
R4: if not(d) then a
R6: if e then b
R7: if not(e) then c(2)
R11: if fact4 then e
činjenice: fact2 fact3 d b
![Page 100: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/100.jpg)
100
Napomena • Povratno ulančavanje uz pamćenje
zaključaka
if a(x) and b(x) then c(x)
if a(x) then b(x)
…
![Page 101: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/101.jpg)
101
Zadatak 5: Članovi planinarskog društva
![Page 102: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/102.jpg)
102
Izvidjač • Dečak obučen kao kreten kome
zapoveda kreten obučen kao dečak
![Page 103: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/103.jpg)
103
Razmotrimo sledeću situaciju: Toša, Mika i Jova članovi su planinarskog društva. Svaki član planinarskog društva koji nije skijaš je planinar. Planinari ne vole kišu, a svako ko ne voli sneg ne voli ni skijanje. Mika ne voli ništa što Toša voli i voli sve što Toša ne voli. Toša voli kišu i sneg.
![Page 104: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/104.jpg)
104
a) Predstaviti ovu situaciju produkcionim sistemom.
![Page 105: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/105.jpg)
105
Usvojeni Predikati • Član(x) važi ako je osoba x član
planinarskog društva • Skijaš(x) označava da osoba x skija • Planinar(x) označava da je osoba x
planinar • Voli(x,y) označava da osoba x voli y,
gde y može biti Kiša ili Sneg
![Page 106: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/106.jpg)
106
Pronadjene činjenice 1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 107: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/107.jpg)
107
Definisana pravila • Svaki član društva koji nije skijaš je
planinar (podsetimo se da su promenljive u pravilima univerzalno kvantifikovane):
P1. if Član(x) and not Skijaš(x) then Planinar(x)
![Page 108: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/108.jpg)
108
Definisana pravila • Planinari ne vole kišu. U ovom slučaju u
zaključku pravila nalaziće se negacija predikata. Negacija se, prema tome, utvrđuje eksplicitno ne oslanjajući se na pretpostavku o zatvorenom svetu.
P2. if Planinar(y) then not Voli(y,Kiša)
![Page 109: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/109.jpg)
109
Definisana pravila • Svako ko ne voli sneg, ne voli ni
skijanje. U prevodu ćemo formulaciju 'voleti skijanje' prevesti predikatom Skijaš jer to odgovara smislu iskaza.
P3. if not Voli(z,Sneg) then not Skijaš(z)
![Page 110: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/110.jpg)
110
Definisana pravila • Mika ne voli ništa što Toša voli.
P4. if Voli(Toša,v) then not Voli(Mika,v)
![Page 111: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/111.jpg)
111
Definisana pravila • Mika voli sve što Toša ne voli.
P5. if not Voli(Toša,w) then Voli(Mika,w)
![Page 112: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/112.jpg)
112
b) Kakav je odgovor na pitanje: Da li postoji neki član planinarskog kluba koji je planinar a nije skijaš?
![Page 113: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/113.jpg)
113
Upit Član(t) and Planinar(t) and not Skijaš(t)
• t egzistencijalno kvantifikovana
• Polazimo od cilja
• Pokušavamo cilj da zadovoljimo činjenicama
![Page 114: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/114.jpg)
114
Član(t) 1. Predikat Član(t) se prvi razmatra i
zadovoljava prvom činjenicom, pri čemu je t = Toša.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(t) and Planinar(t) and not Skijaš(t)
![Page 115: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/115.jpg)
115
Član(t) 1. Predikat Član(t) se prvi razmatra i
zadovoljava prvom činjenicom, pri čemu je t = Toša.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
![Page 116: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/116.jpg)
116
Planinar(Toša) • Razmatra se predikat Planinar(Toša).
Nijedna činjenica ga ne zadovoljava pa se bira pravilo P1 koje u zaključku ima ovaj predikat pri čemu je x = Toša.
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 117: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/117.jpg)
117
Planinar(Toša) • Razmatra se predikat Planinar(Toša).
Nijedna činjenica ga ne zadovoljava pa se bira pravilo P1 koje u zaključku ima ovaj predikat pri čemu je x = Toša.
P1. if Član(Toša) and not Skijaš(Toša) then Planinar(Toša)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 118: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/118.jpg)
118
Planinar(Toša) • Prvi predikat iz preduslova pravila P1
je Član(Toša) i zadovoljen je istoimenom činjenicom.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Toša) and not Skijaš(Toša) then Planinar(Toša)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
![Page 119: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/119.jpg)
119
Planinar(Toša) • Drugi stav preduslova pravila P1 koji
glasi not Skijaš(Toša) ne nalazi se među činjenicama pa se razmatra pravilo P3 za z =Toša.
P1. if Član(Toša) and not Skijaš(Toša) then Planinar(Toša)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 120: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/120.jpg)
120
Planinar(Toša) • Drugi stav preduslova pravila P1 koji
glasi not Skijaš(Toša) ne nalazi se među činjenicama pa se razmatra pravilo P3 za z =Toša.
P1. if Član(Toša) and not Skijaš(Toša) then Planinar(Toša)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(Toša, Sneg) then not Skijaš(Toša)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 121: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/121.jpg)
121
• Preduslov pravila P3, koji glasi not Voli(Toša,Sneg) nije ispunjen jer se među činjenicama nalazi Voli(Toša,Sneg). Prema tome, pravilo P3 nije zadovoljeno, kao ni pravilo P1 pa ne važi Planinar(Toša). Moramo se dakle vratiti na prvi stav upita da bismo razmotrili alternativni način zadovoljavanja cilja.
P1. if Član(Toša) and not Skijaš(Toša) then Planinar(Toša)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(Toša, Sneg) then not Skijaš(Toša)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Toša) and Planinar(Toša) and not Skijaš(Toša)
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
![Page 122: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/122.jpg)
122
• Ciljni predikat Član(t) zadovoljava se za t = Mika postojanjem istoimene činjenice.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(t) and Planinar(t) and not Skijaš(t)
![Page 123: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/123.jpg)
123
• Ciljni predikat Član(t) zadovoljava se za t = Mika postojanjem istoimene činjenice.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 124: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/124.jpg)
124
• Razmatra se sledeći ciljni predikat Planinar(Mika) i preduslov pravila P1.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(x) and not Skijaš(x) then Planinar(x)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 125: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/125.jpg)
125
• Važi da je Član(Mika) pa ostaje da se razmotri predikat not Skijaš(Mika) i pravilo P3.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Mika) and not Skijaš(Mika) then Planinar(Mika)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 126: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/126.jpg)
126
• Važi da je Član(Mika) pa ostaje da se razmotri predikat not Skijaš(Mika) i pravilo P3.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Mika) and not Skijaš(Mika) then Planinar(Mika)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(Mika, Sneg) then not Skijaš(Mika)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 127: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/127.jpg)
127
• Razmatra se not Voli (Mika, Sneg). Odgovarajuće činjenice nema, pa se razmatra pravilo P4 za v= Sneg.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Mika) and not Skijaš(Mika) then Planinar(Mika)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(Mika, Sneg) then not Skijaš(Mika)
P4. if Voli(Toša, v) then not Voli(Mika, v)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 128: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/128.jpg)
128
• Razmatra se preduslov pravila P4, predikat Voli(Toša,Sneg). Baza znanja poseduje odgovarajuću činjenicu, pa zaključujemo da je ovaj predikat zadovoljen a time i pravila P4, P3 i P1 respektivno, kao i ciljni predikat Planinar(Mika).
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Mika) and not Skijaš(Mika) then Planinar(Mika)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(Mika, Sneg) then not Skijaš(Mika)
P4. if Voli(Toša, Sneg) then not Voli(Mika, Sneg)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 129: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/129.jpg)
129
• Razmatra se poslednji ciljni predikat not Skijaš(Mika). Ukoliko se pri zaključivanju primenjuje pamćenje zaključaka, odmah bi se pronašao odgovarajući predikat među činjenicama jer je to bio zaključak zadovoljenog pravila P3. Ukoliko nema pamćenja zaključaka, ponovilo bi se razmatranje pravila P3 i ponovo zaključilo da je ono zadovoljeno. Prema tome, polazni upit zadovoljen je za t = Mika.
1. Član(Toša)
2. Član(Mika)
3. Član(Jova)
4. Voli(Toša,Kiša)
5. Voli(Toša,Sneg)
P1. if Član(Mika) and not Skijaš(Mika) then Planinar(Mika)
P2. if Planinar(y) then not Voli(y,Kiša)
P3. if not Voli(z, Sneg) then not Skijaš(z)
P4. if Voli(Toša, Sneg) then not Voli(Mika, Sneg)
P5. if not Voli(Toša, w) then Voli(Mika, w)
Član(Mika) and Planinar(Mika) and not Skijaš(Mika)
![Page 130: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/130.jpg)
130
![Page 131: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/131.jpg)
131
Zadatak 6: Latisa odlučivanja i I-ILI-NE latisa
• Dati produkcioni sistem predstaviti u obliku:
a) I-ILI-NE latise
b) Latise odlučivanja
![Page 132: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/132.jpg)
132
R1: if a and d and not e then r R2: if not a and not c and q then s R3: if not a and p then t R4: if a and d and e then u R5: if a and q then u R6: if not a and not b and c then v R7: if b and c then p R8: if not c and d then p R9: if not d then q
![Page 133: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/133.jpg)
133
Latisa • Latisa je skraćeni naziv za orjentisani
aciklički graf • Latisa odlučivanja i AND-OR-NOT
latisa spadaju u prevedene načine predstavljanja produkcionih sistema
• Prednost je veća brzina donošenja zaključaka
• Mana je gubitak opštosti
![Page 134: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/134.jpg)
134
AND-OR-NOT latisa a) Da bi smo odredili latisu,
interpretiramo pravila kao logičke funkcije
• Predikati iz pretpostavki pravila predstavljaju nezavisne promenljive
• Predikati iz zaključaka zavisno promenljive
![Page 135: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/135.jpg)
135
R1: if a and d and not e then r R2: if not a and not c and q then s R3: if not a and p then t R4: if a and d and e then u R5: if a and q then u R6: if not a and not b and c then v R7: if b and c then p R8: if not c and d then p R9: if not d then q
![Page 136: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/136.jpg)
136
• Upotrebljavajući pravila za logičke funkcije dobijamo:
r = a λ d λ ¬e (if a and d and not e then r)
s = ¬a λ ¬c λ q
t = ¬a λ p
u = (a λ d λ e) v (a λ q)
v = ¬a λ ¬b λ c
p = (b λ c) v (¬c λ d)
q = ¬d
![Page 137: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/137.jpg)
137
• AND-OR-NOT latisa za dati produkcioni sistem predstavlja se u vidu kombinacione mreže koja realizuje navedeni skup logičkih funkcija
![Page 138: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/138.jpg)
138
a
d
e
a
c
d
a
b
c
c
d
a
d
e
a
a
b
c
q
p
r
s
t
u
v
= OR = NOT = AND
![Page 139: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/139.jpg)
139
a
d
e
a
c
d
a
b
c
c
d
a
d
e
a
a
b
c
q
p
r
s
t
u
v
= OR = NOT = AND
Ulazi mreže su predikati-pretpostavke
![Page 140: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/140.jpg)
140
a
d
e
a
c
d
a
b
c
c
d
a
d
e
a
a
b
c
q
p
r
s
t
u
v
= OR = NOT = AND
Izlazi mreže označeni su ciljnim predikatima
![Page 141: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/141.jpg)
141
a
d
e
a
c
d
a
b
c
c
d
a
d
e
a
a
b
c
q
p
r
s
t
u
v
= OR = NOT = AND
•Međupredikati p i q su označeni na unutrašnjim linijama mreže,
na onim mestima gde je realizovana njihova funkcija
![Page 142: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/142.jpg)
142
• Predstava produkcionog sistema putem AND-OR-NOT latise omogućava maksimalnu paralelizaciju postupka zaključivanja
• Mogu se zamisliti i realizacije ovako predstavljenog produkcionog sistema u integrisanim kolima
![Page 143: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/143.jpg)
143
b) Latisa odlučivanja je vrsta usmerenog acikličkog grafa koji najviše podseća na dijagram toka programa bez petlji
• Pri zaključivanju, vrši se kretanje kroz graf
• Svaki unutrašnji čvor latise odlučivanja ima po dve izlazne grane
![Page 144: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/144.jpg)
144
• U svakom čvoru ispituje se istinitosna vrednost nekog od predikata-pretpostavki (postavljanjem upita korisniku, na primer) i na osnovu toga donosi odluka kojom od izlaznih grana će se dalje nastaviti kretanje
• Listovi grafa (čvorovi bez naslednika), sadrže ciljne predikate
![Page 145: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/145.jpg)
145
Konstruisanje latise odlučivanja
1. Za svako pravilo koje u zaključku ima ciljni predikat (takozvano dijagnostičko pravilo), zameniti u preduslovu toga pravila sve pojave međupredikata preduslovima pravila koja u zaključcima imaju te međupredikate
• Ako za neki međupredikat postoji više pravila koja ga imaju u zaključku, za svako od takvih pravila napraviti po jednu verziju dijagnostičkog pravila. Ovaj postupak se zove sažimanje pravila (engl. rule collapsing) i sam za sebe predstavlja jedan od postupaka kompilacije produkcionog sistema
![Page 146: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/146.jpg)
146
if a and d and not e then r if not a and not c and q then s if not a and p then t if a and d and e then u if a and q then u if not a and not b and c then v if b and c then p if not c and d then p if not d then q
![Page 147: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/147.jpg)
147
if a and d and not e then r if not a and not c and q then s if not a and p then t if a and d and e then u if a and q then u if not a and not b and c then v if b and c then p if not c and d then p if not d then q
![Page 148: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/148.jpg)
148
if a and d and not e then r if not a and not c and q then s if not a and p then t if a and d and e then u if a and q then u if not a and not b and c then v if b and c then p if not c and d then p if not d then q
![Page 149: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/149.jpg)
149
if a and d and not e then r
if not a and not c and not d then s
if not a and b and c then t
if not a and not c and d then t
if a and d and e then u
if a and not d then u
if not a and not b and c then v
![Page 150: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/150.jpg)
150
2.Izabrati predikat P koji najbolje zadovoljava sledeće uslove:
• predikat P ili njegova negacija not P pojavljuju se u preduslovima što većeg broja pravila
• negacija predikata pojavljuje se u pravilima približno isti broj puta koliko i sam predikat
![Page 151: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/151.jpg)
151
3.Podeliti pravila u dve grupe. U prvu grupu idu sva pravila u kojima se pojavljuje predikat P, a u drugu sva pravila u kojima se pojavljuje not P.
Pravila u kojima se ne pojavljuje ni P
ni not P moraju se iskopirati u obe grupe. Posle ove podele, iz svih pravila u obe grupe ukloniti iz preduslova P i not P.
![Page 152: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/152.jpg)
152
4.Polazni produkcioni sistem pridružen je korenu latise odlučivanja. Ovom čvoru pridružuje se i pitanje (koje se postavlja korisniku prilikom zaključivanja uz korišćenje latise) o istinitosnoj vrednosti predikata P. Čvoru nasledniku korenog čvora za istinito P pridružena je prva grupa pravila iz tačke 3., a nasledniku za neistinito P druga grupa pravila
![Page 153: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/153.jpg)
153
5.Za svaku od dobijenih grupa ponaosob primeniti korake 2. do 4., zatim isto uraditi sa novodobijenim grupama itd. Postupak se okončava kada se iz pravila potpuno eliminišu preduslovi i ostanu samo zaključci.
![Page 154: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/154.jpg)
154
if a and d and not e then r
if not a and not c and not d then s
if not a and b and c then t
if not a and not c and d then t
if a and d and e then u
if a and not d then u
if not a and not b and c then v
![Page 155: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/155.jpg)
155
• Za prvu deobu pravila izabran je predikat a koji se posle deobe uklanja iz svih pravila (korak 3. algoritma).
![Page 156: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/156.jpg)
156
if a and d and not e then r
if not a and not c and not d then s
if not a and b and c then t
if not a and not c and d then t
if a and d and e then u
if a and not d then u
if not a and not b and c then v
![Page 157: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/157.jpg)
157
if d and not e then r
if d and e then u a
if not d then u
if not c and not d then s
if b and c then t not a
if not c and d then t
if not b and c then v
![Page 158: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/158.jpg)
158
if d and not e then r
if d and e then u
if not d then u
if not c and not d then s
if b and c then t
if not c and d then t
if not b and c then v
if not e then r if e then u
u
if b then t if not b then v
if not d then s if d then t
d
not d
c
not c
![Page 159: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/159.jpg)
159
if d and not e then r
if d and e then u
if not d then u
if not c and not d then s
if b and c then t
if not c and d then t
if not b and c then v
if not e then r if e then u
u
if b then t if not b then v
if not d then s if d then t
d
not d
c
not c
e
not e
u
r
![Page 160: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/160.jpg)
160
if d and not e then r
if d and e then u
if not d then u
if not c and not d then s
if b and c then t
if not c and d then t
if not b and c then v
if not e then r if e then u
u
if b then t if not b then v
if not d then s if d then t
d
not d
c
not c
e
not e
b
not b
u
r
t
v
![Page 161: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/161.jpg)
161
if d and not e then r
if d and e then u
if not d then u
if not c and not d then s
if b and c then t
if not c and d then t
if not b and c then v
if not e then r if e then u
u
if b then t if not b then v
if not d then s if d then t
d
not d
c
not c
e
not e
b
not b
d
not d
u
r
t
v
t
s
![Page 162: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/162.jpg)
162
n1
n2
n3
n4
n5
n6
tv sur
a?
TRUE FALSE
d? c?
e? b? d?
TRUE
TRUE
TRUE
TRUE TRUE
FALSE
FALSE FALSE FALSE
FALSE
![Page 163: Ekspertski Sistemi Vežberi4es.etf.rs/materijali/vezbe/04_produkcioni/...11 2.1.1 Kreirati novo pravilo R’ koje je istog oblika kao pravilo R s tim da je predikat P uklonjen iz preduslova](https://reader030.vdocuments.site/reader030/viewer/2022040818/5e650b10193c9d78d80413e4/html5/thumbnails/163.jpg)
164
Literatura • Dragan Bojić, Miloš Gligorić, Boško
Nikolić: Zbirka zadataka iz Ekspertskih Sistema
• WWW