polimd/Artificial Intelligence/lesson_10.md

AI - lesson 10

Francesco Arrigoni

4 December 2015

First Order Logic

Inference procedures for first order logic

• Resolution

Missing Part

example

1. $\not American(x)\cup \not Weapon(y) \cup \not Hostile(z)\cup \not Sells(x,y,z)\cup Criminal(x)$
2. $American(West)$
3. $\not Missile(x)\cup Weapon(x)
4. $Missile(M)$
5. $\not Missile(x)\cup \not Owns(Nono,x)\cup Sells(West,x,Nono)$
6. $Owns(Nono,M)$
7. $\not Enemy(x,America)\cup Hostile(x)$
8. $Enemy(Nono,America)$
9. $\not Criminal(West)$ ---
10. $\not American(West)\cup \not Weapon(y)\cup \not Hostile(x) \cup \not Sells(West,y,z)$
11. $\not Weapon(y)\cup \not Hostile(z)\not Sells(West,y,z) R(2,10)$
12. $\not Missile(y)\cup \not Hostile(z) \cup \not Sells(West,y,z) R(3,11)$
13. $\not Hostile(z)\cup \not Sells(West,M,z) R(4,12) \theta={Y/M}$
14. $\not Missile(M)\cup \not Owns(Nono,M)\cup \not Hostile(Nono) R(5,13)$
15. $\not Owns(Nono,M)\cup \not Hostile(Nono) R(4,14) \theta={x|M,z|Nono}$
16. $\not Hostile(Nono) R(6,15)$
17. $\not Enemy(Nono,America) R(7,16) \theta={x|Nono}$
18. $\eset$