《人工智能》（何澤奇）491-6教案 第2課 知識(shí)表示與一階謂詞邏輯表示法

PAGE4PAGE4PAGE5PAGE5課題知識(shí)表示與一階謂詞邏輯表示法課時(shí)2課時(shí)（90min）教學(xué)目標(biāo)知識(shí)技能目標(biāo)：（1）了解知識(shí)和知識(shí)表示的基本概念（2）了解知識(shí)表示的方法（3）熟悉一階謂詞邏輯表示法思政育人目標(biāo)：關(guān)注人工智能前沿技術(shù)，加強(qiáng)對新技術(shù)的了解，增強(qiáng)探究意識(shí)關(guān)心國家大事，抓住機(jī)遇，展現(xiàn)新作為，增強(qiáng)愛黨、愛國情感弘揚(yáng)精益求精、科學(xué)嚴(yán)謹(jǐn)、追求卓越的工匠精神教學(xué)重難點(diǎn)教學(xué)重點(diǎn)：知識(shí)表示教學(xué)難點(diǎn)：一階謂詞邏輯表示法教學(xué)方法講授法、討論法、問答法教學(xué)用具計(jì)算機(jī)、投影儀、多媒體課件、教材教學(xué)設(shè)計(jì)→→→傳授新知（25min）→→傳授新知（45min）→課堂練習(xí)（7min）→課堂小結(jié)（3min）→作業(yè)布置（2min）教學(xué)過程主要教學(xué)內(nèi)容及步驟設(shè)計(jì)意圖課前任務(wù)【教師】布置課前任務(wù)，和學(xué)生負(fù)責(zé)人取得聯(lián)系，讓其提醒同學(xué)通過文旌課堂APP或其他學(xué)習(xí)軟件，完成課前任務(wù)請大家搜索了解一階謂詞邏輯表示法的相關(guān)知識(shí)，查找資料，用一階謂詞邏輯來表示機(jī)器人轉(zhuǎn)移積木塊的過程。【學(xué)生】完成課前任務(wù)通過課前任務(wù)，使學(xué)生了解所學(xué)課程的重要性，增加學(xué)生的學(xué)習(xí)興趣考勤

（2min）【教師】通過文旌課堂APP讓學(xué)生簽到【學(xué)生】簽到，班干部交假條培養(yǎng)學(xué)生的組織紀(jì)律性，掌握學(xué)生的出勤情況問題導(dǎo)入（3min）【教師】提出以下問題，并邀請學(xué)生回答知識(shí)是什么？知識(shí)就是力量，這是我們聽到最多的一句回答，我們都知道知識(shí)改變命運(yùn)這句俗語，可什么是知識(shí)？知識(shí)又該怎么表示？【學(xué)生】討論、舉手回答【教師】通過學(xué)生的回答引入要講的知識(shí)，并板書：知識(shí)表示綜合大家的討論，咱們來總結(jié)一下什么是知識(shí)，該如何表示知識(shí)。本節(jié)課主要介紹知識(shí)表示的相關(guān)知識(shí)?！緦W(xué)生】聆聽通過問題導(dǎo)入的方法，引導(dǎo)學(xué)生主動(dòng)思考，激發(fā)學(xué)生的學(xué)習(xí)興趣傳授新知

（25min）【教師】提問：什么是知識(shí)？【學(xué)生】討論、舉手回答【教師】總結(jié)知識(shí)是人類對自然世界、人類社會(huì)、思維方式及運(yùn)動(dòng)規(guī)律的認(rèn)識(shí)與掌握；是人類在長期的生活及社會(huì)實(shí)踐中、在科學(xué)研究及實(shí)驗(yàn)中積累起來的經(jīng)驗(yàn)；是人的大腦通過思維重新組合，把實(shí)踐中獲得的有關(guān)信息關(guān)聯(lián)在一起形成的信息結(jié)構(gòu)。2.1知識(shí)與知識(shí)表示【教師】講解知識(shí)的概念、特性、分類和知識(shí)表示2.1.1知識(shí)的概念信息之間有多種關(guān)聯(lián)形式，使用最廣泛的一種是用“如果……，則……”表示的關(guān)聯(lián)形式，它反映了信息間的因果關(guān)系?！窘處煛坑肞PT展示“螞蟻搬家”圖片，進(jìn)行舉例說明人類經(jīng)過多年的觀察發(fā)現(xiàn)，每當(dāng)大雨即將來臨的時(shí)候，就會(huì)看到成群結(jié)隊(duì)的螞蟻在搬家，于是就把“螞蟻搬家”和“大雨將至”這兩個(gè)信息關(guān)聯(lián)在一起，得到了相應(yīng)的知識(shí)，即如果螞蟻搬家，則大雨將至?！緦W(xué)生】聆聽、理解知識(shí)反映了客觀世界中事物之間的關(guān)系，不同事物或者相關(guān)事物間的不同關(guān)系形成了不同的知識(shí)。例如，“海水是咸的”是一條知識(shí)，它反映了“海水”與“咸”之間的一種關(guān)系。又如，“如果天空中烏云密布，則有可能會(huì)下雨”是一條知識(shí)，它反映了“天空中烏云密布”與“有可能會(huì)下雨”之間的一種因果關(guān)系。在人工智能中，將前一種知識(shí)稱為事實(shí)，而把采用“如果……，則……”關(guān)聯(lián)起來所形成的知識(shí)稱為規(guī)則?！窘處煛恐v解復(fù)興之路相關(guān)內(nèi)容2.1.2知識(shí)的特性相對正確性“”這條眾所周知的知識(shí)，在大部分人的知識(shí)范疇中認(rèn)為它肯定是正確的，這是因?yàn)檫@些人默認(rèn)它就是用十進(jìn)制進(jìn)行運(yùn)算的，但如果是二進(jìn)制運(yùn)算，那么它就是不正確的。在一定的條件和環(huán)境下，知識(shí)一般是正確的。其中，“一定的條件和環(huán)境”是保證知識(shí)正確性必不可少的前提。因?yàn)槿魏沃R(shí)都是在一定條件和環(huán)境下產(chǎn)生的，所以只有在這種條件和環(huán)境下才是正確的。在人工智能中，知識(shí)的相對正確性表現(xiàn)得更加突出。除了人類知識(shí)本身的相對正確性外，在建造專家系統(tǒng)時(shí)為了減小知識(shí)庫的規(guī)模，通常將知識(shí)限制在所求問題的范圍內(nèi)。也就是說，只要這些知識(shí)能夠求解出該特定問題的正確解就行。例如，在動(dòng)物識(shí)別系統(tǒng)中，如果僅識(shí)別虎、斑馬、長頸鹿、鴕鳥、金錢豹等5種動(dòng)物，那么，知識(shí)“如果該動(dòng)物是鳥類，則該動(dòng)物是鴕鳥”就是對的?！窘處煛孔寣W(xué)生進(jìn)行討論知識(shí)來源于生活經(jīng)驗(yàn)，請大家回想一下生活中積累的哪些知識(shí)具有相對正確性并舉例說明【學(xué)生】討論、回答不確定性由于信息存在精確和不精確的可能，關(guān)聯(lián)存在確定和不確定的可能，因此，知識(shí)存在“真”的程度問題，也就是說，知識(shí)在“真”與“假”之間還存在許多中間狀態(tài)。（1）由隨機(jī)性引起的不確定性。拋硬幣，硬幣有正反兩面，哪面朝上是隨機(jī)的。（2）由模糊性引起的不確定性。人個(gè)子的高與矮，其分界線是模糊的。（3）由不完全性引起的不確定性。每位盲人只摸到了大象身體的一部分就對大象的樣貌做出結(jié)論，顯然盲人對大象的樣貌了解具有不完全性，因此，導(dǎo)致得出不確定的知識(shí)?！窘處煛空故尽懊と嗣蟆眻D片并講解（4）由經(jīng)驗(yàn)依賴引起的不確定性。中醫(yī)診脈，其主要依據(jù)就是經(jīng)驗(yàn)【教師】讓學(xué)生進(jìn)行討論知識(shí)還有哪些不確定性，由什么引起的【學(xué)生】討論、回答可表示性知識(shí)的可表示性是指知識(shí)可以用適當(dāng)?shù)男问奖硎境鰜?，如用語言、文字、圖像、符號、神經(jīng)網(wǎng)絡(luò)等，這樣才能存儲(chǔ)和傳播。可利用性人們每天都在利用自己掌握的知識(shí)解決各種問題。2.1.3知識(shí)的分類【教師】PPT展示“知識(shí)的分類”表，并介紹知識(shí)的分類知識(shí)的概念很廣泛，這也是人類世界特有的概念，從不同的角度可以將知識(shí)分成不同的類別。2.1.4知識(shí)表示【教師】引導(dǎo)學(xué)生思考哪些知識(shí)可以表示并講解內(nèi)容將人類知識(shí)形式化或模型化就是對知識(shí)進(jìn)行表示。知識(shí)表示過程就是把知識(shí)編碼成某種數(shù)據(jù)結(jié)構(gòu)的過程。從某種意義上，可以將知識(shí)表示視為數(shù)據(jù)結(jié)構(gòu)及其處理機(jī)制的綜合，即知識(shí)表示=知識(shí)的數(shù)據(jù)結(jié)構(gòu)+知識(shí)的處理機(jī)制同一知識(shí)可以有多種不同的表示形式，而不同的表示形式所產(chǎn)生的效果又可能不同。因此，在選擇知識(shí)表示方法時(shí)，應(yīng)從以下幾個(gè)方面進(jìn)行考慮。（1）所選知識(shí)表示方法是否能充分表示領(lǐng)域知識(shí)。（2）所選知識(shí)表示方法是否有利于對知識(shí)進(jìn)行使用。（3）所選知識(shí)表示方法是否便于知識(shí)的獲取、組織、維護(hù)和管理。（4）所選知識(shí)表示方法是否便于理解和實(shí)現(xiàn)。著重介紹一階謂詞邏輯表示法、狀態(tài)空間表示法、產(chǎn)生式表示法、語義網(wǎng)絡(luò)表示法和框架表示法?？梢越Y(jié)合使用?！窘處煛刻嵝褜W(xué)生注意某些領(lǐng)域結(jié)構(gòu)復(fù)雜，單一的知識(shí)表示方法無法充分表示該領(lǐng)域知識(shí)。此時(shí)，可以使用多種不同的知識(shí)表示方法表示該領(lǐng)域知識(shí)?！緦W(xué)生】聆聽、記錄、理解通過教師的講解和課堂互動(dòng)，使學(xué)生了解知識(shí)的概念教師結(jié)合例子講解知識(shí)的概念課堂思政，加強(qiáng)學(xué)生的國家榮譽(yù)感教師講解知識(shí)的相對正確性，引導(dǎo)學(xué)生進(jìn)行討論，回想一下生活中積累的哪些知識(shí)具有相對正確性并舉例說明，提高學(xué)生的課堂參與度教師講解知識(shí)的不確定性，引導(dǎo)學(xué)生思考知識(shí)還有哪些不確定性，由什么引起的，提高學(xué)生的課堂參與度PPT結(jié)合板書講解知識(shí)表示新知導(dǎo)入（3min）【教師】引導(dǎo)學(xué)生思考知識(shí)表示的邏輯人工智能中涉及的邏輯可劃分為兩大類。一類是經(jīng)典命題邏輯和一階謂詞邏輯，統(tǒng)稱為經(jīng)典邏輯。因?yàn)樗鼈兊恼嬷抵挥小罢妗焙汀凹佟保杂址Q為二值邏輯。另一類是泛指經(jīng)典邏輯外的那些邏輯，包括三值邏輯、多值邏輯和模糊邏輯等，統(tǒng)稱為非經(jīng)典邏輯?！窘處煛刻釂枌W(xué)生已學(xué)過命題的概念咱們以前已經(jīng)學(xué)過命題的概念，請大家說一下什么是命題，什么是真命題和假命題？【學(xué)生】討論、舉手回答傳授新知（45min）2.2一階謂詞邏輯表示法【教師】講解一階謂詞邏輯表示法2.2.1命題邏輯【教師】引導(dǎo)學(xué)生判斷什么是命題，如何判斷一個(gè)句子是否為命題判斷一個(gè)句子是否為命題，首先應(yīng)該判斷它是否為陳述句，再判斷它是否有唯一的真值。例如，“中國的首都是北京”是陳述句且其真值唯一（為真），因此它是一個(gè)命題。沒有真假意義的語句不是命題，如感嘆句、疑問句等。例如，“我好開心啊”“你吃飯了嗎”等都不是命題。若命題的意義為真，稱它的真值為真，記作T（True）；若命題的意義為假，稱它的真值為假，記作F（False）。例如，“太陽從東邊升起”“一個(gè)星期有7天”都是真值為T的命題；“雪是黑色的”“海水是甜的”都是真值為F的命題?！窘處煛恐v解命題的真假性一個(gè)命題的真值不能同時(shí)既為真又為假，但是可以在一種條件下為真，在另一種條件下為假。例如，還是那個(gè)“”的問題，在十進(jìn)制條件下，它是真值為T的命題；但在二進(jìn)制條件下，它是真值為F的命題。同樣，對于命題“今天是晴天”，要看當(dāng)天的實(shí)際情況才能確定其真值?！窘處煛恐v授命題的兩種類型命題有兩種類型，第一種是不能分解的簡單陳述句表達(dá)的命題，稱為原子命題或簡單命題。第二種是由連接詞、標(biāo)點(diǎn)符號和原子命題等復(fù)合構(gòu)成的命題，稱為復(fù)合命題。所有這些命題都有確定的真值。命題邏輯，就是研究命題和命題之間關(guān)系的符號邏輯系統(tǒng)，通常用大寫的英文字母表示命題，如P：長城是中國古代偉大的建筑表示命題的符號稱為命題標(biāo)識(shí)符，如P就是命題標(biāo)識(shí)符。命題標(biāo)識(shí)符可以分為兩種。（1）命題常量，一個(gè)命題標(biāo)識(shí)符表示的命題是確定的。（2）命題變元，命題標(biāo)識(shí)符只表示任意命題的位置信息。因?yàn)槊}變元可以表示任意命題，所以它不能確定其真值，故命題變元不是命題。對于命題變元而言，只有把確定的命題代入后，它才可能有明確的真值?！窘處煛客ㄟ^命題的表示提出問題“命題有哪些局限性”【學(xué)生】討論，舉手回答命題邏輯表示法有較大的局限性，它對事物的描述無法反映事物的結(jié)構(gòu)及邏輯特征，也不能把不同事物的共同特征表述出來。例如，對于“老王是小明的老師”這一命題，用英文字母P表示。則無論如何也看不出老王和小明的師生關(guān)系。又如，對于“玫瑰是花”“百合是花”這兩個(gè)命題，用命題邏輯表示，也無法將兩者中都是花的共同特征通過形式化表示出來。于是，在命題邏輯的基礎(chǔ)上發(fā)展起來了謂詞邏輯。從某種程度上講，命題邏輯可看作是謂詞邏輯的一種特殊形式。2.2.2謂詞邏輯【教師】講解實(shí)際例子輔助學(xué)生理解謂詞邏輯表示法謂詞就是用于刻畫個(gè)體的性質(zhì)、狀態(tài)和個(gè)體之間關(guān)系的語言成分。例如，對于上一節(jié)提到的“玫瑰是花”“百合是花”這兩個(gè)命題，分別用符號P、Q表示，但是P和Q的謂語有共同的屬性，即“是花”。于是，引入一個(gè)符號表示“是花”，再引入一種方法表示個(gè)體的名稱，就能把“某某是花”這個(gè)命題的本質(zhì)屬性刻畫出來。故而，可以使用謂詞表示命題。謂詞的表示形式詳見教材【教師】提出問題，現(xiàn)有命題“李麗是一名教師”和“張章是一名教師”，請用謂詞表示這兩個(gè)命題【學(xué)生】舉手回答老師提出的問題個(gè)體可以是常量、變元或函數(shù)。個(gè)體常量、個(gè)體變元和函數(shù)統(tǒng)稱為項(xiàng)，用項(xiàng)表示對象。謂詞中包含的個(gè)體數(shù)目稱為謂詞的元數(shù)。例如，是一元謂詞，是二元謂詞，是元謂詞。個(gè)體是常量時(shí)，表示一個(gè)或者一組指定的個(gè)體?！窘處煛颗e例說明：命題“王夕是一名學(xué)生”，可表示為一元謂詞。其中，是謂詞名，是個(gè)體，也是對象，刻畫了是學(xué)生這一特性?！窘處煛刻嵝眩阂粋€(gè)命題的謂詞表示不是唯一的。例如，命題“王夕是一名學(xué)生”也可表示為二元謂詞個(gè)體是變元時(shí)，表示沒有指定的一個(gè)或者一組個(gè)體。例如，“”可表示為，其中，是變元。當(dāng)變元用一個(gè)具體個(gè)體的名字代替時(shí)，則變元被常量化。當(dāng)謂詞中的變元都用特定的個(gè)體取代時(shí)，謂詞就具有一個(gè)確定的真值，即T或F?！窘處煛刻嵝眩簜€(gè)體變元的取值范圍稱為個(gè)體域。個(gè)體域可以是有限的，也可以是無限的例如，若用表示“是整數(shù)”，則個(gè)體域是所有整數(shù)，它是無限的。個(gè)體是函數(shù)時(shí)，表示一個(gè)個(gè)體到另一個(gè)個(gè)體的映射。例如，命題“我的朋友是學(xué)生”，可表示為一元謂詞；命題“小李的狗和小王的貓?jiān)谝黄鹜嫠！?，可表示為二元謂詞。其中、和都是函數(shù)。函數(shù)可以遞歸調(diào)用。例如，“小李的爺爺”可表示為?！窘處煛刻嵝眩汉瘮?shù)與謂詞表面上很相似，但是這是兩個(gè)完全不同的概念。謂詞是有唯一的真值，而函數(shù)無真值可言，它只是在個(gè)體域中從一個(gè)個(gè)體到另一個(gè)個(gè)體的映射，其最終值還是個(gè)體?！窘處煛拷Y(jié)合教材以及PPT內(nèi)容講解謂詞、常量、變元和函數(shù)這些謂詞邏輯中的語法元素的符號表示規(guī)則【學(xué)生】聆聽、記錄、理解2.2.3謂詞公式【教師】安排學(xué)生掃一掃教材上的二維碼，了解“謂詞公式”。并結(jié)合教材和PPT內(nèi)容講解謂詞公式謂詞公式也稱為合式公式，是由謂詞符號、常量符號、變元符號、函數(shù)符號，以及連接詞、量詞、括號、逗號等按照一定語法規(guī)則組成的字符串表達(dá)式。滿足如下規(guī)則的謂詞演算可得到謂詞公式。（1）單個(gè)謂詞是謂詞公式，稱為原子謂詞公式或原子公式。（2）若是謂詞公式，則也是謂詞公式。（3）若，都是謂詞公式，則，，，也都是謂詞公式。（4）若是謂詞公式，則，也都是謂詞公式。（5）有限步應(yīng)用上述（1）～（4）規(guī)則生成的公式也是謂詞公式。1．連接詞連接詞，又稱連詞。無論是命題邏輯還是謂詞邏輯，均可用連接詞把一些簡單的命題連接起來構(gòu)成一個(gè)復(fù)合命題，用來表示較復(fù)雜的知識(shí)。【教師】用PPT展示表格“連接詞”，講授常用的連接詞簡單命題有唯一的真值，由連接詞和簡單命題構(gòu)成的復(fù)合命題也有唯一的真值。管其前項(xiàng)的真值如何），或者其前項(xiàng)取真值F（不管其后項(xiàng)的真值如何），則蘊(yùn)涵取真值T，否則蘊(yùn)涵取真值F。也就是說，只有前項(xiàng)為真，后項(xiàng)為假時(shí)，蘊(yùn)涵才為假，其余都為真?！窘處煛坑肞PT展示表格“謂詞邏輯真值表”，表格給出了由以上連接詞連接的命題的真值【教師】提醒：“蘊(yùn)涵”與漢語中的“如果……，則……”是有區(qū)別的。漢語中“則”前后要有聯(lián)系，而命題中“則”前后可以毫無關(guān)系。例如，如果“珠穆朗瑪峰不是世界最高的山”，則“一天有24個(gè)小時(shí)”，可表示為，它是一個(gè)真值為T的命題。2．量詞【教師】結(jié)合PPT以及教材講授量詞相關(guān)知識(shí)內(nèi)容為了刻畫謂詞與個(gè)體之間的關(guān)系，在謂詞邏輯中引入兩個(gè)量詞，分別是全稱量詞和存在量詞。（1）全稱量詞（），表示“對個(gè)體域中的所有個(gè)體，或者任意一個(gè)個(gè)體”。例如，“所有學(xué)生都有書”，可表示為。（2）存在量詞（），表示“在個(gè)體域中存在個(gè)體”。例如，“某個(gè)學(xué)生在踢足球”，可表示為。全稱量詞和存在量詞可以出現(xiàn)在同一命題中。例如，設(shè)謂詞表示與是朋友，則兩個(gè)量詞出現(xiàn)在同一命題中表示的含義如下。（1）表示對于個(gè)體域中的任何兩個(gè)個(gè)體和，與都是朋友。（2）表示對于個(gè)體域中的任何個(gè)體都存在個(gè)體，與是朋友。（3）表示在個(gè)體域中存在個(gè)體與個(gè)體，與是朋友。（4）表示在個(gè)體域中存在個(gè)體，與個(gè)體域中的任何個(gè)體都是朋友?！窘處煛刻嵝眩寒?dāng)全稱量詞和存在量詞出現(xiàn)在同一個(gè)命題中時(shí)，量詞的次序?qū)⒂绊懨}的意思。【教師】舉例：表示“每個(gè)學(xué)生都有一個(gè)老師”；而表示“有一個(gè)人是所有學(xué)生的老師”。位于量詞后面的單個(gè)謂詞或者用括號括起來的謂詞公式稱為量詞的轄域。轄域內(nèi)與量詞中同名的變元稱為約束變元，不受約束的變元稱為自由變元。例如，在中，是的轄域，轄域內(nèi)的變元是受約束的變元，而中的是自由變元。公式中的所有都是自由變元。2.2.4謂詞公式的性質(zhì)【教師】用PPT展示表格講解謂詞公式的性質(zhì)在謂詞邏輯中，必須先考慮個(gè)體變元和函數(shù)在個(gè)體域中的取值，然后才能針對變元與函數(shù)的具體取值為謂詞指派真值。對于個(gè)體變元和函數(shù)在個(gè)體域中取值的不同，一個(gè)謂詞公式的解釋可能有多個(gè)，因此，謂詞公式在不同的個(gè)體域中具有不同的性質(zhì)。對于每一個(gè)解釋，謂詞公式都可求出一個(gè)真值。永真性和永假性如果謂詞公式對個(gè)體域上的任何一個(gè)解釋都取真值T，則稱在上是永真的；如果在每個(gè)非空個(gè)體域上均永真，則稱永真。如果謂詞公式對個(gè)體域上的任何一個(gè)解釋都取真值F，則稱在上是永假的；如果在每個(gè)非空個(gè)體域上均永假，則稱永假。【教師】提醒：為了判斷某個(gè)公式永真，必須對每個(gè)個(gè)體域上的所有解釋逐個(gè)判定，當(dāng)解釋的個(gè)數(shù)為無限時(shí)，公式的永真性就很難判斷了?？蓾M足性和不可滿足性對于謂詞公式，如果至少存在一個(gè)解釋使得公式在此解釋下的真值為T，則稱公式是可滿足的，否則，則稱公式是不可滿足的。等價(jià)性設(shè)和是兩個(gè)謂詞公式，是它們共同的個(gè)體域，若對上的任何一個(gè)解釋，和都有相同的真值，則稱和在上是等價(jià)的。如果是任意個(gè)體域，則稱和是等價(jià)的，記作?！窘處煛空故颈砀瘛爸^詞公式的等價(jià)式”，列出了一些常用的等價(jià)式【教師】提醒：在這些等價(jià)式中，補(bǔ)余律也稱為否定律，雙重否定律也稱為對合律。永真蘊(yùn)涵對于謂詞公式和，如果永真，則稱公式永真蘊(yùn)涵，記作，且稱為的邏輯結(jié)論，為的前提?！窘處煛空故颈砀瘛爸^詞公式的永真蘊(yùn)涵式”，列出了一些常用的永真蘊(yùn)涵式【教師】提醒：上面列出的等價(jià)式和永真蘊(yùn)涵式是進(jìn)行演繹推理的重要依據(jù)，因此這些公式又稱為推理規(guī)則，具體應(yīng)用將在第3章講解。2.2.5一階謂詞邏輯表示知識(shí)【教師】引導(dǎo)學(xué)生討論并總結(jié)用一階謂詞邏輯表示知識(shí)的一般步驟【學(xué)生】討論、舉手回答用一階謂詞邏輯表示知識(shí)的一般步驟如下。（1）定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切意義。（2）根據(jù)要表達(dá)的事物或概念，為謂詞中的變元賦予特定的值。（3）根據(jù)語義用適當(dāng)?shù)倪B接符號將各個(gè)謂詞連接起來，形成謂詞公式。2.2.6案例：機(jī)器人轉(zhuǎn)移積木塊【教師】PPT展示圖片“機(jī)器人轉(zhuǎn)移積木塊”，安排學(xué)生掃描二維碼“機(jī)器人轉(zhuǎn)移積木塊”，了解案例：機(jī)器人轉(zhuǎn)移積木塊，讓學(xué)生討論機(jī)器人轉(zhuǎn)移積木塊的過程表示【學(xué)生】討論、舉手回答【教師】講解答案用一階謂詞邏輯表示知識(shí)的一般步驟如下。（1）定義謂詞及個(gè)體，確定每個(gè)謂詞及個(gè)體的確切意義。（2）根據(jù)要表達(dá)的事物或概念，為謂詞中的變元賦予特定的值。（3）根據(jù)語義用適當(dāng)?shù)倪B接符號將各個(gè)謂詞連接起來，形成謂詞公式。（4）求解問題，利用一階謂詞邏輯來表示機(jī)器人轉(zhuǎn)移積木塊的過程?！窘處煛刻嵝眩簩Υ藛栴}的求解，實(shí)際上就是要尋找一組機(jī)器人可執(zhí)行的操作，利用這組操作實(shí)現(xiàn)從初始狀態(tài)到目標(biāo)狀態(tài)的轉(zhuǎn)變。機(jī)器人可執(zhí)行的操作可以分為先決條件和動(dòng)作兩部分。先決條件直接用謂詞公式表示，而動(dòng)作通過動(dòng)作前后的狀態(tài)變化表示出來，即通過刪除和增加動(dòng)作發(fā)生前狀態(tài)表中的謂詞公式來描述相應(yīng)的動(dòng)作。機(jī)器人將積木塊從桌子A轉(zhuǎn)移到桌子B所要執(zhí)行的操作有3個(gè)。 ，表示從x處走到y(tǒng)處 ，表示在x處拿起盒子 ，表示在x處放下盒子【