# 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$