Zbirka zadataka iz Ekspertskih sistema

96 2. Modeli predstavljanja znanja
6. ¬∃c [ Kriminalac(c) ∧ ¬Uhapšen(c) ]
Pre primene rezolucije potrebno je stavove prevesti u konjuktivnu normalnu formu:
1. ¬Zločin(x) ∨ Počinilac(x, Φ(x))
2. ¬Zločin(z) ∨ ¬Počinilac(z, u) ∨ Kriminalac(u)
3. ¬Uhapšen(v) ∨ Kriminalac(v)
4. ¬Kriminalac(w) ∨ ¬Uhapšen(w) ∨ ¬Zločin(a) ∨ ¬Počinilac(a,w)
5. Zločin(B)
6. ¬Kriminalac(c) ∨ Uhapšen(c)
Primenom rezolucije na stavove 3. i 6. odmah se dobija stav NIL čime je dokaz gotov. Dokaz
se može sprovesti i bez korišćenja stava 3.:
1., 5. ⎯
x
⎯
=
⎯
B
→ 7. Počinilac(B,Φ(B))
z= B, u= Φ(B)
2., 7. ⎯⎯⎯⎯⎯⎯ ⎯→
8. ¬Zločin(B) ∨ Kriminalac(Φ(B))
5., 8. ⎯ ⎯→ 9. Kriminalac(Φ(B))
a = B, w = Φ(B)
4.,7. ⎯⎯⎯⎯⎯⎯ ⎯→
10. ¬Kriminalac(Φ(B)) ∨ ¬Uhapšen(Φ(B)) ∨ ¬Zločin(B)
9., 10. ⎯ ⎯→ 11. ¬Uhapšen(Φ(B)) ∨ ¬Zločin(B)
5., 11. ⎯ ⎯→ 12. ¬Uhapšen(Φ(B))
c= Φ(B)
6., 12. ⎯⎯⎯⎯⎯ → 13. ¬Kriminalac(Φ(B))
9., 13. ⎯ ⎯→ NIL
Zadatak 43: Perica i Chop Suey
Poznate su činjenice:
1. Perica voli sva laka jela.
2. Jela francuske kuhinje su teška.
3. Jela kineske kuhinje su laka.
4. Chop Suey je jelo kineske kuhinje.
Koristeći rezoluciju odgovoriti na pitanje: koje jelo voli Perica?
Rešenje
Prevodimo iskaze u stavove predikatske logike:
1. ∀x [ Lako_jelo(x) ⇒ Perica_voli(x) ]
2. ∀y [ Francusko_jelo(y) ⇒ ¬Lako_jelo(y) ]
3. ∀z [ Kinesko_jelo(z) ⇒ Lako_jelo(z) ]
4. Kinesko_jelo(Chop_Suey)