Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 129
2. Pravilo 4 je zadovoljeno, pa se ono briše, a dobija se nova činjenica b.
3. Pravilo 5 nije zadovoljeno.
4. Poslednje, šesto pravilo je zadovoljeno ( i v i r su činjenice). Pravilo se briše, a
činjenicama se dodaje u.
Na kraju iteracije, pravila su:
1. if v and t then a
2. if b and u and not(t) then a
3. if n(x) and b then m(x)
5. if r and s then t
Činjenice su: početne dobijene
r, v, c, n(12) b, u
5. Pri drugom prolasku kroz listu pravila, prva dva pravila ponovo nisu zadovoljena.
6. Treće pravilo je zadovoljeno za x=12. Činjenicama se dodaje m(12), a pravilo se ne
briše jer ima generalniji zaključak.
7. Peto pravilo nije zadovoljeno.
Na kraju iteracije, pravila su:
1. if v and t then a
2. if b and u and not(t) then a
3. if n(x) and b then m(x)
5. if r and s then t
Činjenice su: početne dobijene
r, v, c, n(12) b, u, m(12)
8. U sledećem prolasku ne dobija se nijedna nova činjenica, pa je potrebno razmotriti
negirane predikate u preduslovima pravila. U pravilu 2, not(t) je ispunjeno jer se t ne
nalazi među činjenicama.
9. Pravilo 1 u sledećem prolazu nije zadovoljeno.
10. Pravilo 2 sada se razmatra i zadovoljeno je, pa se ono uklanja i utvrđuje nova činjenica
a.
11. Pravilo 3 je zadovoljeno za x=12, ali to ne dovodi do dobijanja nove činjenice.
12. Pravilo 5 nije zadovoljeno.
Na kraju iteracije, pravila su:
1. if v and t then a
3. if n(x) and b then m(x)
5. if r and s then t
Činjenice su: početne dobijene(I)
r, v, c, n(12) b, u, m(12), not(t), a