《人工智能》知識(shí)表示與推理(一)

主講：夏幼明《人工智能》示范課程2①知識(shí)表示概述②命題邏輯的知識(shí)表示與推理

③謂詞邏輯的知識(shí)表示與推理

④產(chǎn)生式系統(tǒng)知識(shí)表示與推理⑤語義網(wǎng)絡(luò)知識(shí)表示與推理⑥框架知識(shí)表示與推理⑦腳本知識(shí)表示與推理⑧面向Agent的知識(shí)表示與推理

“知識(shí)表示與推理”核心內(nèi)容3①知識(shí)、信息和數(shù)據(jù)

②知識(shí)的特性③知識(shí)的分類④知識(shí)的表示知識(shí)表示概述4①知識(shí)、信息和數(shù)據(jù)

數(shù)據(jù)是對(duì)客觀事物記錄下來的、可以鑒別的符號(hào)，這些符號(hào)不僅指數(shù)字，而且包括字符、文字、圖形等等；數(shù)據(jù)經(jīng)過處理仍然是數(shù)據(jù)。處理數(shù)據(jù)是為了便于更好地解釋，只有經(jīng)過解釋，數(shù)據(jù)才有意義，才成為信息。信息是對(duì)客觀世界各種事物的特征的反映，是關(guān)于客觀事實(shí)的可通訊的知識(shí)。信息是經(jīng)過加工以后、并對(duì)客觀世界產(chǎn)生影響的數(shù)據(jù)。知識(shí)是反映各種事物的信息進(jìn)入人們大腦，對(duì)神經(jīng)細(xì)胞產(chǎn)生作用后留下的痕跡。知識(shí)是由信息形成的。

知識(shí)表示概述5①知識(shí)、信息和數(shù)據(jù)

在管理過程中，同一數(shù)據(jù)，每個(gè)人的解釋可能不同，其對(duì)決策的影響可能不同。結(jié)果，決策者利用經(jīng)過處理的數(shù)據(jù)做出決策，可能取得成功，也可能失敗，這里的關(guān)鍵在于對(duì)數(shù)據(jù)的解釋是否正確，即：是否正確地運(yùn)用知識(shí)對(duì)數(shù)據(jù)做出解釋，以得到準(zhǔn)確的信息。知識(shí)的4個(gè)“W”概念，即對(duì)于任何一件事物都要“知道是什么”、“知道為什么”、“知道怎么做”、“知道誰”。知識(shí)表示概述6②知識(shí)的特性知識(shí)的不守恒性知識(shí)的超濃縮性知識(shí)的無污染性知識(shí)在特定條件下的思維性知識(shí)的絕對(duì)增值性知識(shí)的共享性知識(shí)表示概述知識(shí)在轉(zhuǎn)換的過程中，不管做多少次轉(zhuǎn)移，其本身的能量不會(huì)有絲毫損毀。知識(shí)是宇宙間唯一可以無限次使用而不發(fā)生“損耗”的東西。知識(shí)包含著過去、現(xiàn)在和未來。即掌握的知識(shí)越多，就越能“談古說今”，可預(yù)見未來，就越能體現(xiàn)“神秘莫測(cè)”的力量。知識(shí)本身不是一種實(shí)物形態(tài)，它無煙、無色、無味、無毒、無化學(xué)成份，因此知識(shí)的作用，不會(huì)帶來任何環(huán)境污染，不會(huì)造成任何生態(tài)危機(jī)。

電腦或機(jī)器人，如果沒有知識(shí)的“參加”，再高明的電腦專家去操作，永遠(yuǎn)也不會(huì)產(chǎn)生任何“思維”現(xiàn)象。正因?yàn)橹R(shí)在特定條件下的這種思維性，使人類在宇宙中第一次延伸了自己的腦力。而當(dāng)腦力的能力不斷延伸時(shí)，知識(shí)在特定條件下的思維性就越強(qiáng)。就目前所知來看，腦力的潛能是巨大而無限的，知識(shí)在特定條件下所構(gòu)成的具有思維性的物質(zhì)系統(tǒng)的發(fā)展前景也是巨大而無限的。

知識(shí)在使用的過程中，因不守恒性而不會(huì)有絲毫的“能量”損失，其價(jià)值不會(huì)有絲毫減少，而由此創(chuàng)造的價(jià)值卻在不斷地增加。

知識(shí)的共享性，一方面為人類奔向大融合的社會(huì)創(chuàng)造了條件，一方面在商品經(jīng)濟(jì)的社會(huì)里，又可以在自身沒有任何損失的情況下，通過出賣知識(shí)包括技術(shù)而獲取利益。

7③知識(shí)的分類亞里士多德將人類知識(shí)分為三大類，即純粹理性、實(shí)踐理性和技藝。純粹理性大致是指幾何、代數(shù)、邏輯之類可以精確研究的學(xué)科，還包括某些自然科學(xué)(如傳統(tǒng)的物理、化學(xué))，而不是所有的自然科學(xué)(如宇宙起源理論和生物進(jìn)化理論)。實(shí)踐理性則是人們?cè)趯?shí)際活動(dòng)中用來做出選擇的方法，用來確定命題之真?zhèn)巍?duì)錯(cuò)，行為善良與否。

技藝則是那些無法或幾乎無法用言辭傳達(dá)的,似乎只有通過實(shí)踐才可能掌握的知識(shí)。知識(shí)表示概述8③知識(shí)的分類恩格斯根據(jù)事物變化的性質(zhì)不同，將整個(gè)認(rèn)識(shí)領(lǐng)域的知識(shí)分為三大部分。第一部分包括所有研究非生物界的并且或多或少能用數(shù)學(xué)方法處理的科學(xué)。第二類科學(xué)是研究活的有機(jī)體的科學(xué)。這一領(lǐng)域的相互聯(lián)系和因果關(guān)系錯(cuò)綜復(fù)雜，需要解決的問題很多，這類科學(xué)主要是指生物學(xué)。第三類科學(xué)是按歷史順序和現(xiàn)今結(jié)果來研究人的生活條件、社會(huì)關(guān)系、法的形式和國家形式及其由哲學(xué)、宗教、藝術(shù)等等組成的觀念上層建筑的歷史科學(xué)。知識(shí)表示概述9③知識(shí)的分類企業(yè)知識(shí)劃分方法：依據(jù)知識(shí)的屬性，將知識(shí)劃分為顯性知識(shí)和隱性知識(shí)。顯性知識(shí)是指以專利、發(fā)明創(chuàng)造、文件、規(guī)章制度、設(shè)計(jì)圖、報(bào)告等形式存在的知識(shí);而隱性知識(shí)則是指工作訣竅、經(jīng)驗(yàn)、視點(diǎn)、形象、價(jià)值體系等。從知識(shí)的范圍來看，將知識(shí)劃分為內(nèi)部知識(shí)和外部知識(shí)。內(nèi)部知識(shí)是指企業(yè)內(nèi)部所擁有的各種知識(shí)，包括:品牌、商標(biāo)、專利、發(fā)明、報(bào)告、商業(yè)秘訣以及員工所擁有的知識(shí);外部知識(shí)是指組織以外的、有利于企業(yè)發(fā)展并能為企業(yè)所獲取的各類知識(shí)。知識(shí)表示概述10③知識(shí)的分類企業(yè)知識(shí)劃分方法：根據(jù)知識(shí)的所有權(quán)不同，將知識(shí)劃分為個(gè)人知識(shí)和組織知識(shí)。個(gè)人擁有大量的、極其復(fù)雜的知識(shí)，這些知識(shí)不僅包括專業(yè)知識(shí)、工作技能、訣竅、個(gè)人專利和發(fā)明以及個(gè)人的生活常識(shí)和體驗(yàn)，還包括更高層次的思想和價(jià)值觀。一般可將組織知識(shí)分為環(huán)境知識(shí)、市場(chǎng)知識(shí)、產(chǎn)權(quán)知識(shí)和組織管理知識(shí)四大類。知識(shí)表示概述11③知識(shí)的分類企業(yè)知識(shí)劃分方法：按靜態(tài)的觀點(diǎn)來看待知識(shí)，則將知識(shí)看成是一個(gè)個(gè)物質(zhì)實(shí)體。把知識(shí)看作為一個(gè)實(shí)體，在管理實(shí)體知識(shí)的過程中，重點(diǎn)在于識(shí)別、組織、收集、測(cè)度知識(shí)。按動(dòng)態(tài)的觀點(diǎn)來看待知識(shí)，則將知識(shí)看成是一個(gè)過程。持這種觀點(diǎn)，意味著將注意力更多地集中于知識(shí)的共享、創(chuàng)新、適應(yīng)、學(xué)習(xí)、運(yùn)用和溝通這一動(dòng)態(tài)過程，意味著把知識(shí)看成是一個(gè)充滿不斷轉(zhuǎn)變、融合、合并的動(dòng)態(tài)體。知識(shí)表示概述12③知識(shí)的分類企業(yè)知識(shí)劃分方法：按知識(shí)對(duì)企業(yè)的作用和貢獻(xiàn)大小，可將知識(shí)劃分為核心知識(shí)和非核心知識(shí)。核心知識(shí)是指能使企業(yè)為顧客帶來特別利益的獨(dú)有技術(shù)，并使該技術(shù)迅速、高效地轉(zhuǎn)化為高質(zhì)量的產(chǎn)品和服務(wù)的能力；非核心知識(shí)是指輔助核心知識(shí)的產(chǎn)生、形成和發(fā)展的制度、文化、技術(shù)及知識(shí)等。知識(shí)表示概述13③知識(shí)的分類自發(fā)知識(shí)(個(gè)人隱性專門知識(shí))這是一種行動(dòng)中的知識(shí)，難于表達(dá)，具有因果模糊性，依賴于具體情境。亞里斯多德早在2000多年前就已經(jīng)關(guān)注到這種知識(shí)，他稱之為技藝。超越知識(shí)(個(gè)人隱性綜合知識(shí))這種知識(shí)是一種直覺、想象和靈感。如果說自發(fā)知識(shí)是建立在行動(dòng)經(jīng)驗(yàn)上，那么超越知識(shí)則是建立在審美情趣上。知識(shí)表示概述14③知識(shí)的分類專家知識(shí)(個(gè)人顯性專門知識(shí))這是一種正式的、理性的、被人們所認(rèn)可的知識(shí)，它基于多年的教育和培訓(xùn)，有比較規(guī)范的概念體系和框架及其相應(yīng)的評(píng)價(jià)標(biāo)準(zhǔn)，運(yùn)用這類知識(shí)可以獨(dú)立地完成某個(gè)任務(wù)。這類知識(shí)具有較高的傳遞性、可測(cè)性和編碼性，在律師事務(wù)所、財(cái)務(wù)公司、醫(yī)院、學(xué)校等組織中比較常見。以這類知識(shí)占主導(dǎo)地位的組織，常對(duì)應(yīng)于專家依賴型組織。在這種組織里，專家知識(shí)構(gòu)成內(nèi)部工作準(zhǔn)則和職務(wù)邊界的基礎(chǔ)，問題的解決總是用已存的知識(shí)通過邏輯一貫的方式來進(jìn)行(Lam，2000)。知識(shí)表示概述15③知識(shí)的分類關(guān)系知識(shí)(個(gè)人顯性綜合知識(shí))這主要表現(xiàn)為個(gè)人對(duì)人際關(guān)系和組織關(guān)系的一種熟知，包括對(duì)組織內(nèi)外專家的知曉、客戶網(wǎng)絡(luò)的知曉、供應(yīng)商網(wǎng)絡(luò)及組織現(xiàn)有問題的知曉等，這類知識(shí)蘊(yùn)含著一種協(xié)調(diào)把握能力。這類知識(shí)的傳遞性、可測(cè)性、編碼性均屬一般，在獵頭公司、貿(mào)易公司等中介公司中比較常見，而以這類知識(shí)占主導(dǎo)地位的組織，則常對(duì)應(yīng)于專家合作型組織，鼓勵(lì)合作，特別是跨部門的合作，組織結(jié)構(gòu)扁平化，淡化職能界限。知識(shí)表示概述16③知識(shí)的分類文化知識(shí)(組織隱性綜合知識(shí))這類知識(shí)就是人們通常所說的組織文化，它嵌入在一個(gè)復(fù)雜的正式或非正式的人群關(guān)系里，存在于不能言說的信念和規(guī)范之中(轉(zhuǎn)引自Cabrera，2002)。Nelson和Winter(1982)的組織慣例中的隱性部分就是文化知識(shí)，正是這種組織隱性知識(shí)維持著組織的結(jié)構(gòu)和連貫性，它不僅引導(dǎo)著人們的行為方式、價(jià)值取向和思維傾向，甚至影響著組織知識(shí)本身，它可以判定哪種知識(shí)是重要的和有價(jià)值的，也可以調(diào)和不同層次間與不同類型間知識(shí)的關(guān)系，并且創(chuàng)造出一個(gè)交互作用的情境(Long&Fahey，2000)。知識(shí)表示概述17③知識(shí)的分類局域知識(shí)(組織隱性專門知識(shí))如果知識(shí)是屬于某個(gè)特定團(tuán)隊(duì)的生產(chǎn)過程，那么知識(shí)的創(chuàng)造就不能抽離于這個(gè)知識(shí)的應(yīng)用環(huán)境，它必須發(fā)生在那個(gè)組織的情境下(Grant，1996)，這種內(nèi)涵于特定工藝、任務(wù)和協(xié)作中的團(tuán)隊(duì)知識(shí)就是局域知識(shí)，它是組織專有的和路徑依賴的。以這類知識(shí)為主導(dǎo)的企業(yè)的組織模式，常對(duì)應(yīng)于J-form組織(Lam，2000)，即所謂日本式組織。這類組織有非正式的知識(shí)網(wǎng)絡(luò)，成員間工作中的知識(shí)共享比較多，它比自我決定型組織和自適應(yīng)型組織具有更高的穩(wěn)定性，信息技術(shù)手段在這種組織的知識(shí)管理中只能起到有限的作用。知識(shí)表示概述18③知識(shí)的分類結(jié)構(gòu)知識(shí)(組織顯性專門知識(shí))這類知識(shí)主要體現(xiàn)為企業(yè)組織中有關(guān)各項(xiàng)產(chǎn)品、專利技術(shù)、生產(chǎn)流程、公司制度以及各個(gè)部門如人力資源、財(cái)物、生產(chǎn)、銷售等部門的書面資料，包括各種文檔、專利說明、技術(shù)手冊(cè)、年報(bào)、會(huì)議記錄以及各類調(diào)研分析報(bào)告等等。這類知識(shí)可以給企業(yè)技術(shù)和管理活動(dòng)提供全面的規(guī)則體系和決策依據(jù)，并使組織知識(shí)保持良好的延續(xù)性，不因個(gè)別人員的離去而喪失知識(shí)的完整性。知識(shí)表示概述19③知識(shí)的分類結(jié)構(gòu)知識(shí)這類知識(shí)具有高傳遞性、可測(cè)性和編碼性，在那些善于數(shù)據(jù)和信息分析的組織中比較容易積累起來，如安陽公司的文件系統(tǒng)、愛克思公司的門診決策系統(tǒng)、戴爾公司的知識(shí)管理系統(tǒng)等等。以這類知識(shí)占主導(dǎo)地位的組織，常對(duì)應(yīng)于符號(hào)分析型組織，在這類組織里，知識(shí)的獲取有正式的結(jié)構(gòu)和程序，對(duì)知識(shí)的創(chuàng)造和運(yùn)用有明確的劃分。這類組織比較善于處理常規(guī)問題。知識(shí)表示概述20③知識(shí)的分類環(huán)境知識(shí)(組織顯性綜合知識(shí))這類知識(shí)集中體現(xiàn)為企業(yè)組織對(duì)于競(jìng)爭(zhēng)對(duì)手、供應(yīng)商、經(jīng)銷商、顧客、市場(chǎng)渠道、配送網(wǎng)絡(luò)、政府政策等一系列外部要素所掌握的信息，以及組織自身的體系知識(shí)。前者為組織戰(zhàn)略提供背景知識(shí)，后者為組織的人力資源提供保障，如果離開了這種體系知識(shí)，個(gè)人即使擁有很高的智力資本，也無法充分發(fā)揮(Bontis，2002)。組織所擁有的環(huán)境知識(shí)充足與否，直接反映了組織對(duì)信息的綜合把握能力。環(huán)境知識(shí)的傳遞性、可測(cè)性和編碼性均屬一般。這類知識(shí)是所有組織都必須擁有的。知識(shí)表示概述21④知識(shí)的表示知識(shí)表示（knowledgerepresentation）是指把知識(shí)客體中的知識(shí)因子與知識(shí)關(guān)聯(lián)起來，便于人們識(shí)別和理解知識(shí)。知識(shí)表示是知識(shí)組織的前提和基礎(chǔ)，任何知識(shí)組織方法都是要建立在知識(shí)表示的基礎(chǔ)上。知識(shí)表示有主觀知識(shí)表示和客觀知識(shí)表示兩種。知識(shí)表示概述22④知識(shí)的表示知識(shí)表示的結(jié)構(gòu)知識(shí)的表示就是對(duì)知識(shí)的一種描述，或者說是對(duì)知識(shí)的一組約定，一種計(jì)算機(jī)可以接受的用于描述知識(shí)的數(shù)據(jù)結(jié)構(gòu)。某種意義上講，表示可視為數(shù)據(jù)結(jié)構(gòu)及其處理機(jī)制的綜合：表示=數(shù)據(jù)結(jié)構(gòu)+處理機(jī)制。因此在專家系統(tǒng)中知識(shí)表示是專家系統(tǒng)中能夠完成對(duì)專家的知識(shí)進(jìn)行計(jì)算機(jī)處理的一系列技術(shù)手段。常見的有產(chǎn)生式規(guī)則、語義網(wǎng)絡(luò)、框架法等。

知識(shí)表示概述23④知識(shí)的表示知識(shí)的概念知識(shí)是信息接收者通過對(duì)信息的提煉和推理而獲得得的正確結(jié)論；是人對(duì)自然世界、人類社會(huì)以及思維方式與運(yùn)動(dòng)規(guī)律的認(rèn)識(shí)與掌握，是人的大腦通過思維重新組合和系統(tǒng)化的信息集合。

過程性知識(shí)，即不光有當(dāng)前狀態(tài)和行為的描述，還要有對(duì)其發(fā)展的變化及其相關(guān)條件、因果關(guān)系等描述的知識(shí)。元知識(shí)，即關(guān)于刻畫知識(shí)的知識(shí)。

知識(shí)表示概述24①命題邏輯的聯(lián)接詞②命題語言③推理規(guī)則④命題語義⑤合理性和完備性的⑥命題的可滿足性⑦補(bǔ)充與參考資料

命題邏輯的知識(shí)表示與推理

25命題邏輯的聯(lián)接詞定義1命題 我們可以辨別真假的陳述句稱為命題。能對(duì)事物作出肯定或否定的描述(或判斷的語句)只有陳述句。如果陳述句對(duì)事物的判斷具有確定的結(jié)果：符合事實(shí)或者違背事實(shí)，即可辨別真假，這時(shí)的陳述句才是命題。這個(gè)結(jié)果稱為命題真值。命題邏輯的知識(shí)表示26命題邏輯的聯(lián)接詞定義2真值命題總是具有一個(gè)值，稱為真值。命題只有“真”、“假”兩種，記作True(真)和False(假)，分別用符號(hào)T和F表示：也可以用符號(hào)1和0表示。命題的分類：可以分為簡(jiǎn)單命題(原子命題)和復(fù)合命題。簡(jiǎn)單命題是不需要聯(lián)接詞的，而復(fù)合命題是需要由聯(lián)接詞構(gòu)成的。命題邏輯的知識(shí)表示27命題邏輯的聯(lián)接詞定義3

簡(jiǎn)單命題不包含其他命題作為其組成部分的命題，即在結(jié)構(gòu)上不能再分解出其他命題的命題稱為簡(jiǎn)單命題，也稱為原子命題。定義4

復(fù)合命題由聯(lián)接詞，標(biāo)點(diǎn)符號(hào)和原子命題構(gòu)成的命題稱為復(fù)合命題。如：如果今天下雨，我就呆在家里上網(wǎng)。

命題邏輯的知識(shí)表示我學(xué)英語，或者我學(xué)日語。這個(gè)臺(tái)燈既便宜由美觀28命題邏輯的聯(lián)接詞聯(lián)接詞是確定復(fù)合命題的邏輯形式，最常用的聯(lián)接詞有5種：“非(并非)”：?“與(并且)”：

“或(或者)”：

“蘊(yùn)含(如果,則)”：

“等價(jià)于(當(dāng)且僅當(dāng)或其必要充分條件是)”：

命題邏輯的知識(shí)表示29命題邏輯的聯(lián)接詞(1)非(并非)：?在一個(gè)語句的前面冠以“并非”兩字，就構(gòu)成了一個(gè)新的語句，叫做原來語句的否定。相應(yīng)的命題叫做原來命題的負(fù)命題。命題的否定命題記作,也可以記作,讀作“并非”,或簡(jiǎn)單的讀作“非”，稱為的否定式。很明顯，如果為真，則為假；如果為假，則為真。命題邏輯的知識(shí)表示30命題邏輯的聯(lián)接詞(1)非(并非)我們用下面的真值表來表示:這里的“1”表示為真，“0”表示為假。命題邏輯的知識(shí)表示100131命題邏輯的聯(lián)接詞(2)與(并且)：

兩個(gè)語句,用“與”聯(lián)結(jié)起來所構(gòu)成的新的語“與”,稱為合取式，有時(shí)也稱為聯(lián)言命題，記作“”。我們同樣可以用真值表來表示：命題邏輯的知識(shí)表示11110001000032命題邏輯的聯(lián)接詞(3)或(或者)：

兩個(gè)語句,用“或”聯(lián)結(jié)起來所構(gòu)成的新的“或”，稱為析取式，有時(shí)也稱為選言命題。“或”有兩種不同的意義。一種是不可兼的“或”，記作“”,另一種是可兼的“或”，記作“”,可兼析取的真值表是：命題邏輯的知識(shí)表示11110101100033命題邏輯的聯(lián)接詞(4)蘊(yùn)含(如果,則)：

用“如果（若）、則（那么）”將兩個(gè)語句聯(lián)結(jié)起來構(gòu)成“如果…則…”的復(fù)合語句稱為蘊(yùn)涵式，或叫充分條件假言命題?！叭绻鹥

則

q”我們用符號(hào)p

q

表示。讀作“p

蘊(yùn)含q”其中，p

叫做前提(前件)，q

叫做結(jié)論(后件)。命題邏輯的知識(shí)表示34命題邏輯的聯(lián)接詞(4)蘊(yùn)含(如果,則)：

若p

真q

假，則p

q

為假，在

p

、q

的其余情況下，p

q

均為真。p

q

的真值表如下：命題邏輯的知識(shí)表示pqp

q11110001100135命題邏輯的聯(lián)接詞(5)等價(jià)于(當(dāng)且僅當(dāng)或其必要充分條件是)：

將兩個(gè)語句用“當(dāng)且僅當(dāng)”聯(lián)結(jié)而成的語句稱為等值式，或稱充分必要條件假言命題。記作p

q,讀作p當(dāng)且僅當(dāng)q

。p

q

的真值表是：命題邏輯的知識(shí)表示pqp

q11110001000136命題邏輯的聯(lián)接詞如果函數(shù)和自變量都取真假值為值，則稱這個(gè)函數(shù)為真假值函數(shù)。這樣，連接詞是真假值函數(shù)，其中的“非”是一元真假值函數(shù)，“與”，“或”，“蘊(yùn)含”和“等價(jià)于”是二元真假值函數(shù)。一般地，以真假值1和0的所有有序(n元)組的集為定義域，以真假值的集{1,0}為值域的函數(shù)稱為(n元)真假值函數(shù)。命題邏輯的知識(shí)表示37命題語言命題語言是命題邏輯使用的形式語言，用LP

表示。它是由命題符號(hào)和五個(gè)聯(lián)接詞構(gòu)成的表達(dá)式命題符號(hào)：無限序列p，q，r，……；用正體小寫拉丁字母表示五個(gè)聯(lián)接符號(hào)：命題邏輯的知識(shí)表示38命題語言五個(gè)聯(lián)接符號(hào)命題邏輯的知識(shí)表示聯(lián)接符號(hào)語義名稱?非否定(符號(hào))

與合取(符號(hào))

或(相容的)析取(符號(hào))

蘊(yùn)含(如果，則)蘊(yùn)含(符號(hào))

等價(jià)于(當(dāng)且僅當(dāng))等值(符號(hào))39命題語言標(biāo)點(diǎn)符號(hào)(簡(jiǎn)稱標(biāo)點(diǎn))：(左括號(hào)、)右括號(hào)表達(dá)式 表達(dá)式是有限的符號(hào)序列，如：

p，p

q，(r)，p

?q和(p

q)命題邏輯的知識(shí)表示40命題語言

表達(dá)式的長度是指表達(dá)式中符號(hào)出現(xiàn)的數(shù)目。這5個(gè)表達(dá)式：p，?

q，(r)，p?q和(p

q)的長度分別是1、2、3、4、5表達(dá)式的長度為0的稱為空表達(dá)式，記作為Φ。兩個(gè)表達(dá)式U和V是相等的，記作U=V，當(dāng)且僅當(dāng)它們有相同的長度，并且依次有相同的符號(hào)。如果不另作說明，表達(dá)式的符號(hào)掃描的順序是從左向右的順序。命題邏輯的知識(shí)表示41命題語言原子公式

Lp

的原子公式的集合記為Atom(Lp)

Lp

中的一個(gè)表達(dá)式是Atom(Lp)中的元，當(dāng)且僅當(dāng)它是單獨(dú)的一個(gè)命題符號(hào)公式Lp

的公式集合記為Form(Lp)A

Form(Lp)中的元，當(dāng)且僅當(dāng)它能由有限次使用公式的生成規(guī)則生成。命題邏輯的知識(shí)表示42命題語言公式的生成規(guī)則

AForm()中的元，當(dāng)且僅當(dāng)它能夠由有限次使用以下的3種情況生成：Atom()Form()如果AForm()，則(A)Form()如果A，BForm()，則(A*B)Form()其中*表示四個(gè)聯(lián)接詞，，和中的某一種。命題邏輯的知識(shí)表示43命題語言最小集

Form()是滿足以下三種的S中的最小集：Atom()Form()如果AForm()，則(A)Form()如果A，BForm()，則(A*B)Form()其中*表示四個(gè)聯(lián)接詞，，和中的某一種。命題邏輯的知識(shí)表示44②命題語言

邏輯運(yùn)算符的優(yōu)先級(jí)優(yōu)先級(jí)最強(qiáng)：優(yōu)先級(jí)次強(qiáng)：優(yōu)先級(jí)最弱：命題邏輯的知識(shí)表示優(yōu)先級(jí)強(qiáng)優(yōu)先級(jí)弱定義優(yōu)先級(jí)的意義減少公式中括號(hào)的數(shù)量，例如：p

(q

r)可寫成：p

q

r(?p

q)

(p

q)可寫成：?p

q(p

q)45推理規(guī)則

從一些合式化公式推出另一些合式公式可以有許多的方法，將這些方法稱之為推理規(guī)則。推理規(guī)則的典型形式是：C可以從A(或從A和B)中推出。下面將介紹9種推理規(guī)則和10種置換規(guī)則。推理規(guī)則1：肯定前件 根據(jù)重言蘊(yùn)含式(AB)AB，可得到肯定前件規(guī)則：從“AB”和“A”可以推得“B”命題邏輯的知識(shí)表示46推理規(guī)則

推理規(guī)則2：否定后件 根據(jù)重言蘊(yùn)含式(AB)BA,我們得到否定后件規(guī)則：從“AB”和“B”可以推得“A”推理規(guī)則3：析取否定 根據(jù)重言蘊(yùn)含式(AB)AB:(AB)BA,

我們可以得到析取否定規(guī)則：從“AB”和“A”可以推得“B”從“AB”和“B”可以推得“A”命題邏輯的知識(shí)表示47推理規(guī)則

推理規(guī)則4：合取化簡(jiǎn) 根據(jù)重言蘊(yùn)含式(AB)A和(AB)B,我們得到合取化簡(jiǎn)規(guī)則：從“AB”可以推得“A”從“AB”可以推得“B”推理規(guī)則5：合取引入 根據(jù)重言蘊(yùn)含式從(A，B)AB: 我們可以得到合取引入規(guī)則：從“A和B”可以推得“AB”命題邏輯的知識(shí)表示48推理規(guī)則

推理規(guī)則6：析取引入 根據(jù)重言蘊(yùn)含式A(AB)B(AB)，我們得到析取引入規(guī)則：從“A”可以推得“AB”從“B”可以推得“AB”推理規(guī)則7：假言連鎖 根據(jù)重言蘊(yùn)含式(AB)(BC)(AC):我們得到假言連鎖規(guī)則：從“AB”和“BC”可以推得“AC”命題邏輯的知識(shí)表示49推理規(guī)則

推理規(guī)則8：二難推理 根據(jù)重言蘊(yùn)含式(AB)(CD)(AC)(BD)，我們得到二難推理規(guī)則： 從“AB”，“CD”和“AC”可以推得“BD”推理規(guī)則9：歸謬推理 根據(jù)重言蘊(yùn)含式(ABB)A：我們得到歸謬推理規(guī)則：從“(ABB)”可以推得“A”命題邏輯的知識(shí)表示50推理規(guī)則

置換規(guī)則1：雙否律 根據(jù)重言等值式AA，可得到置換規(guī)則：“A”和 “A”可以相互置換，這一置換規(guī)則為雙否律。置換規(guī)則2：易位律 根據(jù)重言等值式(AB)(BA)：可得到置換規(guī)則“AB”和“BA”可以相互置換，這一命名規(guī)則稱為易位律。命題邏輯的知識(shí)表示51推理規(guī)則

置換規(guī)則3：德摩根律 根據(jù)重言等值式?(A

B)

(?A

?B)和?(A

B)

(?A

?B)可得到置換規(guī)則：“?(A

B)”和“?A

?B”可以相互置換“?(A

B)”和“?A

?B”可以相互置換

置換規(guī)則4：交換律 根據(jù)重言等值式A

B

B

A和A

B

B

A，可得到置換規(guī)則：命題邏輯的知識(shí)表示“A

B

”和“B

A”可以相互置換“A

B

”和“B

A”可以相互置換52推理規(guī)則

置換規(guī)則5：冥等律 根據(jù)重言等值式AAA和AAA，可得到置換規(guī)則：

“A”和“AA”可以相互置換“A”和“AA”可以相互置換命題邏輯的知識(shí)表示53推理規(guī)則

置換規(guī)則6：分配律 根據(jù)重言等值式A(BC)(AB)(AC)和

A(BC)(AB)(AC)可得置換規(guī)則：

“A(BC)”和“(AB)(AC)”可以相互置換“A(BC)”和“(AB)(AC)”可以相互置換此置換規(guī)則的前一部分叫做“合取對(duì)析取的分配律”，后一部分叫做“析取對(duì)合取的分配律”。命題邏輯的知識(shí)表示54推理規(guī)則

置換規(guī)則7：結(jié)合律 根據(jù)重言等值式A(BC)(AB)C和A(BC) (AB)C可得到置換規(guī)則：

“A(BC)”和“(AB)C”可以相互置換“A(BC)”和“(AB)C”可以相互置換此置換規(guī)則的前一部分叫做“合取結(jié)合律”，后一部分叫做“析取結(jié)合律”。命題邏輯的知識(shí)表示55推理規(guī)則

置換規(guī)則8：移山律 根據(jù)重言等值式(ABC)(A(BC)),可得到置換規(guī)則：“(ABC)”和“(A(BC))”可以相互置換。置換規(guī)則9：蘊(yùn)析律 根據(jù)重言等值式(AB)(AB)，可得到置換規(guī)則： “AB”和“AB”可以相互置換。置換規(guī)則10：等值律 根據(jù)重言等值式(AB)(AB)(BA)，可得到置換規(guī)則：“AB”和“ABBA”可以相互置換。命題邏輯的知識(shí)表示56語義解釋語義是把邏輯語言的要素與論域的要素聯(lián)系起來。在命題邏輯中是將原子與現(xiàn)實(shí)世界的命題聯(lián)系起來。原子與命題的聯(lián)系稱為解釋。給定一個(gè)解釋，原子可以取真假值。假如原子α

與命題P相聯(lián)系，那么P為真時(shí)，α才為真；反之為假。T總表示真，F(xiàn)總表示假。命題邏輯的知識(shí)表示57語義解釋假如一個(gè)Agent有傳感器，這個(gè)裝置用來決定各種有關(guān)這個(gè)世界的命題的真假，那么當(dāng)感覺特征x1為1時(shí)，與此相應(yīng)的有關(guān)這個(gè)世界的命題為真，并且與此相聯(lián)系的命題邏輯原子也為真。通常不用輸入一個(gè)1或0表示Agent表述感覺到的信息，而是用一個(gè)在Agent的記憶結(jié)構(gòu)，稱為知識(shí)庫，庫中的命題演算原子表述它。當(dāng)原子x1在Agent知識(shí)庫中出現(xiàn)，則表示它為真值，并且與之相聯(lián)系的命題在現(xiàn)實(shí)世界中也為真。命題邏輯的知識(shí)表示58語義命題的真值表在某種解釋下給定原子的值，我們可以用一個(gè)真值表來計(jì)算在同樣解釋下的任何合式公式的值。設(shè)P和Q是合式公式，那么真值表如下：命題邏輯的知識(shí)表示PQP

QP

Q?PP

Q11110110010001011100001159語義可滿足性與模型一個(gè)合式公式在一種解釋下被指派為真值，那么這種解釋滿足這個(gè)合式公式。一種滿足一個(gè)合式公式的解釋被稱為這個(gè)合式公式的一個(gè)模型。一種解釋滿足一個(gè)合式公式集合中的所有公式，那么它被稱為這個(gè)合式公式集合的模型。如果沒有任何解釋可以滿足一個(gè)合式公式，那么這個(gè)合式公式稱為不可滿足的或不一致的。命題邏輯的知識(shí)表示60語義永真性假如一個(gè)合式公式在所有解釋下都為真，那么稱它為永真式。例：P?（Q?P），Q?T等價(jià)當(dāng)且僅當(dāng)兩個(gè)合式公式的真假值在所有解釋中都相同，那么稱這兩個(gè)合式公式是等價(jià)的。?（P?Q）??P??QP?Q??P?QP?Q??Q??P命題邏輯的知識(shí)表示61語義蘊(yùn)涵 如果在合式公式集合Γ中的每個(gè)合式公式都為真的所有解釋下合式公式P為真，那么稱Γ邏輯蘊(yùn)涵P，并且P從Γ中邏輯地派生，P是Γ的一個(gè)邏輯推論。記為

Γ?P。（Γ

P) 命題邏輯的知識(shí)表示62語義驗(yàn)證(證明)定義

合式公式序列

={P1，P2，…，Pn}稱P=Pn為是從一個(gè)合式公式集合得到的驗(yàn)證(proof)，當(dāng)且僅當(dāng)序列中的每個(gè)Pi或者是在中，或者可以從處于這個(gè)序列中的較前的一個(gè)Pj

j<i（或多個(gè)）合式公式運(yùn)用若干推理規(guī)則中的一條推出。假如有一個(gè)從推出P的驗(yàn)證，就說P是集合的一個(gè)定理。記為?P。如果用字母R來表示推理規(guī)則集合，那么可以用如下符號(hào)表示：P可以用R中的推理規(guī)則從中得到驗(yàn)證(證明)

：?RP命題邏輯的知識(shí)表示63語義驗(yàn)證(證明)定義 例：給定一個(gè)合式公式集合

={P，R，P?Q}，證明：Q?R；在證明過程中，運(yùn)用的規(guī)則集合R為：{P，P?Q，{Q，R}?Q?R}命題邏輯的知識(shí)表示Q?RPQP?QRP，P?Q成立由已知條件Q成立由1)和假言推理{Q，R}，{Q，R}?Q?R由2)和已知條件Q?R由3)和假言推理64⑤可滿足性和有效性

可滿足性和有效性定理：A是可滿足的iff

?A是不有效的。A是有效的iff

?A是不可滿足的。若A(u1，u2，…，un)是可滿足的iff，則

x1，

x2，…，

xn

A(x1，x2，…，xn)是可滿足的。若A(u1，u2，…，un)是有效的iff，則

x1，

x2，…，

xn

A(x1，x2，…，xn)是有效的。命題邏輯的知識(shí)表示65⑥可靠性和完備性一個(gè)邏輯是可靠的，如果它的證明保持真假值，即在任何解釋I下，如果I是

的模型，且

可由

推導(dǎo)出，則I也是

的一個(gè)模型。即，一個(gè)邏輯是可靠的，如果對(duì)任何語句集合

和語句

，

?

蘊(yùn)涵

?

。一個(gè)邏輯是完備的，如果任何永真語句是可證的。即，對(duì)任何語句集合

和語句

，

?

蘊(yùn)涵

?

。如果一個(gè)邏輯是完備的，則該邏輯的證明系統(tǒng)已強(qiáng)到可以推出任何永真式。命題邏輯的知識(shí)表示66⑥可靠性和完備性一個(gè)邏輯稱為是可判定的(decidable)，如果存在一個(gè)算法對(duì)邏輯中的任一公式A，可確定?A是否成立。否則，稱為是不可判定的(undecidable)。如果上述算法雖不一定存在，卻有一個(gè)過程，可對(duì)該系統(tǒng)的定理做出肯定的判斷，但對(duì)非定理的公式過程未必終止，因而未必能作出判斷。這時(shí)稱邏輯是半可判定的。G?del完備性定理：一階邏輯是完備的。一階邏輯是不可判定的，但它是半可判定的。命題邏輯的知識(shí)表示67謂詞邏輯是一種形式語言，是在命題邏輯的基礎(chǔ)上發(fā)展起來的，也是目前能夠表達(dá)人類思維活動(dòng)的一種精確的形式語言。它與人類的自然語言比較接近，又可以方便地存儲(chǔ)到計(jì)算機(jī)中，并被計(jì)算機(jī)進(jìn)行精確處理，是知識(shí)的形式化表示、定理的自動(dòng)證明等研究的基礎(chǔ)，在人工智能發(fā)展史中占有重要地位。因此，它成為最早應(yīng)用于人工智能中表示知識(shí)的一種邏輯表示方法。謂詞邏輯的知識(shí)表示與推理68在命題邏輯中，主要研究命題與命題之間的邏輯關(guān)系，其組成單元是原子命題，而原子命題是以一個(gè)具有真假意義的完整的陳述句為單位，不考慮其結(jié)構(gòu)、成分(如主語，謂語等)，對(duì)原子命題的聯(lián)接關(guān)系的研究，不可能揭示原子命題的內(nèi)部的特征。因此存在著很大的局限性：不能表達(dá)出每個(gè)原子公式的內(nèi)部結(jié)構(gòu)之間的關(guān)系，使得很多思維過程不能在命題邏輯中表示出來。在研究某些推理時(shí)，有必要對(duì)原子命題作進(jìn)一步的分析，因此，有必要引入謂詞邏輯的概念。謂詞邏輯的知識(shí)表示與推理69知識(shí)的謂詞邏輯表示法謂詞公式表示知識(shí)的步驟謂詞公式表示知識(shí)的舉例謂詞公式語法語義一階謂詞邏輯表示法的特點(diǎn)

謂詞邏輯的知識(shí)表示與推理70知識(shí)的謂詞邏輯表示法謂詞邏輯的定義和主要思想：定義：在原子命題中，可以獨(dú)立存在的客體(句子中的主語，賓語等)，稱為個(gè)體詞(Individual)。而用以刻畫個(gè)體詞的性質(zhì)或個(gè)體詞之間的關(guān)系的詞即是謂詞(Predicate)。單純的謂詞或單純的個(gè)體詞都無法構(gòu)成一個(gè)完整的邏輯含義，只有將它們結(jié)合起來才能構(gòu)成一個(gè)完整的，獨(dú)立的邏輯斷言。謂詞邏輯的知識(shí)表示與推理71知識(shí)的謂詞邏輯表示法個(gè)體詞和謂詞根據(jù)其具有的抽象分為兩種：

(1)表示具體或特定的個(gè)體詞稱為個(gè)體常量(IndividualConstant)，一般個(gè)體詞常量用小寫字母a,b,c,…表示；表示抽象的或泛指的個(gè)體詞稱為個(gè)體變量(IndividualVariable),一般用x,y,…等表示；(2)表示具體性質(zhì)或關(guān)系的謂詞稱為謂詞常量(PredicateConstant)，表示抽象的或泛指的性質(zhì)或關(guān)系的謂詞稱為謂詞變量(PredicateVariable)，謂詞一般都用大寫字母F,G,H,…表示。謂詞邏輯的知識(shí)表示與推理72知識(shí)的謂詞邏輯表示法個(gè)體域和全總個(gè)體域：

(1)個(gè)體詞的取值范圍稱為個(gè)體域(或論域)(IndividualField)，常用D表示；(2)宇宙間所有個(gè)體域聚集在一起構(gòu)成的個(gè)體域稱為全總個(gè)體域(UniversalIndividualField)。謂詞邏輯的知識(shí)表示與推理73知識(shí)的謂詞邏輯表示法n元謂詞：設(shè)D為非空的個(gè)體域，定義在(表示n個(gè)個(gè)體都在個(gè)體域D上取值)上取值于{0，1}上的n元函數(shù)，稱為n元命題函數(shù)或n元謂詞(PropositionalFunction)，記為P(x1,x2,…,xn)，此時(shí)個(gè)體變量x1,x2,…,xn的定義域都為D，P(x1,x2,…,xn)的值域?yàn)閧0，1}。注意：(1)謂詞中個(gè)體詞的順序是十分重要的，不能隨意變更。(2)一元謂詞用以描述一個(gè)個(gè)體的某種特性，而n元謂詞則用以描述n個(gè)個(gè)體之間的關(guān)系。(3)0元謂詞(不含個(gè)體詞的)實(shí)際上就是一般的命題；(4)一個(gè)n元謂詞不是一個(gè)命題，但將n元謂詞中的個(gè)體變?cè)加脗€(gè)體域中具體的個(gè)體取代后，就成為一個(gè)命題。謂詞邏輯的知識(shí)表示與推理74知識(shí)的謂詞邏輯表示法謂詞與函數(shù)表面上很相似，容易混淆，其實(shí)這是兩個(gè)完全不同的概念。謂詞的真值是“真”或“假”，而函數(shù)的值是個(gè)體域中的某個(gè)個(gè)體，函數(shù)只是從一個(gè)個(gè)體到另一個(gè)個(gè)體的映射，函數(shù)無真值可言。例如：father(小王)是把個(gè)體“小王”映射到“小王的父親”。為了便于區(qū)別函數(shù)與謂詞，函數(shù)用小寫英文字母表示。個(gè)體常量、個(gè)體變?cè)?、函?shù)統(tǒng)稱為“項(xiàng)”。

謂詞邏輯的知識(shí)表示與推理75知識(shí)的謂詞邏輯表示法在謂詞P(x1,x2,…,xn)中，若x1,x2,…,xn都是個(gè)體常量、變?cè)蚝瘮?shù)，則稱它為一階謂詞。若某個(gè)xi本身又是一個(gè)一階謂詞，則稱P(x1,x2,…,xn)為二階謂詞。謂詞邏輯的知識(shí)表示與推理76②

謂詞公式表示知識(shí)的步驟有了個(gè)體詞和謂詞的概念后，可以用具體的個(gè)體常量代換謂詞中的個(gè)體變量，來獲得相應(yīng)的命題。但對(duì)有些命題，還是不能準(zhǔn)確的符號(hào)化。對(duì)自然語言的句子中的“每一個(gè)”，“任意的”，“有一些”等等與個(gè)體詞的數(shù)量有關(guān)的語句，無法用謂詞來表示。因此，需要在n元謂詞前端加入限制詞，即引入“量詞”的概念。謂詞邏輯的知識(shí)表示與推理77②

謂詞公式表示知識(shí)的步驟(1)將日常生活和數(shù)學(xué)中常用的“一切的”，“所有的”，“每一個(gè)”，“任意的”等詞稱為全稱量詞(UniversalQuantifier)，符號(hào)化為“

”。(2)將日常生活和數(shù)學(xué)中常用的“存在”，“有一個(gè)”，“至少有一個(gè)”，等詞稱為存在量詞(ExistentialQuantifier)，符號(hào)化為“

”。謂詞邏輯的知識(shí)表示與推理78②

謂詞公式表示知識(shí)的步驟使用量詞時(shí)，應(yīng)注意以下6點(diǎn)：在不同個(gè)體域中，命題符號(hào)化的形式可能不一樣一般，除非有特別說明，均以全總個(gè)體域?yàn)閭€(gè)體域在引入特性謂詞后，使用全稱量詞用“

”，使用存在量詞用“

”n元謂詞化為命題，至少需要n個(gè)量詞當(dāng)個(gè)體域D為有限集時(shí)，如D=(a1,a2,…,an)

，則

xA(x)

A(a1)

A(a2)

…

A(an)

x

yA(x，y)；

y

xA

(x，y)

xA(x)

A(a1)

A(a2)

…

A(an)多個(gè)量詞同時(shí)出現(xiàn)時(shí)，不能隨意顛倒順序謂詞邏輯的知識(shí)表示與推理79謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例 例1、用謂詞公式表示下列規(guī)則性知識(shí)所有的有理數(shù)均可表成分?jǐn)?shù)自然數(shù)都是大于零的整數(shù)有的有理數(shù)是整數(shù)定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切含義

80謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例根據(jù)所要表達(dá)的事物或概念為每個(gè)謂詞中的變?cè)x以特定的值不是特定一個(gè)，而是“所有（或任一個(gè)）”：用

x

表示有的即表示存在著一部分，用

x表示根據(jù)所要表達(dá)的知識(shí)的語義，用適當(dāng)?shù)穆?lián)接符號(hào)將各個(gè)謂詞連接起來，形成謂詞公式所有的有理數(shù)均可表成分?jǐn)?shù)81謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例根據(jù)所要表達(dá)的知識(shí)的語義，用適當(dāng)?shù)穆?lián)接符號(hào)將各個(gè)謂詞連接起來，形成謂詞公式自然數(shù)都是大于零的整數(shù)有的有理數(shù)是整數(shù)82謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子機(jī)器人搬弄積木塊問題表示

設(shè)在一個(gè)房間里，有一個(gè)機(jī)器人ROBOT，一個(gè)壁室ALCOVE，一個(gè)積木塊BOX，兩個(gè)桌子A和B。機(jī)器人可把積木塊BOX從一種狀態(tài)變換成另一種狀態(tài)。定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切含義TABLE(x)表示：x是桌子EMPTYHANDED(x)表示：x雙手是空EMPTYTABLE(x)表示：桌子x是空的AT(x，y)表示：x在y旁邊HOLDS(x，y)表示：x拿著yON(x，y)表示：x在y上83謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示根據(jù)所要表達(dá)的事物或概念，為每個(gè)謂詞中的變?cè)x以特定的值

初始狀態(tài)的謂詞公式是

AT（ROBOT，ALCOVE）

EMPTYHANDED（ROBOT）

TABLE（A）

TABLE（B）

ON（BOX，A）目標(biāo)狀態(tài)是

AT（ROBOT，ALCOVE）

EMPTYHANDED（ROBOT）

TABLE（A）

TABLE（B）

ON（BOX，B）84謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示根據(jù)所要表達(dá)的知識(shí)的語義，用適當(dāng)?shù)穆?lián)接符號(hào)將各個(gè)謂詞連接起來，形成謂詞公式設(shè)定初始狀態(tài)是

AT(ROBOT，ALCOVE)∧EMPTYHANDED(ROBOT) ∧TABLE(A)∧TABLE(B)∧ON(BOX，A)目標(biāo)狀態(tài)是

AT(ROBOT，ALCOVE)∧EMPTYHANDED(ROBOT)∧TABLE(A)∧TABLE(B)∧ON(BOX，B)85謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示尋找一組機(jī)器人可執(zhí)行的操作，實(shí)現(xiàn)一個(gè)由初始狀態(tài)到目標(biāo)狀態(tài)的機(jī)器人操作過程,機(jī)器人可執(zhí)行的操作，也可以用謂詞邏輯來表示，該問題的求解操作：

GOTO(x，y)表示：從x到y(tǒng)PICK-UP(x)表示：在x處拿起boxSET-DOWN(x)表示：在x處放下box86謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示操作一般分為先決條件和動(dòng)作兩部分。先決條件可以很容易地用謂詞公式表示，而動(dòng)作可通過動(dòng)作前后的狀態(tài)變化表示出來。即只要指出執(zhí)行動(dòng)作后，應(yīng)從動(dòng)作前的狀態(tài)表中刪除和增加什么謂詞就描述了相應(yīng)的動(dòng)作。87謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示 如機(jī)器人由初始狀態(tài)，走近A桌，

GOTO（ALCOVE,A），這時(shí)初始狀態(tài)發(fā)生變化：先決條件:AT(ROBOT，x)增添：AT（ROBOT，A）刪除：AT（ROBOT，ALCOVE）88謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示 如機(jī)器人從A桌上拿起box，PICK-UP（A），這時(shí)狀態(tài)變化：先決條件:TABLE(A)∧ON(BOX,A)∧AT(ROBOT,A)∧EMPTYHANDED(ROBOT)增添：HOLDS(ROBOT，BOX）刪除：ON(BOX,A)∧EMPTYHANDED(ROBOT)

89謂詞邏輯的知識(shí)表示謂詞公式表示知識(shí)的舉例例子：機(jī)器人搬弄積木塊問題表示 如機(jī)器人由A桌走近B桌，GOTO（A,B）……

如機(jī)器人把box放到B桌上，SET-DOWN(B），這時(shí)狀態(tài)變化：先決條件:TABLE(B)∧AT(ROBOT，B)∧HOLDS(ROBOT，BOX)增添：ON(BOX，B)∧EMPTYHANDED(ROBOT)刪除：HOLDS(ROBOT，BOX）

90謂詞邏輯的知識(shí)表示謂詞公式語法、語義謂詞邏輯和命題邏輯的不同點(diǎn):在命題