This website works better with JavaScript
首頁
探索
說明
註冊
登入
Nimayer
/
polimd
關注
1
讚好
0
複刻
0
檔案
問題管理
0
合併請求
0
Wiki
目錄樹:
a7977f8e42
分支列表
標籤列表
master
polimd
/
Artificial Intelligence
/
lesson_10.md
lesson_10.md
1.1 KB
文件歷史
原始文件
AI - lesson 10
Francesco Arrigoni
4 December 2015
First Order Logic
Inference procedures for first order logic
Resolution
Missing Part
example
$\not American(x)\cup \not Weapon(y) \cup \not Hostile(z)\cup \not Sells(x,y,z)\cup Criminal(x)$
$American(West)$
$\not Missile(x)\cup Weapon(x)
$Missile(M)$
$\not Missile(x)\cup \not Owns(Nono,x)\cup Sells(West,x,Nono)$
$Owns(Nono,M)$
$\not Enemy(x,America)\cup Hostile(x)$
$Enemy(Nono,America)$
$\not Criminal(West)$ ---
$\not American(West)\cup \not Weapon(y)\cup \not Hostile(x) \cup \not Sells(West,y,z)$
$\not Weapon(y)\cup \not Hostile(z)\not Sells(West,y,z) R(2,10)$
$\not Missile(y)\cup \not Hostile(z) \cup \not Sells(West,y,z) R(3,11)$
$\not Hostile(z)\cup \not Sells(West,M,z) R(4,12) \theta={Y/M}$
$\not Missile(M)\cup \not Owns(Nono,M)\cup \not Hostile(Nono) R(5,13)$
$\not Owns(Nono,M)\cup \not Hostile(Nono) R(4,14) \theta={x|M,z|Nono}$
$\not Hostile(Nono) R(6,15)$
$\not Enemy(Nono,America) R(7,16) \theta={x|Nono}$
$\eset$