1、第17章 對(duì)話代理的定義,本章討論對(duì)話代理（Conversational Agent）的一些概念。這里的對(duì)話代理是指能夠完全參與正常對(duì)話的代理，實(shí)現(xiàn)這種代理的系統(tǒng)可以用于任何需要用語(yǔ)言進(jìn)行人機(jī)交互的應(yīng)用中，如問答系統(tǒng)、決策支持系統(tǒng)等。 17.1 什么是建立對(duì)話代理所必需的 17.2 語(yǔ)言是多行為者的活動(dòng) 17.3 認(rèn)知狀態(tài)的表示：信念 17.4 認(rèn)知狀態(tài)的表示：愿望、意圖和計(jì)劃 17.5 說話動(dòng)作與交談動(dòng)作 17.6 交談動(dòng)作的設(shè)計(jì) 17.7 交談動(dòng)作與意圖的識(shí)別 17.8 對(duì)話中意圖的來源 17.9 非語(yǔ)法動(dòng)作的識(shí)別 17.10 篇章結(jié)構(gòu)設(shè)計(jì),17.1 什么是建立對(duì)話代理所必需的 問題 為什

2、么代理能說話？是什么促使它去說，或者去嘗試?yán)斫饽切?duì)它說的話？ 答案 只需編寫程序使它這樣做就可以了。 例如，一個(gè)數(shù)據(jù)庫(kù)問答代理的行為可以用一個(gè)交替執(zhí)行下列兩個(gè)步驟的程序來定義： 1、把輸入的問題分析并理解為表示查詢的邏輯形式； 2、對(duì)數(shù)據(jù)庫(kù)執(zhí)行該查詢，并根據(jù)返回的結(jié)果產(chǎn)生輸出。 如果你給它的不是關(guān)于該數(shù)據(jù)庫(kù)的問題，它可能就無法恰當(dāng)?shù)刈龀龇磻?yīng)。而且，它表現(xiàn)不出任何能讓人認(rèn)為它是智能化的獨(dú)立的行為。 不足：不夠智能化，或者說，不太善于交談。 解決方法：采用一種更能反映人類行為動(dòng)因的表示法，將某些智能逐步灌輸?shù)较到y(tǒng)的行為中。,人的行為 人類之所以有所行動(dòng)是因?yàn)樗麄冇凶约合胍_(dá)到的目標(biāo)。而且，人類會(huì)

3、注意到他們所處的境況，并對(duì)這個(gè)境況有各種積極的或消極的感覺。在某種意義上，他們通常是為了獲得更好的境況而行動(dòng)的。 例如，如果你發(fā)現(xiàn)自己正站在高速公路上，你很可能會(huì)離開。 這個(gè)行為雖然簡(jiǎn)單，但需要設(shè)定一個(gè)復(fù)雜的認(rèn)識(shí)結(jié)構(gòu)才能很好地解釋： 基于視覺，你相信自己在高速公路上 經(jīng)過推斷得出往回走比繼續(xù)往前能更快離開高速公路 往回走離開高速公路,智能代理的重要組成部分 知覺(perception)：代理必須能夠感知它周圍的世界 信念(beliefs)：代理必須具有表示世界當(dāng)前狀態(tài)的方法 愿望/需要(desires/wants)：代理必須對(duì)世界的各種狀態(tài)有積極的或消極的反應(yīng)，并創(chuàng)建一種比較狀態(tài)理想程度的方法

4、 計(jì)劃/推理(planning/reasoning)：代理必須能夠?qū)_(dá)到其它狀態(tài)的各種方法進(jìn)行推理 提交(commitment)：代理必須能夠決定是否為達(dá)到一個(gè)不同的狀態(tài)而行動(dòng) 意圖(intentions)：代理必須能夠堅(jiān)持已經(jīng)確定的行動(dòng)過程 行動(dòng)(acting)：代理必須能夠采取行動(dòng)從而改變它的狀態(tài),知覺、計(jì)劃、提交和行動(dòng)是過程，而信念、愿望和意圖是代理認(rèn)知狀態(tài)的一部分。這樣的模型有時(shí)稱為BDI（信念、愿望和意圖）模型。 本章的焦點(diǎn)是語(yǔ)言代理，它唯一的知覺來自對(duì)它說的話，它唯一的動(dòng)作是產(chǎn)生對(duì)話。,計(jì)劃 知覺 行動(dòng),信念,愿望,意圖,提交,圖17.1 智能代理的BDI模型 方框表示認(rèn)知狀態(tài)的某

5、個(gè)方面，其它的標(biāo)記指出同時(shí)進(jìn)行的行為過程。代理根據(jù)知覺不斷地更新信念，并用信念推理各種可能的計(jì)劃，同時(shí)根據(jù)信念和愿望提交一定的意圖，并通過行動(dòng)實(shí)現(xiàn)這些意圖。,說話動(dòng)作（speech acts） 為了將上述模型用于語(yǔ)言，代理必須能清楚地做說出句子的動(dòng)作。這種涉及語(yǔ)言的動(dòng)作稱為說話動(dòng)作。 在對(duì)話代理的研制中起著重要作用。 可以用英語(yǔ)動(dòng)詞來命名，例如：詢問ask、要求request、告知inform、否認(rèn)deny、祝賀congratulate、確認(rèn)confirm和允諾promise。 我們必須能夠定義并推理說話動(dòng)作。 然而，結(jié)果證明說話動(dòng)作的定義比其它動(dòng)作的定義復(fù)雜多了，這是因?yàn)樗鼈兩婕安恢挂粋€(gè)代理

6、，即它們是相互交談的動(dòng)作；而且，它們是根據(jù)代理的認(rèn)知狀態(tài)來定義的，而不是根據(jù)世界的物理性質(zhì)。,返回,17.2 語(yǔ)言是多行為者的活動(dòng) 交流的必要條件 必須涉及多個(gè)行為者 你無法在一個(gè)沒有其他人的房間里通過說話來交流。其它形式的交流，諸如書寫，可以延長(zhǎng)交流的時(shí)間。你現(xiàn)在寫的東西可能十年后才被看到。但在所有情況中，交流的意圖是使一個(gè)人可以影響其他人的認(rèn)知狀態(tài)。 如果其中一個(gè)行為者沒能識(shí)別出其他人的交流意圖，交流無法進(jìn)行 例如，假設(shè)Jack和Sue參與了間諜活動(dòng)，他們制定出一個(gè)方案，就是當(dāng)Sue來見Jack是安全的時(shí)候，Jack就把他的窗戶打開。由此，Jack可以利用窗戶跟Sue交流。他打開窗戶，當(dāng)S

7、ue看到它時(shí)就明白現(xiàn)在去見Jack是安全的。,假設(shè)有一天Jack因?yàn)樘鞖鉄岫蜷_窗戶，Sue看到了并斷定現(xiàn)在去見Jack是安全的。這是一個(gè)誤會(huì)，因?yàn)檫@個(gè)打開的窗戶并不表示現(xiàn)在是安全的，因?yàn)镴ack不是出于這個(gè)意圖打開窗戶的。相反地，假設(shè)盡管天氣很熱，但Jack確實(shí)是為了向Sue發(fā)信號(hào)才打開窗戶的。然而，當(dāng)Sue看到時(shí)她斷定是因?yàn)樘鞖馓珶?，Jack為了涼快些才打開窗戶的。這樣Jack的交流意圖失敗了，因?yàn)镾ue沒能識(shí)別出他打開窗戶的意圖。 因此，只有當(dāng)一個(gè)行為者試圖交流并且其他行為者識(shí)別出這個(gè)意圖時(shí)，交流才能進(jìn)行。 要求對(duì)一致的含義有一致的約定 上例子中，只需要兩個(gè)約定的信號(hào)-窗戶打開（表示安全

8、）而窗戶關(guān)閉（表示不安全）。Jack和Sue定義了他們自己的私人語(yǔ)言，并且只要Jack在炎熱的天氣里小心些，這個(gè)語(yǔ)言運(yùn)用的還是相當(dāng)好的。,這些必要條件同樣也是語(yǔ)言交流的基礎(chǔ)。但它們?cè)谡Z(yǔ)言中根深蒂固以至于我們往往沒有注意到它們。實(shí)際上，對(duì)我們來說，只要看到由一系列單詞組成的句子就足以斷定它是交流意圖。這是因?yàn)?，與窗戶的例子不同，說話和寫字這樣的身體動(dòng)作很少用于交流之外的其他目的。 注意，窗戶這個(gè)例子的關(guān)鍵恰恰是利用了歧義。打開窗戶的動(dòng)作可以被用于兩種不同的目的-與Sue交流和獲得一些新鮮空氣。這個(gè)例子說明了身體動(dòng)作與交談動(dòng)作是有重大區(qū)別的。,說話時(shí)將完成的三個(gè)動(dòng)作： 語(yǔ)法動(dòng)作（locutiona

9、ry act）-說出一系列單詞的動(dòng)作 語(yǔ)義動(dòng)作（illocutionary act）-說話者在說這些單詞時(shí)實(shí)現(xiàn)的動(dòng)作 準(zhǔn)效果動(dòng)作（perlocutionary act）-作為說話結(jié)果的動(dòng)作。 窗口語(yǔ)言的例子舉例說明了這些不同動(dòng)作。Jack打開窗戶是locutionary act，并且正如我們看到的它可能有也可能沒有交流的意圖。當(dāng)Jack為了發(fā)出一切順利的信號(hào)而打開窗戶時(shí)，他同時(shí)也完成了一個(gè)illocutionary act，它標(biāo)志著一切順利。如果Sue看到這個(gè)打開的窗戶并識(shí)別出Jack的意圖，從而知道一切順利，那么一個(gè)perlocutionary act，即使Sue相信一切順利，也發(fā)生了。,有

10、些動(dòng)詞可以描述illocutionary act，而另一些則描述perlocutionary act。 illocutionary act可以用在那些明確地命名了被執(zhí)行的動(dòng)作的句子中。這樣的用法稱為明確執(zhí)行的（explicit performative）。 例1：I hereby promise to mow the lawn. 例2：I hereby inform you the your bank account is overdrawn. perlocutionary act是說話時(shí)估計(jì)將會(huì)發(fā)生的事情，但它的發(fā)生并不受說話者的控制。 例3：*I hereby convince you t

11、hat your bank account is overdrawn. perlocutionary act也可能在沒有任何行為者識(shí)別出任何交流意圖的情況下完成。 例如，Sue可以將Jack的銀行財(cái)務(wù)報(bào)告書留在桌上，這樣當(dāng)Jack看到它時(shí)，盡管Sue不在附近，但仍然可以使Jack相信他的銀行賬目透支了。,識(shí)別說話者的illocutionary act的意圖是語(yǔ)言理解中的一個(gè)難題。因?yàn)橥瑯拥膌ocutionary act 可能產(chǎn)生不同的 illocutionary act。 例如，在句子Do you know the time?中可能產(chǎn)生表一般疑問的illocutionary act，或者詢問時(shí)

12、間的動(dòng)作，或者試圖告訴聽者時(shí)間的動(dòng)作，這取決于說話者的意圖。 語(yǔ)言中有許多方法可用于明確地表明意圖。利用明確執(zhí)行就是實(shí)現(xiàn)這一點(diǎn)的一種方法，雖然它將使語(yǔ)言變得非常正式和死板。另一種方法是使用please。如果我們把please加到這個(gè)句子中，它可以理解為一般疑問或者提供的意圖。不幸的是，這類明確的信號(hào)在英語(yǔ)中相對(duì)較少，因而從上下文來識(shí)別意圖是識(shí)別正確解釋過程中的一個(gè)重要問題。,語(yǔ)言交流需要協(xié)調(diào)和監(jiān)督 參與語(yǔ)言交流的多個(gè)行為者之間需要一些可協(xié)調(diào)他們的交談動(dòng)作和監(jiān)督他們是否理解的方法。在對(duì)話中，行為者利用各種技巧來表明他們理解對(duì)方所說的，例如： 諸如I understand之類的明確聲明 諸如OK之

13、類的簡(jiǎn)單確認(rèn) 其他策略，如重復(fù)先前的部分談話 例如，人們交換電話號(hào)碼時(shí)，典型地，第一個(gè)行為者說出號(hào)碼，然后其它的行為者重復(fù)這個(gè)號(hào)碼，最后第一個(gè)行為者確認(rèn)它。 對(duì)于兩個(gè)行為者有各種方法可用于確認(rèn)他們對(duì)所交流的事物取得一致意見。確認(rèn)彼此認(rèn)同對(duì)于任何對(duì)話都是一個(gè)重要的方面。,返回,17.3 認(rèn)知狀態(tài)的表示：信念 有很多方法可以用來表示代理的信念，本節(jié)主要介紹基于知識(shí)庫(kù)（KB）的信念空間模型。 用知識(shí)庫(kù)來表示代理的信念，即代理相信且僅相信KB中的事物。 缺點(diǎn)： 產(chǎn)生的是一個(gè)有限的代理，很難用于交流。例如，它無法表示關(guān)于其它行為者的信念的信息。 沒有自己的意識(shí)，因?yàn)樗荒軈^(qū)別它所相信的與那些它通過觀察認(rèn)

14、為是真的。因此，它很難利用感知進(jìn)一步了解世界。,信念空間（belief spaces） 把KB劃分為不同的區(qū)域，稱為信念空間。每個(gè)空間只是一個(gè)命題的集合，獨(dú)立地指明一個(gè)KB。每個(gè)空間均可以用于表示某個(gè)行為者的信念。 對(duì)于兩個(gè)派別之間的談話，我們可能需要兩個(gè)空間分別表示兩派各自的信念。但這不是一個(gè)非常直觀的單個(gè)行為者的信念模型，因?yàn)樗坪跏沟眯袨檎呖梢灾苯釉L問其它行為者的信念。相反地，如果所有的信念都是相對(duì)于我們正在構(gòu)造的這個(gè)行為者的會(huì)更好些。 謂詞BEL 謂詞BEL將一個(gè)行為者與一個(gè)信念空間聯(lián)系起來，并且如果該空間表示了這個(gè)行為者的信念的特性，則這個(gè)謂詞為真。利用這個(gè)謂詞，命題可以出現(xiàn)在其它空

15、間中，它允許我們定義一個(gè)嵌套的信念空間的層次結(jié)構(gòu)。,BEL(Jack1, BS1) BEL(Jack1, Dog(Fido1) BEL(Jack1, x ： Dog(x).Bark(x) BEL(Jack1, BEL(Sue1, Dog(Fido1) BEL(Jack1, BEL(Sue1, x ： Dog(x).Bark(x) BEL(Jack1, BEL(Sue1, x ： Dog(x).Bark(x) Fierce(x) 邏輯形式的敘述 使用信念空間的敘述,BS1: Jacks beliefs Dog(Fido1) x ： Dog(x).Bark(x) BEL(Sue1, BS2),BS

16、1:Jacks beliefs about Sues beliefs Dog(Fido1) x ： Dog(x).Bark(x) x ： Dog(x).Bark(x) Fierce(x),圖 17.2 信念空間中信念的表示 這是一個(gè)簡(jiǎn)單的例子。圖的兩邊所示的是相同的命題集合，使用了8.3中描述的表示信念的情態(tài)運(yùn)算符Bel，以及信念空間方法。這個(gè)KB聲稱空間BS1描述了Jack的信念，BS1中的命題有：Fido是狗，狗會(huì)叫。空間BS2描述了Sue的信念?？臻gBS2描述了Jack相信Sue相信的所有命題：Fido是狗，狗會(huì)叫，所有會(huì)叫的狗都是兇惡的。,明確信念與隱含信念 相信某事有兩種不同的含義：

17、 明確信念（explicit beliefs）：指那些羅列在其專屬空間中的命題。 隱含信念（implicit beliefs）：指那些可以通過某些推理過程從明確信念中推導(dǎo)出來的命題。 當(dāng)我們說某人相信某事時(shí)，比如Jack相信世界是平的，我們通常的意思是某事與明確信念的觀念極其相似，也許只允許極其有限的推理形式。但考慮另一種情況，即Jack有一個(gè)信念集合可以邏輯地推出世界是平的，盡管Jack從來沒有從這些推理中認(rèn)識(shí)到這一聯(lián)系。在這種情況中，雖然他有“世界是平的”這樣的隱含信念，但我們通常不會(huì)說Jack相信世界是平的。,區(qū)分“你所相信的”與“你相信其他人相信”，對(duì)交流的理解是很重要的，尤其是當(dāng)兩個(gè)

18、交談?wù)哂胁煌男拍顣r(shí)。 例：假設(shè)Jack認(rèn)為他的櫥柜上用的是把密碼鎖，但他相信Sue認(rèn)為這個(gè)櫥柜用的是把鑰匙鎖。當(dāng)Sue向他要鑰匙時(shí)，他應(yīng)該識(shí)別Sue的計(jì)劃是要打開櫥柜，盡管就他的觀點(diǎn)而言，用鑰匙打開他的櫥柜是一個(gè)錯(cuò)誤的計(jì)劃。 信念模型對(duì)于確定名詞短語(yǔ)的預(yù)期指代對(duì)象是十分重要的。 例：假設(shè)Sue知道某一本書-比如，The Revenge of Mrs.Smith-在Jack的辦公室里，但她相信Jack以為這本書在休息室的桌上。那么，如果Jack問她，Have you read the book on the table in the lounge?，她應(yīng)該意識(shí)到他指的是The Revenge

19、of Mrs.Smith，盡管Jack用于指代這本書的描述并不準(zhǔn)確。,信念嵌套與共享知識(shí) 行為者關(guān)于其它行為者的信念的信念在語(yǔ)言理解中起著重要的作用。問題是為了理解所有語(yǔ)言，需要多深的信念嵌套。 例：假定Jack相信當(dāng)Sue說外面在下雨時(shí)，Sue以為自己成功地欺騙了Jack。在這種情況中，Jack相信下列事情： Jack相信：沒下雨。 Jack相信Sue相信：沒下雨。 Jack相信Sue相信Jack相信：下雨了。 Jack和Sue都相信沒下雨，但Jack也相信Sue相信他以為下雨了，因?yàn)樗J(rèn)為Sue以為她的謊言成功了。,解決這個(gè)問題的一種方法是引入共享知識(shí)的概念。 共享知識(shí)（shared kn

20、owledge）是指所有行為者都知道并且知道對(duì)方也知道的信息。共享知識(shí)來自行為者所處的共同的背景和境況，并且包含了世界的一般知識(shí)（如:常見的動(dòng)作是如何做的，對(duì)象的標(biāo)準(zhǔn)類型層次分類，我們所生活的社會(huì)的一般事實(shí)，等等）?；ハ嗾J(rèn)識(shí)對(duì)方或有共同職業(yè)的行為者，由于他們之間的互相影響和他們?cè)谠擃I(lǐng)域中所受的教育，也具有相當(dāng)可觀的共享知識(shí)。 如果行為者僅利用共享知識(shí)來構(gòu)造他們的計(jì)劃，他們就可以確信這個(gè)計(jì)劃可以成功地被識(shí)別。因此，共享知識(shí)在成功的交流中起著重要的作用。然而，交談內(nèi)容中的個(gè)別信念卻可能起著中心作用，這些知識(shí)中的大部分運(yùn)用于理解他人的知識(shí)時(shí)，也將成為共享知識(shí)。,關(guān)于其它人的信念的知識(shí) 形式（Know

21、Ref）：你知道其它行為者知道某件事，但你并不知道他們知道的具體是什么。 例：Jack可能相信Sue知道她母親的名字，盡管Jack并不知道這個(gè)名字。 不能將這個(gè)情況簡(jiǎn)單地表示為將一個(gè)事實(shí)添加到恰當(dāng)?shù)男拍羁臻g中，因?yàn)镴ack不知道Sue的母親的名字，因而就不存在可以添加到恰當(dāng)空間中的形如 NameOf（Mother（Sue1），xxx）的公式。如果我們使用一個(gè)Skolem常量比如，Sk33 并把 NameOf（Mother（Sue1），Sk33）添加到Sue的信念空間中，它僅表明Sue相信她母親有名字，這根本不是正確的事實(shí)。在模型邏輯中，這等價(jià)于公式 1、Bel（Sue，$！x. NameOf（

22、Mother（Sue1），x）,在模型邏輯中，該問題的一般解決方法是允許量詞出現(xiàn)在信念運(yùn)算符的外面。 例： 公式1意味著Sue相信她母親有名字，而 2、$！x. Bel（Sue， NameOf（Mother（Sue1），x） 則意味著它確實(shí)知道這個(gè)名字是什么。 不幸的是，大部分知識(shí)表示法都用Skolem化來處理存在量詞，而在簡(jiǎn)單的Skolem化過程中，作用域覆蓋情態(tài)運(yùn)算符的量詞不會(huì)被保留。然而，我們可以通過創(chuàng)建這些Skolem和變量的信念空間來索引它們，從而獲得這些作用域的區(qū)別。 例：把對(duì)應(yīng)于公式1的事實(shí)添加到KB中，將產(chǎn)生一個(gè)基于信息空間BS2的Skolem（即，Jack相信Sue所相信的）

23、，并將得到事實(shí)： 3、NameOf（Mother（Sue1），Sk1BS2） 并將其添加到BS2中。,添加對(duì)應(yīng)于公式1的事實(shí)，將創(chuàng)建一個(gè)基于信念空間BS1的Skolem（即，Jack所相信的），并將 4、NameOf（Mother（Sue1），Sk2BS1） 添加到BS1中。 這種保留存在量詞作用域的方法必須有相應(yīng)的證明方法來驗(yàn)證存在性描述，并區(qū)分諸如Does Sue believe that her mother has a name?與Does Sue know her mothers name?的詢問。為此，推理系統(tǒng)必須能夠限制變量，以便它們僅匹配那些在恰當(dāng)?shù)男畔⒖臻g中定義的對(duì)象。 例：

24、假設(shè)公式1是斷言，并由此得到公式3添加到BS2中?，F(xiàn)在假設(shè)詢問公式2。利用這種標(biāo)準(zhǔn)公式，公式2將被翻譯成如下形式的詢問： 5、Bel（Sue，NameOf（Mother（Sue1），?x）,這將在BS2中得到詢問公式 NameOf（Mother（Sue1），?x）。但這將與公式3 （對(duì)應(yīng)于斷言1）合一。這個(gè)問題之所以產(chǎn)生是因?yàn)樽兞?x只能匹配BS1中定義的對(duì)象，但Sk1卻是在BS2中定義的。如果變量是按照空間索引的，問題就可以避免。 可以擴(kuò)展合一，使得在空間X中定義的變量只能匹配那些在可以訪問X的空間中定義的對(duì)象。這種可訪問關(guān)系將用信念空間的嵌套層次來定義。 例：在BS1中定義的常量在BS2中

25、是可訪問的，但反之不成立。,KBVariable Jack?XBS1?XBS2 BS1Constant SueMaryKBsucceedsucceed BS2sk1BS1succeedsucceed sk2BS2 failsucceed,圖17.3 根據(jù)信念空間索引的變量與常量的匹配 為了方便，我們可以定義一個(gè)新的運(yùn)算符KnowRef，用來表示一個(gè)對(duì)象知道唯一一個(gè)滿足某描述的對(duì)象，該對(duì)象用-表達(dá)式來表示。特別地， 6、KnowRef（A,xPx） $！y. Bel（A,（xPx）y） $！y. Bel（A, Py） 例：公式2就等價(jià)于 KnowRef（Sue1, xNameOf（Mother（

26、Sue1）,x）,形式（KnowIf）：知道某人知道某個(gè)事實(shí)是否為真，但行為者本身并不知道它是否為真。 例：Jack可能相信Sue知道她是否擁有Fido。這在模型邏輯中可以表示為信念的析取即，Jack相信Sue相信自己擁有Fido，或者，Sue相信自己不擁有Fido。 析取是在信念運(yùn)算符內(nèi)的 7、Bel(Sue1, Own(Sue1, Fido)Own(Sue1, Fido) 那么，Sue相信自己擁有Fido或者自己不擁有Fido。很顯然，Sue和其他任何理智的行為者都會(huì)相信這一點(diǎn)。 析取在信念運(yùn)算符外的情況 8、Bel(Sue1, Own(Sue1, Fido) Bel(Sue1, Own(

27、Sue1, Fido) 表示Sue知道自己是否擁有Fido。,公式8很難根據(jù)信念空間來表達(dá)。這里我們引進(jìn)一個(gè)新的運(yùn)算符KnowIf，它可以表達(dá)公式8中所表示的意思： 9、KnowIf(A, P)Bel(A, P)Bel(A, P) 利用信念空間將其化簡(jiǎn)為一個(gè)表達(dá)式，需要引進(jìn)額外的機(jī)制，以便使你可以明確地聲稱某個(gè)特定公式在某信念空間中。那么，根據(jù)這種析取關(guān)系，需要定義Know。然而，我們?cè)谶@種表示法中將直接使用KnowIf運(yùn)算符，而不再進(jìn)一步分解為更基本的形式。,形式（KnowHow）：知道某人知道某個(gè)動(dòng)作應(yīng)該怎么做，但行為者本身并不了解這些。 這是最難處理的，但從根本上說，卻又是比我們迄今為止

28、討論過的這兩種形式更重要得多。實(shí)際上，前面這兩種型號(hào)可以看作是關(guān)于其它人所知道的知識(shí)的有限的特定情況。 例如，你的立體聲壞了，而你又想得到如何修理方面的幫助。你知道某人，比如Joe立體聲修理點(diǎn)的Joe，可以幫助你。Joe知道如何修理立體聲并且可以告訴你你需要知道些什么。但你所知道的不足以知道用于表示這些建議的詞匯。然而，你確實(shí)有關(guān)于Joe的信念的信念，以及使你能夠推理出Joe就是那個(gè)可以詢問的人的知識(shí)。,對(duì)于這個(gè)問題，到目前為止僅使用了非常專用的和有限的方法。典型地，這些知識(shí)中嵌入了為該系統(tǒng)的預(yù)期用戶手工制作的啟發(fā)式知識(shí)。比如，對(duì)于每一個(gè)動(dòng)作集，系統(tǒng)可以明確地描述用戶要知道什么才足以執(zhí)行這個(gè)動(dòng)

29、作。那么該系統(tǒng)就可以引入那些只是部分描述了的動(dòng)作類。 例如，對(duì)于動(dòng)作集FixStereo可以定義一系列（可能只是部分）前提和效果，但該系統(tǒng)可能并沒有分解該類動(dòng)作。然后她可以聲稱，Joe知道如何執(zhí)行該FixStereo動(dòng)作。因此，給定一個(gè)目標(biāo)Working（S1），其中S1是一個(gè)立體聲。該系統(tǒng)可以找到FixStereo是相關(guān)的，因?yàn)樗男Чヅ溥@個(gè)目標(biāo)，但它不能分解這個(gè)動(dòng)作。那么就查找它認(rèn)為知道如何執(zhí)行這個(gè)動(dòng)作的行為者。 這種關(guān)系可以稱為KnowHow。,返回,17.4 認(rèn)知狀態(tài)的表示：愿望、意圖和計(jì)劃 在文獻(xiàn)中有許多術(shù)語(yǔ)看起來似乎與愿望、意圖有關(guān)，例如：計(jì)劃、目標(biāo)、需要和目的。本章節(jié)試圖為這些

30、術(shù)語(yǔ)提供定義，以便獲得建立對(duì)話代理模型時(shí)所必需的概念范圍。當(dāng)然，并不是所有研究人員都會(huì)以這里定義的這種方式來使用這些術(shù)語(yǔ)，但這里給出的是比較一般的解釋。 愿望（desire）與意圖（intention）的區(qū)別 愿望反映世界的什么狀態(tài)會(huì)使這個(gè)行為者覺得愉快或不愉快。典型地，一個(gè)行為者有許多愿望，它們通常是相互矛盾的。相反地，意圖一般是不矛盾的。 例：你可能希望休息一天到海邊去。但另一方面，你可能也希望你的期終考試能考好，并且要做到這點(diǎn)你必須呆在家里學(xué)習(xí)。,這兩個(gè)愿望相互矛盾，你的行為必須是這兩者的某種折衷結(jié)果。你不可能同時(shí)既打算去海邊又打算留在家里學(xué)習(xí)。意圖與行為的關(guān)系緊密，因此你每次只能作其中

31、一件事。 愿望似乎是下意識(shí)地產(chǎn)生的，并使你能對(duì)特定的狀態(tài)作出評(píng)價(jià)。而意圖來自于對(duì)動(dòng)作必須遵循的過程的深思熟慮。再看一看圖17.1，你可以看到愿望和信念被看作是某個(gè)思考過程的輸入，這個(gè)思考過程最終提供了動(dòng)作的一種執(zhí)行過程，作為你的意圖。 動(dòng)作意圖與指向未來的意圖 動(dòng)作的意圖（intention in action）：指的是故意行為的性質(zhì)。 指向未來的意圖（future-directed intention）：反映的是對(duì)未來的行為作出的決定。,例1：你騎自行車是無意撞到某人與你有意撞到某人，這兩種情況是有很大區(qū)別的。后一種情況，你可能會(huì)因襲擊而被起訴；但前一種情況則只是一個(gè)不幸的事故。 例2：如果

32、你經(jīng)過深思熟慮決定忘卻考試到海邊去，那么你就采納了去海邊這個(gè)指向未來的意圖。 具有指向未來的意圖往往導(dǎo)致故意的行為。 例3：因?yàn)槟愦蛩闳ズ＿?，那么你可能故意地選擇騎自行車去（我們希望避免步行）。但指向未來的意圖不是必須實(shí)現(xiàn)的。當(dāng)你走出自行車棚的時(shí)候，可能正巧碰見你的朋友們正要去學(xué)習(xí)，你覺得很內(nèi)疚以至于改變了你的想法。在這種情況中，你可能依然有去海邊的意圖，但你放棄它了，你現(xiàn)在有了學(xué)習(xí)的意圖。,運(yùn)算符Intend Intend把行為者與他打算要做的動(dòng)作聯(lián)系起來。下面給出了合理的行為者所具有的意圖應(yīng)該滿足的一些要求： 合理性限制1-一個(gè)行為者不能打算去做兩個(gè)被認(rèn)為是相互排斥的動(dòng)作。 合理性限制2-

33、一個(gè)行為者不能打算去做一個(gè)被認(rèn)為是不可能完成的動(dòng)作。 要在形式邏輯中表達(dá)這些限制是很復(fù)雜的。相反地，我們將依賴于計(jì)劃過程和計(jì)劃的選擇，從程序上保證除非意圖被認(rèn)為是可完成的否則不予采納。,計(jì)劃（plan） 例：Jack has a plan for robbing the bank. 可能有兩種完全不同的意思： 。Jack intends to rob the bank. “having a plan”似乎是描述Jack的指向未來意圖的一種方法； 。Jack has worked out a scheme by which someone could rob the bank. “having

34、a plan”似乎則是說Jack原則上知道如何搶銀行。 在后面這種意思中，一個(gè)計(jì)劃指明了一個(gè)可以實(shí)現(xiàn)某個(gè)特定效果的動(dòng)作系列，就像是一個(gè)食譜。一個(gè)食譜給出了一些系列的動(dòng)作（烹調(diào)步驟），它們將導(dǎo)致某個(gè)結(jié)果（一道菜）。有一個(gè)食譜并不意味著你打算做這道菜。,菜譜式計(jì)劃（plan-as-recipe） 菜譜式的計(jì)劃的含義似乎與AI文獻(xiàn)中計(jì)劃的概念一致，正如第15章中描述的：當(dāng)一個(gè)制訂計(jì)劃的系統(tǒng)構(gòu)造出一個(gè)計(jì)劃時(shí)，并不意味著行為者必須執(zhí)行這個(gè)計(jì)劃。相反地，這個(gè)工作只是簡(jiǎn)單地找到一個(gè)可以實(shí)現(xiàn)這個(gè)目的狀態(tài)的“菜譜”。注意，與“have a plan”的這兩個(gè)概念相對(duì)應(yīng)，術(shù)語(yǔ)目標(biāo)也有兩個(gè)概念。這其中一種含義中目標(biāo)

35、很像是意圖。在另外一種含義中目標(biāo)僅僅作為菜譜式計(jì)劃的結(jié)果狀態(tài)的名字。 有了這些約定之后，為這些不同的術(shù)語(yǔ)選擇一些解釋。術(shù)語(yǔ)計(jì)劃（plan）將始終用于菜單式計(jì)劃這個(gè)意思。換句話說，一個(gè)計(jì)劃就是一個(gè)具有某特定效果的動(dòng)作序列，這個(gè)效果稱為該計(jì)劃的目標(biāo)。,計(jì)劃的目標(biāo)（plans goal）既可以是一個(gè)由該計(jì)劃的動(dòng)作序列實(shí)現(xiàn)的命題，也可以是一個(gè)將要由該計(jì)劃的動(dòng)作序列完成的動(dòng)作。因此，術(shù)語(yǔ)計(jì)劃識(shí)別（plan recognition)指的是這樣一個(gè)任務(wù)，它構(gòu)造一個(gè)菜譜式計(jì)劃用于解釋被觀察的動(dòng)作序列。 意圖結(jié)構(gòu)（intentional structure） 為了避免混淆，術(shù)語(yǔ)計(jì)劃將永不用于指向未來的意圖這個(gè)意

36、思。相反地，我們將使用行為者的意圖結(jié)構(gòu)這一術(shù)語(yǔ)。一個(gè)行為者的意圖結(jié)構(gòu)，如同它的信念和愿望，是它的思想狀態(tài)的一部分。當(dāng)該行為者著手執(zhí)行一個(gè)計(jì)劃時(shí)，該意圖結(jié)構(gòu)產(chǎn)生了；并且，該計(jì)劃的結(jié)構(gòu)與得到的意圖結(jié)構(gòu)將十分一致。,例：假設(shè)Jack知道一個(gè)非常單的去海邊的計(jì)劃，就是騎他的自行車去。這個(gè)計(jì)劃僅僅是一系列信念，它表明如果Jack朝正確的方向騎，他將到達(dá)海邊。后來，Jack有了去海邊的愿望。,Bel(Jack1, Intends(Jack1, RideBike(Jack1)& Generates(RideBike(Jack1), Intends(Jack1, GoToBeach(Jack1) & GoTo

37、Beach(Jack1) Intends(Jack1, Generates(RideBike(Jack1), GoToBeach(Jack1) 知道一個(gè)去海邊的計(jì)劃打算去海邊,圖17.4 Jack has a plan to go the beach的兩種解釋 注意，“騎車去海邊”這個(gè)意圖必須包括這兩個(gè)動(dòng)作以及它們之間的產(chǎn)生關(guān)系。如果你刪除了騎自行車這個(gè)動(dòng)作，那么Jack將打算去海邊，但沒有特定的到達(dá)那里的,方法。如果你刪除了去海邊這一動(dòng)作，那么Jack將打算騎自行車，但并不是必須最終到達(dá)海邊。如果你刪除了這個(gè)產(chǎn)生關(guān)系，那么Jack可能分別完成每一個(gè)動(dòng)作，比如先騎自行車然后走路去海邊。 “知道

38、一個(gè)計(jì)劃”與“有一系列意圖”之間的區(qū)別在本文中有時(shí)將被忽略，因?yàn)橛弥R(shí)表示法表示它們的一種自然的方法是對(duì)它們采用非常相似的表示法。 圖17.5對(duì)比了Jack知道一個(gè)菜譜式計(jì)劃與Jack有一個(gè)意圖的表示法。它使用的是第15章提出的圖表示法，并把該圖放在一個(gè)空間中，表示Jack認(rèn)為該計(jì)劃是可行的。另一方面，表示意圖結(jié)構(gòu)的一種自然的方法也是使用一種新型的空間，它作為Intend運(yùn)算符的參數(shù)。產(chǎn)生混淆是因?yàn)槌丝臻g解釋的不同外，在這兩種情況種都采用了相同的計(jì)劃圖。,BS1: Jacks beliefs BS1: Jacks beliefs ValidPlan(PS1) Intend(Jack1, IS

39、1) PS1: A plan to accomplish IS1: Jacks intentional state GoToBeach(Jack1) generates generates GoToBeach(Jack1) GoToBeach(Jack1),RideBike(Jack1),RideBike(Jack1),Jack知道一個(gè)去海邊的計(jì)劃 Jack打算去海邊 圖17.5 知道一個(gè)計(jì)劃與打算實(shí)施一個(gè)計(jì)劃,小結(jié) 下面列出的是本章節(jié)中討論的所有概念以及它們?cè)谖覀兊腂DI模型中的相互關(guān)系。 信念(belief)：運(yùn)算符Bel及信念空間。 指向未來的意圖(futrue-directed int

40、ention)：運(yùn)算符Intend及意向的狀態(tài)空間。 動(dòng)作意圖(intention-in-action)：執(zhí)行一個(gè)動(dòng)作，因?yàn)樗窃谠撘庀蚩臻g中。 菜譜式計(jì)劃(plan-as-recipe)：一個(gè)計(jì)劃，在計(jì)劃空間中典型地表示為一個(gè)計(jì)劃圖。 在意圖意義上有一個(gè)計(jì)劃(having a plan in the intentional sense)：與指向未來的意圖相同。 (行為者的)目標(biāo)(goal(of an agent)：一個(gè)指向未來的意圖。 (計(jì)劃的)目標(biāo)(goal(of a plan)：計(jì)劃圖中的一個(gè)最終效果。 愿望(desires)：未分析的；在創(chuàng)造目標(biāo)和評(píng)價(jià)計(jì)劃的決策過程中意識(shí)到。 需要(w

41、ants)：愿望的同義詞。,返回,17.5 說話動(dòng)作與交談動(dòng)作 正如前面描述的，說話動(dòng)作就是由談話來完成的動(dòng)作，并且我們希望能用第15章中提出的動(dòng)作模型來表示它們。然而，由于交談動(dòng)作本質(zhì)上是多行為者的，而且它們的效果是根據(jù)行為者認(rèn)知狀態(tài)的改變來定義，因此較為復(fù)雜。下面先考慮其中的一些復(fù)雜性。 對(duì)制定計(jì)劃而言，最重要的是預(yù)期的perlocutionary act，因?yàn)樗鼈兠枋隽诵袨檎哒f話時(shí)所具有的預(yù)期效果。例如，行為者將根據(jù)如何使其它行為者確信某事實(shí)為真或者如何使其它的行為者確信必須執(zhí)行某一動(dòng)作來構(gòu)造一個(gè)計(jì)劃。為了完成這樣的一個(gè)動(dòng)作，該行為者將執(zhí)行一個(gè)illocutionary act（例如主張

42、或要求），并希望其他行為者也做這件事，以便完成這個(gè)perlocutionary act。當(dāng)然，為了完成這個(gè)illocutionary act，行為者將執(zhí)行一個(gè)包括說出恰當(dāng)?shù)木渥釉趦?nèi)的locutionary act。,這里研究的動(dòng)作模型也涉及交談動(dòng)作，它與由illocutionary act產(chǎn)生的perlocutionary act是一致的。例如，交談動(dòng)作ConvinceByInform涉及通過敘述某一命題為真使其它行為者相信它。考慮這個(gè)交談動(dòng)作的成功執(zhí)行應(yīng)涉及什么是非常有益的。 例：考慮對(duì)于Sam成功地ConvinceByInform Helen下雨了，必須為真的步驟是： 1）Sam出于告訴H

43、elen事實(shí)的意圖說Its raining 2）Helen聽到句子Its raining并識(shí)別出Sam想告訴她這一事實(shí)的意圖。因此，Helen斷定Sam打算讓她相信下雨了 3）Helen考慮下雨了這一事實(shí)的證據(jù)，包括Sam告訴她下雨了這一事實(shí) 4）Helen終于相信下雨了 所有這些步驟都是必不可少的。為了證明這一點(diǎn)，考慮刪除任意一個(gè)步驟。, 刪除步驟1中的locutionary act，那么Sam沒說任何東西，因此必定沒有告訴Helen下雨了。 刪除步驟1中的意圖條件，那么得到的是Sam只是在隨意地說話（比如，Sam處于催眠狀態(tài)）這樣一個(gè)不可信的情節(jié)。即使Helen被騙了，并執(zhí)行了剩下的所有步

44、驟，此后Sam仍然可以否認(rèn)她告訴Heln說下雨了。他可以聲稱他并不知道自己說了什么，因此Helen不能給Sam說的話附上任何含義。 刪除步驟2中Helen聽到這句話這個(gè)條件，那么Helen根本沒聽到這句話，因此不可能執(zhí)行剩下的步驟。 刪除步驟2中Helen識(shí)別出Sam的意圖這一條件，那么Helen雖然聽到Sam說話，但不明白Sam為什么要對(duì)自己說這些，即她無法識(shí)別這個(gè)illocutionary act。即使她執(zhí)行了剩下的的那些步驟，并最終相信下雨了，她仍可以否認(rèn)Sam告訴過她這一事實(shí)。, 刪除了步驟3，那么盡管Helen識(shí)別出Sam試圖告訴她某事，Helen完全忽略了Sam告訴她的信息。這說起

45、來至少是不禮貌的，但假設(shè)情況是這樣，即使她相信下雨了，這種信念都將與Same所說的無關(guān)。 刪除步驟4，那么盡管Sam告訴Helen下雨了，但卻沒能使Helen相信這一點(diǎn)。在這種情況中，illocutionary act Inform成功了，但交談動(dòng)作ConvinceByInform卻失敗了。 盡管對(duì)于說話動(dòng)作的所有三個(gè)層次可以有不同的動(dòng)作表示法，但為行為者的一般推理提供最重要聯(lián)系的卻是交談動(dòng)作。圖17.6所示的是任何交談模型中都需要的兩個(gè)基本交談動(dòng)作的定義，它們對(duì)應(yīng)于簡(jiǎn)單的Inform和Request。,The Action Class ConvinceByInform(e): Roles:

46、Speaker, Hearer, Prop Constrains: Agent(Speaker), Agent(Hearer), Proposition(Prop), Bel(Speaker, Prop) Proconditions: At(Speaker, Loc(Hearer) Effects: Bel(Hearer, Prop) The Action Class MotivateByRequest (e): Roles: Speaker, Hearer, Act Constrains: Agent(Speaker), Agent(Hearer), Action(Act) Procondi

47、tions: At(Speaker, Loc(Hearer) Effects: Intend(Hearer, Act),圖17.6 兩個(gè)交談動(dòng)作的定義 這些定義建立在行為者是誠(chéng)實(shí)的這一假設(shè)之上。例如，對(duì)ConvinceByInform的一個(gè)限制是說話者相信所主張的命題。,當(dāng)然，誠(chéng)實(shí)這個(gè)條件在處理諸如說謊的動(dòng)作時(shí)應(yīng)被丟棄，但這樣復(fù)雜的動(dòng)作超出了我們可能建立的大部分對(duì)話代理的需要。在此不討論這個(gè)包含illocutionary act的分解。與理解非語(yǔ)法化動(dòng)作有關(guān)的問題將推遲到17.9中討論。,返回,17.6 交談動(dòng)作的設(shè)計(jì) 例：考慮Jack打算買火車票時(shí)的情景。 假設(shè)Jack并不知道車票的確切價(jià)格

48、，但他知道一個(gè)購(gòu)買的計(jì)劃，這個(gè)計(jì)劃包括下列兩個(gè)子步驟（根據(jù)圖15.4中Buy的定義）： 10、Give（Jack1, Clerk1, Price（Ticket1） 11、Give（Clerk1, Jack1, Ticket1） Jack不能簡(jiǎn)單地將這個(gè)計(jì)劃直接作為一系列意圖。 問題: 11涉及到其它行為者的動(dòng)作，這不能由Jack來直接計(jì)劃。然而這一步驟又是Jack計(jì)劃的重要部分，因此不能將其簡(jiǎn)單地忽略。 實(shí)際上，有一些作為11的組成部分的事物是Jack必須做的。因?yàn)椤敖o”是一個(gè)多行為者的動(dòng)作，它需要兩個(gè)行為者：一個(gè)供應(yīng)，另一個(gè)接受。因此，我們可以用“給”動(dòng)作中屬于Jack的那部分動(dòng)作來取代11

49、。,解決方法：動(dòng)作運(yùn)算符MyPartOf MyPartOf需要一個(gè)行為者和一個(gè)涉及多行為者的動(dòng)作A，并產(chǎn)生一個(gè)動(dòng)作，該動(dòng)作是這個(gè)行為者的任務(wù)或者是A的一部分。 例：動(dòng)作MyPartOf(Jack1,Give(Clerk1, Jack1, Ticket1)可能將包括Jack伸出手，等著車票，然后抓住車票。 動(dòng)作MyPartOf(Clerk1,Give(Clerk1, Jack1, Ticket1)可能將包括把車票放在Jack的手里，并放開它。 這個(gè)函數(shù)也可用于單個(gè)行為者的動(dòng)作。如果指定的行為者就是該動(dòng)作的行為者，那么它是一個(gè)等價(jià)函數(shù)。 例：MyPartOf(Jack1,Grasp(Jack1,

50、Ticket1) = Grasp(Jack1, Ticket1) 如果行為者不同，那么這個(gè)函數(shù)表示某動(dòng)作并不妨礙其它行為者也做這個(gè)動(dòng)作。,根據(jù)這個(gè)計(jì)劃得到的意圖可能要做下列動(dòng)作： 12、MyPartOf(Jack1, Give(Jack1, Clerk1, Price(Ticket1) 13、MyPartOf(Jack1, Give(Clerk1, Jack1, Ticket1) 這些動(dòng)作至少可能是Jack打算要做的，但這仍然不是一個(gè)非常有用的意圖系列。尤其是，如果售票員沒完成屬于他的那部分動(dòng)作，那么即使Jack做了自己的那部分動(dòng)作也是沒有用的。到目前為止，Jack的意圖中沒有涉及到如何使售票

51、員參與到他的計(jì)劃中來的問題。為此，Jack必須與售票員交流并使他也正好有這個(gè)意圖。 問題：由于Jack不知道車票的價(jià)格，因此他可能根本無法完成第一個(gè)動(dòng)作。 這揭示了一個(gè)一般的動(dòng)作限制，這一點(diǎn)在此之前一直被忽略的。無論執(zhí)行什么動(dòng)作，行為者必須知道該動(dòng),作的參數(shù)值。對(duì)于行為者必須知道參數(shù)值的動(dòng)作，這個(gè)限制可以看作是這個(gè)動(dòng)作的一個(gè)明確的前提集。這有時(shí)稱為知識(shí)前提（knowledge preconditions）。本例中明確的前提是： 14、KnowRef（Jack1, x（Price（Ticket1）= x） 那么這將稱為Jack的一個(gè)新目標(biāo)。 直觀地，實(shí)現(xiàn)這個(gè)目標(biāo)有很多種的方法。它可以查閱車費(fèi)一覽

52、表，或者他可以詢問某個(gè)知道這個(gè)價(jià)格的人。后面這種方法涉及語(yǔ)言，因此本例將采用后者。 解決方法：ConvinceByInform動(dòng)作 假設(shè)Jack有理由相信由售票員執(zhí)行ConvinceByInform動(dòng)作可以實(shí)現(xiàn)他的目標(biāo)。為了使售票員做這個(gè)動(dòng)作，Jack可能打算請(qǐng)求售票員做這個(gè)Inform動(dòng)作。但他請(qǐng)求售票員做的動(dòng)作是什么呢?由于Jack并不知道車票的價(jià)格，他無法表達(dá)售票員必須做的這個(gè)動(dòng)作。這與我們?cè)诒磉_(dá)“某人知道某事，,但我們卻不知道事情是什么”這類事實(shí)時(shí)遇到的是同樣的問題。解決方法是引入兩個(gè)額外的用于計(jì)劃的Inform動(dòng)作，即使用前面引入的如圖17.7所示的KnowRef和KnowIf運(yùn)算符

53、。,The Action Class ConvinceByInformRef(e): Roles: Speaker, Hearer, Pred Constrains: Agent(Speaker), Agent(Hearer), UnaryPred(Predx), KnowRef(Speaker, Predx) Proconditions: At(Speaker, Loc(Hearer) Effects: KnowRef(Hearer, Predx) The Action Class MotivateByInformIf (e): Roles: Speaker, Hearer, Prop Co

54、nstrains: Agent(Speaker), Agent(Hearer), Proposition(Prop), KnowIf(Speaker, Prop) Proconditions: At(Speaker, Loc(Hearer) Effects: KnowIf(Hearer, Prop),圖17.7 可獲得信息的ConvinceByInform的變體,小結(jié)：迄今為止，Jack的計(jì)劃存在兩個(gè)問題： 沒理由指望售票員會(huì)去完成計(jì)劃中所需的屬于他的那部分動(dòng)作； Jack也沒有足夠的信息來完成計(jì)劃中屬于他自己的那部分動(dòng)作。 如果Jack可以影響售票員的意圖結(jié)構(gòu)，使售票員告訴他車票的價(jià)格并且參

55、與到“買”這個(gè)動(dòng)作中來，那么這兩個(gè)問題都可以解決。 尤其是，Jack需要售票員做下列動(dòng)作： 15、MyPartOf（Clerk1, ConvinceByInformRef（Clerk1, Jack1, x（Price（Ticket1）= x） 16、MyPartOf（Clerk1, Give（Jack1, Clerk1, Price（Ticket1） 17、MyPartOf（Clerk1, Give（Clerk1, Jack1, Ticket1）,解決方法：MotivateByRequest動(dòng)作 Jack無法僅憑自己的意愿使這些動(dòng)作發(fā)生，但他可以嘗試使售票員獲知完成這些動(dòng)作的意圖。具體地，他可

56、以針對(duì)其中的每一個(gè)動(dòng)作分別執(zhí)行MotivateByRequest動(dòng)作。首先，他可以計(jì)劃執(zhí)行下面的動(dòng)作： 18、MotivateByRequest(Jack1, Clerk1, ConvinceByInformRef(Clerk1, Jack1, x(Price(Ticket1)= x) 如果成功，將達(dá)到下面這個(gè)效果： 19、Intend(Clerk1, ConvinceByInformRef(Clerk1, Jack1, x(Price(Ticket1)= x) 注意，這些動(dòng)作實(shí)際上都需要加上一個(gè)MyPartOf運(yùn)算符，用于表明誰做了什么，但目前當(dāng)意思清楚的時(shí)候我們將去掉這種形式。,18這個(gè)請(qǐng)

57、求動(dòng)作可以通過一個(gè)諸如詢問What is the price of a ticket to Toronto？的語(yǔ)法動(dòng)作來實(shí)現(xiàn)。類似地，Jack可能試圖通過提出另外兩個(gè)請(qǐng)求來使售票員做動(dòng)作16和17。但是這將得到非常蹩腳的對(duì)話，例如： What is the price of a ticket to Toronto? Please take this money I am offering you. Please give me a ticket. 如果每次兩個(gè)行為者相互作用時(shí)都必須這么做的話，恐怕很少能真正完成的。但Jack是怎樣知道他不需要說這么多的呢？答案就在于售票員也是一個(gè)智能的行為者并

58、且他將使用世界的一般知識(shí)來理解動(dòng)作。而且，根據(jù)售票員所觀察到的動(dòng)作，他將能夠識(shí)別出Jack正打算做什么。這方面將在下一個(gè)章節(jié)中更具體地探究。但讓我們先來考慮一些Jack可以依靠售票員來完成的可能的推理思路。,假定對(duì)于如“買”這樣的一般動(dòng)作，他們有共享知識(shí)，Jack可以依賴售票員運(yùn)用這些信息來理解他的動(dòng)作。 例1：假定知道價(jià)格后Jack說OK, please give me a ticket。這是針對(duì)動(dòng)作17的請(qǐng)求。Jack將依賴售票員自己去完成下列過程：售票員運(yùn)用他們共有的關(guān)于購(gòu)買東西的知識(shí)進(jìn)行推理后，也期待著動(dòng)作16的發(fā)生并形成恰當(dāng)?shù)囊鈭D。 例2：Jack可以只說OK，然后把錢遞過去。在這種

59、情況中，Jack依賴售票員自己發(fā)現(xiàn)他正在做購(gòu)買計(jì)劃中屬于他的那部分動(dòng)作，并且期待著售票員執(zhí)行屬于售票員的那部分動(dòng)作。然而，這類例子已經(jīng)離開了語(yǔ)言，因此不再繼續(xù)下去。 例3：Jack可能僅僅表明了購(gòu)買車票的更抽象的目標(biāo)，而依賴售票員自己去識(shí)別細(xì)節(jié)。他可以說OK, Id like to buy one。這個(gè)句子表明Jack的意圖是完成這個(gè)聯(lián)合動(dòng)作，并依賴售票員自己獲得所需的補(bǔ)充意圖以便成功該動(dòng)作。,總之，在所有這些推理之后Jack可能打算執(zhí)行的最終動(dòng)作序列可能如下： 20、MotivateByRequest(Jack1, Clerk1, ConvinceByInformRef(Clerk1, Jack1, x(Price(Ticket1)= x) 21、MyPartO