此文用簡(jiǎn)潔的形式來(lái)描述一個(gè)規(guī)劃推理算法。我們將用來(lái)生成期望的規(guī)劃結(jié)構(gòu)稱(chēng)為“E-plan”。一般來(lái)說(shuō)，系統(tǒng)必須維護(hù)很多的“E-plan”來(lái)處理歧義，雖然這個(gè)算法假定系統(tǒng)最開(kāi)始只有一個(gè)“E-plan”。將“E-plan”擴(kuò)展為一個(gè)集合是很簡(jiǎn)單的，新的算法仍然需要分解鏈，但同時(shí)檢查中間的行為-結(jié)果和行為-前提的聯(lián)系。

在描述這個(gè)算法之前，有必要先定義一些術(shù)語(yǔ)。具體來(lái)說(shuō)，P這個(gè)“E-plan”中已經(jīng)與邏輯表達(dá)式匹配的節(jié)點(diǎn)稱(chēng)為已識(shí)別節(jié)點(diǎn)，而沒(méi)有與邏輯表達(dá)式直接匹配的節(jié)點(diǎn)稱(chēng)為期望節(jié)點(diǎn)。期望節(jié)點(diǎn)還可以進(jìn)一步分為：

A-set(P)——描述行為的期望節(jié)點(diǎn)

P-set(P)——描述能夠使一個(gè)行為發(fā)生的那些狀態(tài)的期望節(jié)點(diǎn)

E-set(P)——描述一個(gè)行為的結(jié)果的那些期望節(jié)點(diǎn)

這些節(jié)點(diǎn)是很有用的，因?yàn)樗鼈儼?guī)劃中最可能匹配新句子的那些節(jié)點(diǎn)。同時(shí)，要注意的是P-set和E-set常常交叉，一個(gè)狀態(tài)可能是一個(gè)行為的結(jié)果，也可能是另一個(gè)行為的前提條件。

例如，考慮圖1 中的規(guī)劃，這個(gè)規(guī)劃是一個(gè)片段。因?yàn)檫厴?biāo)記可以根據(jù)上下文來(lái)確定，所以圖中沒(méi)有標(biāo)出來(lái)。換言之，兩個(gè)行為之間的邊是“has-as-step”邊，從狀態(tài)到行為之間的邊稱(chēng)為“enable”邊，從行為到狀態(tài)之間的邊稱(chēng)為“has-effect”邊。節(jié)點(diǎn)的標(biāo)記說(shuō)明了節(jié)點(diǎn)的內(nèi)容，但是節(jié)點(diǎn)的角色值和等價(jià)性的細(xì)節(jié)沒(méi)有標(biāo)出來(lái)。節(jié)點(diǎn)“GOTO-CLERK1”與句子12b“She walked up to the ticket clerk”(她走向售票員）的邏輯形式相匹配。給定這個(gè)規(guī)劃，A-set包括描述“PURCHASE-TICKET1”和“BUY-TICKET1”的那些節(jié)點(diǎn)，P-set包括描述狀態(tài)“OWNS-MONEY1”，“AT-LOC-CLERK1”和“CLERK-HAS-TICKET1”的那些節(jié)點(diǎn),E-set包括“AT-LOC-CLERK1”，“OWNS-TICKET1”,“CLERK-HASMONEY1”，“NOT-OWNS-MON-Y1”和“NOT-CLERK-HAS-TICKET1”的那些節(jié)點(diǎn)。

圖1 篇章12的“E-plan”的一個(gè)片段

給定一個(gè)規(guī)劃P，擴(kuò)展這個(gè)規(guī)劃P涉及到將A-set中的所有行為和這些行為的分解都加到規(guī)劃P中。這個(gè)動(dòng)作可以采用一種寬度優(yōu)先的方式用于前面描述的分解鏈推理。例如，擴(kuò)展圖1中的這個(gè)規(guī)劃，將增加一個(gè)分解“BUY-TICKET1”、增加兩個(gè)行為“GIVE-CLERK-MONEY1”和“GIVE-SUETICKET1”，還會(huì)增加這些行為的前提和結(jié)果狀態(tài)。行為“PURCHASE-TICKET1”也在A(yíng)-set中，但是由于它已經(jīng)被分解了，所以沒(méi)有再擴(kuò)展。

基于上面的這些概念，我們可以對(duì)這個(gè)算法進(jìn)行描述。一旦將一個(gè)行為加入到規(guī)劃中，其所有前提和結(jié)果都必須被包括進(jìn)去，并在前提、結(jié)果與行為之間建立合適的聯(lián)系。另外，A-set，P-set和E-set 都必須用新的信息更新。根據(jù)這個(gè)新句子是描述了一個(gè)行為、狀態(tài)還是目標(biāo)的不同，算法接受三類(lèi)不同的輸入。這個(gè)算法能夠分別處理每一種情況。