人工智能教案04章4.3邏輯表示法

4.3規(guī)律表示法獲得有關(guān)的規(guī)律公式，進(jìn)而以機(jī)器內(nèi)碼表示。多層次的學(xué)問(wèn)類型都難于用一階規(guī)律來(lái)描述。式來(lái)表示動(dòng)作的主題、客體?？腕w可以多個(gè)。謂詞規(guī)律標(biāo)準(zhǔn)表達(dá)式：P(x1

,x,x2

，這里P是謂詞xi

是主體與客體。如：小張與小李打網(wǎng)球〔ZhangandLiplaytennis〕可寫為：play(Zhang,Li,tennis)這里謂詞是plaZhang而客體是tennis。謂詞在以下幾個(gè)方面可以比命題更加細(xì)致地刻畫學(xué)問(wèn)：謂詞規(guī)律法是應(yīng)用最廣的方法之一

表達(dá)力量強(qiáng)“城市”與“北京”兩個(gè)概念連接在一起，而且說(shuō)明“北京”是“城市”的〔有層〕

謂詞可以代表變化的狀況如：City(北京),真。City(煤球)，假

在不同的學(xué)問(wèn)之間建立聯(lián)系如：Human(xLawed(x)x是同一個(gè)人。Commit(x)→Punished(x)，x不肯定是人也可以是動(dòng)物。而{[Human(xLawed(x)]→[commit(xPunished(x)]}，意為x到懲罰。正確性。謂詞規(guī)律法是應(yīng)用最廣的方法之一，其緣由是：造成學(xué)問(wèn)庫(kù)。些外延擴(kuò)展后，則可把大局部的學(xué)問(wèn)表達(dá)成一階謂詞規(guī)律的形〔學(xué)問(wèn)易表達(dá)〕框架的進(jìn)展。上的全都性〔或通過(guò)相應(yīng)的一套處理過(guò)程檢驗(yàn)、和所演繹出來(lái)慢、效率越低。實(shí)際的系統(tǒng)是在兩者之間的一種折衷。例：一個(gè)房間里，有一機(jī)器人Robot，一個(gè)積木塊Box，兩個(gè)桌子A和B作過(guò)程？結(jié)論先引入謂詞：Table(A) 表示A是桌子EmptyHanded(Robot) 機(jī)器人Robot雙手空空At(Robot,A) 表示機(jī)器人Robot在A旁Holds(Robot,Box) 機(jī)器人Robot拿著BoxOn(Box,A) 積木塊Box在A上設(shè)定初始狀態(tài)：EmptyHanded(Robot)On(Box,A)Table(A)Table(B)目標(biāo)狀態(tài)是：EmptyHanded(Robot)On(Box,B)Table(A)Table(B)BoxA桌移到BAlcove，這時(shí)同初始狀態(tài)相比有：On〔Box，B〕On〔Box，A〕Box狀態(tài)相比有：增加表At〔Robot，A〕Holds〔Robot，Box〕刪除表At〔Robot，Alcove〕EmptyHanded(RobotOn〔Box，A〕A桌上的Box這一操作，先決條件：On〔Box，〔Box在A上〕At(Robot，A)〔機(jī)器人在A旁邊〕EmptyHanded〔robot〔機(jī)器人手空空了。歸結(jié)過(guò)程如下：1〕At(Robot,A)2〕EmptyHanded(Robot)3〕On(Box,B)4〕Table(A)5〕Table(B)～On(Box,B)∨～At(Robot,A)∨～EmptyHanded(Robot)〔先決條件之否認(rèn)〕～At(Robot,A)∨～EmptyHande