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

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

,x,x2

，這里P是謂詞xi

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

表達力量強“城市”與“北京”兩個概念連接在一起，而且說明“北京”是“城市”的〔有層〕

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

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