5知識(shí)表示方法part3人工智能西電PPT學(xué)習(xí)教案

1、會(huì)計(jì)學(xué)15知識(shí)表示方法知識(shí)表示方法part3人工智能西電人工智能西電1.1.狀態(tài)空間法狀態(tài)空間法2.2.問題歸約法問題歸約法3.3.謂詞邏輯法謂詞邏輯法4.4.語義網(wǎng)絡(luò)法語義網(wǎng)絡(luò)法5.5.其他方法其他方法第1頁/共44頁第2頁/共44頁第3頁/共44頁第4頁/共44頁第5頁/共44頁第6頁/共44頁第7頁/共44頁第8頁/共44頁第9頁/共44頁第10頁/共44頁第11頁/共44頁第12頁/共44頁P(yáng)QPPQPQPQPQTTFTTTTTFFTFFFFTTTFTFFFTFFTT第13頁/共44頁第14頁/共44頁第15頁/共44頁第16頁/共44頁 W2W1 W1 W2 W(A)( x) W(x

2、) 任意常量任意常量A W2(A) W1(A)( x) W1(x) W2(x)尋找尋找A對(duì)對(duì)x的的置換置換，使，使W1(A)與與W1(x)一致一致第17頁/共44頁第18頁/共44頁第19頁/共44頁第20頁/共44頁第21頁/共44頁第22頁/共44頁第23頁/共44頁py：問題的初始狀態(tài)問題的初始狀態(tài)pAT(monkey, a) pAT(box, b)p ONBOX p HB問題的目標(biāo)狀態(tài)問題的目標(biāo)狀態(tài)pAT(monkey, c) pAT(box, c)pONBOX pHB第24頁/共44頁第25頁/共44頁初始狀態(tài)初始狀態(tài)AT(monkey, a) AT(box, b) ONBOX HB

3、Goto(a, b)狀態(tài)狀態(tài)1AT(monkey, b) AT(box, b) ONBOX HBPushbox(b, c)狀態(tài)狀態(tài)2AT(monkey, c) AT(box, c) ONBOX HBClimbbox狀態(tài)狀態(tài)3AT(monkey, c) AT(box, c)ONBOX HB目標(biāo)狀態(tài)目標(biāo)狀態(tài)AT(monkey, c) AT(box, c)ONBOX HBGrasp第26頁/共44頁模塊化：模塊化：知識(shí)之間相對(duì)獨(dú)立，這種模塊性使得知識(shí)之間相對(duì)獨(dú)立，這種模塊性使得添加、刪除、修改知識(shí)比較容易進(jìn)行添加、刪除、修改知識(shí)比較容易進(jìn)行第27頁/共44頁往使推理過程冗長，降低了系統(tǒng)效率往使推理過

4、程冗長，降低了系統(tǒng)效率第28頁/共44頁1.1.狀態(tài)空間法狀態(tài)空間法2.2.問題歸約法問題歸約法3.3.謂詞邏輯法謂詞邏輯法4.4.語義網(wǎng)絡(luò)法語義網(wǎng)絡(luò)法5.5.其他方法其他方法第29頁/共44頁第30頁/共44頁第31頁/共44頁ABR第32頁/共44頁燕子燕子鳥鳥是一種是一種雪雪白白顏色顏色ABR第33頁/共44頁張寧張寧學(xué)生學(xué)生Is-a第34頁/共44頁手手人體人體A-part-of 第35頁/共44頁張寧張寧英語英語18160havehavecan第36頁/共44頁饑餓饑餓需要進(jìn)食需要進(jìn)食Fetch第37頁/共44頁貓貓虎虎Similar-to第38頁/共44頁書書桌子桌子Located-on 第39頁/共44頁閱覽閱覽開放開放After第40頁/共44頁整數(shù)整數(shù)正整數(shù)正整數(shù)零零負(fù)整數(shù)負(fù)整數(shù)與與Composed of 第41頁/共44頁方法方法 初始問題初始問題 算符算符目標(biāo)目標(biāo)結(jié)果結(jié)果謂詞邏輯法謂詞邏輯法合式公式合式公式置換合一消置換合一消解反演解反演根結(jié)點(diǎn)根結(jié)點(diǎn) nil語義網(wǎng)絡(luò)法語義網(wǎng)絡(luò)法節(jié)點(diǎn)節(jié)點(diǎn)鏈鏈目標(biāo)網(wǎng)絡(luò)目標(biāo)網(wǎng)絡(luò)語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)LIM