專利名稱：一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法。
背景技術(shù)：
智能規(guī)劃是人工智能技術(shù)的主要分支之一，涉及如何運用智能技術(shù)科學(xué)地作用于現(xiàn)實世界，實現(xiàn)輔助人類執(zhí)行任務(wù)或自動化的完成指定任務(wù)等功能。對于規(guī)劃命題的研究最早起始于1971年的STRIPS規(guī)劃描述語言，此后在1989年出現(xiàn)了動作描述語言ADL，改進(jìn)了 STRIPS在條件效果處理等方面的不足，而規(guī)劃領(lǐng)域定義語言TODL則最早出現(xiàn)于1998年的國際規(guī)劃競賽上，相比于早期的規(guī)劃定義方法，PDDL具有更加強(qiáng)大的語法和邏輯定義功能，具有更大的發(fā)展前景。在此后的時間里，國際規(guī)劃組織通過IPC競賽的方式連續(xù)推出了若干TODL的改進(jìn)版本，先后在時序、不確定性、偏好等方面提供了支持，使得TODL成為一種真正有可能將智能規(guī)劃方法用于實際問題解決的邏輯定義語言?，F(xiàn)實世界的應(yīng) 用系統(tǒng)往往是綜合性的智能系統(tǒng)或決策支持系統(tǒng)，負(fù)責(zé)對整個應(yīng)用的管理和不同任務(wù)的執(zhí)行、監(jiān)視和控制等。智能規(guī)劃系統(tǒng)一般以獨立模塊的形式包含于整個應(yīng)用系統(tǒng)之中，其中的roDL文件用于定義完成具體任務(wù)所需要的智能規(guī)劃行為、調(diào)度方法等內(nèi)容，而其中的算法計算部分則根據(jù)roDL的描述生成具體規(guī)劃步驟。在應(yīng)用系統(tǒng)中，無論是規(guī)劃的主體、客體還是規(guī)劃過程、條件等內(nèi)容本身，都不可避免地歸屬于某種知識的范疇，特別是對于大型應(yīng)用系統(tǒng)，一般都會有比較復(fù)雜的體系結(jié)構(gòu)和知識庫，對于知識管理的復(fù)雜性和可維護(hù)性要求較高。在建立智能規(guī)劃模型與方法的過程中，應(yīng)用系統(tǒng)與智能規(guī)劃系統(tǒng)之間的知識結(jié)構(gòu)與知識內(nèi)容只有做到暢通傳遞，才能使得彼此間實現(xiàn)信息的共享。應(yīng)用系統(tǒng)需要了解智能規(guī)劃系統(tǒng)中知識的定義和表示方式，這樣才能夠做到進(jìn)一步的信息互通，而智能規(guī)劃系統(tǒng)也需要根據(jù)應(yīng)用系統(tǒng)中所包含的專家系統(tǒng)等專用系統(tǒng)所提供的領(lǐng)域知識和狀態(tài)診斷、條件判斷等信息，及時調(diào)整自己的規(guī)劃步驟和調(diào)度節(jié)奏，做到最優(yōu)化的規(guī)劃處理。而實際應(yīng)用系統(tǒng)的知識結(jié)構(gòu)與知識內(nèi)容與智能規(guī)劃系統(tǒng)的知識結(jié)構(gòu)與知識內(nèi)容兩者之間一般是相互獨立的體系，不能實現(xiàn)共享。因此，應(yīng)用系統(tǒng)對于智能規(guī)劃系統(tǒng)中利用PDDL所表示和定義的知識體系，迫切需要找到一種方法實現(xiàn)知識的有效傳遞。

發(fā)明內(nèi)容
本發(fā)明所要解決的技術(shù)問題是克服現(xiàn)有智能規(guī)劃系統(tǒng)與實際應(yīng)用系統(tǒng)在知識處理和知識表示方面的差異，提供一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法，利用該方法后，實際的應(yīng)用系統(tǒng)能直接提取和利用智能規(guī)劃系統(tǒng)中的知識結(jié)構(gòu)與知識內(nèi)容，形成方便操作和使用的知識表示形式。本發(fā)明解決上述技術(shù)問題所采用的技術(shù)方案為:建立一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法，其特征在于:包括如下步驟:步驟1、讀取與應(yīng)用系統(tǒng)相關(guān)的roDL領(lǐng)域定義文件；在本發(fā)明中，可以兼容已出現(xiàn)的各種不同版本的roDL規(guī)劃定義語言，例如包括roDLl.2、1.7,3.0,以及NADL+，NPDDL,PPDDL等，根據(jù)不同版本TODL的定義獲取其領(lǐng)域定義文件；步驟2、解析步驟I讀取的TODL領(lǐng)域定義文件，提取領(lǐng)域描述信息、規(guī)劃行為、復(fù)合行為、公理性約束(根據(jù)領(lǐng)域描述信息判定應(yīng)用系統(tǒng)規(guī)劃的主體)；步驟3、在步驟2基礎(chǔ)上，如果獲得的領(lǐng)域描述信息中沒有包含應(yīng)用系統(tǒng)將要規(guī)劃的主體，則創(chuàng)建一個該主體，創(chuàng)建的主體至少能夠被應(yīng)用系統(tǒng)識別和應(yīng)用；主體一般是一個機(jī)器人、自動化設(shè)備或某個規(guī)劃的執(zhí)行人員，如果獲得的領(lǐng)域描述信息中已經(jīng)包含應(yīng)用系統(tǒng)將要規(guī)劃的主體，則這個主體可以直接交付給應(yīng)用系統(tǒng)使用，因為主體信息的表述一般都是兼容的，能夠被應(yīng)用系統(tǒng)識別和應(yīng)用；步驟4、在步驟2基礎(chǔ)上，將所獲得規(guī)劃行為中的冗余規(guī)劃行為剔除；由于TODL是一種強(qiáng)大的邏輯定義和描述語言，可以表示和描述的信息很多，其構(gòu)建和設(shè)置的規(guī)劃行為也有較大隨意性，是否有一些規(guī)劃行為是冗余操作，這在roDL設(shè)計本身是沒有任何約定的，完全由具體領(lǐng)域設(shè)計者制訂，而從所需要提取知識的角度看，有些冗余的規(guī)劃行為定義對整體規(guī)劃設(shè)計并沒 有太多實際意義，或者完全可以由其它行為所替代，對這部分冗余的規(guī)劃行為進(jìn)行剔除；步驟5、在步驟2基礎(chǔ)上，將獲得的復(fù)合行為中的冗余復(fù)合行為剔除；在很多沿襲roDL語法所設(shè)計的規(guī)劃語言中，都定義了復(fù)合行為，即通過某種邏輯有一定聯(lián)系和連續(xù)性的一組行為，對于復(fù)合行為，同樣可能存在著冗余定義等問題，因此同樣需要對冗余復(fù)合行為進(jìn)行剔除；步驟6、在步驟4和步驟5的基礎(chǔ)上，將獲得的公理性約束轉(zhuǎn)換成本發(fā)明所使用的知識表示形式，本發(fā)明所使用的知識表示形式至少能夠被應(yīng)用系統(tǒng)所識別和應(yīng)用；步驟7、在步驟6基礎(chǔ)上，分析復(fù)合行為，如果復(fù)合行為的約束條件不符合公理性約束的要求，則調(diào)整該復(fù)合行為，使該復(fù)合行為的約束條件符合公理性約束的要求；步驟8、將步驟2獲得的領(lǐng)域描述信息、步驟3創(chuàng)建的主體、步驟4獲得的規(guī)劃行為、步驟6轉(zhuǎn)換的公理性約束以及步驟7調(diào)整后的復(fù)合行為作為知識送入應(yīng)用系統(tǒng)的知識數(shù)據(jù)庫。所述步驟I中，PDDL領(lǐng)域定義文件為一個獨立的文本文件，在讀取過程中，只獲取PDDL領(lǐng)域定義文件中的文本定義數(shù)據(jù)。在所述步驟7中，當(dāng)某一復(fù)合行為不能根據(jù)合公理性約束進(jìn)行調(diào)整時，則將該復(fù)合行為擬合成一個全新的擬合復(fù)合行為，該擬合復(fù)合行為的約束條件符合公理性約束的要求。在所述步驟6中，本方案所使用的知識表示形式為:約束條件Constraint=Axiom1..^= (Statecontext, Statelmply)其中 Axiom 為公理性約束，Statecmtext 為上下文態(tài)，Statelmply為隱喻態(tài)，η為約束條件個數(shù)。獲得規(guī)劃行為的具體步驟為:對每個尚未處理的規(guī)劃行為，提取出其定義信息送入行為知識列表，采用量化系統(tǒng)狀態(tài)方法實現(xiàn)前提條件和結(jié)果的知識化操作，具體過程如下:利用狀態(tài)State進(jìn)行條件Condition與結(jié)果Effect類知識的表示，每個狀態(tài)State由若干個狀態(tài)元素StateAtom構(gòu)成，而每個狀態(tài)元素StateAtom由唯一的關(guān)系表達(dá)式LogicalCombine連接了陳述Claim,具體的陳述為一種關(guān)系Relation或表達(dá)式Evaluation，這樣就將一些復(fù)雜的條件與結(jié)果采用按條目分類的知識統(tǒng)一組織了起來，具體方式可采用表達(dá)式描述如下:Condition=State1..^,結(jié)果 Effect=狀態(tài) State1.+State=StateAtom1 x,StateAtom = LogicalCombine (Claim1..^)=LogicalCombine(Relation or Evaluation)卜、；其中x，y為自然數(shù)。獲得關(guān)系表達(dá)的知識內(nèi)容后，即可利用關(guān)系中定義的關(guān)系數(shù)據(jù)方便地找出規(guī)劃行為中各種動作所作用或涉及的客體。與現(xiàn)有技術(shù)相比，本發(fā)明的優(yōu)點在于:(I)突破了智能規(guī)劃系統(tǒng)完全獨立于應(yīng)用系統(tǒng)的限制；(2)在知識數(shù)據(jù)的形成過程中，能夠清理掉原有規(guī)劃行為、復(fù)合行為中的冗余數(shù)據(jù)，提取出主干信息，并結(jié)合模型補(bǔ)充原有邏輯描述中可能缺失信息；(3)在實現(xiàn)知識傳遞的過程中并未改變原有的TODL邏輯定義；(4)本發(fā)明所述的方法可應(yīng)用于航空航天、交通物流、生產(chǎn)制造、機(jī)器人、智能設(shè)備、指揮調(diào)度等多個涉及智能規(guī)劃的領(lǐng)域，為規(guī)劃知識的提取和處理提供技術(shù)支撐；(5)本發(fā)明在不改變原有TODL文件的前提下，實現(xiàn)了智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識共享，同時可以兼容不同版本的TODL文件，采用本發(fā)明所建立的應(yīng)用系統(tǒng)無需刻意設(shè)計與自己的知識表示形式完全吻合的roDL文件，即可以實現(xiàn)對自己知識庫的建立以及各種后續(xù)的設(shè)計。


圖1為本發(fā)明實施例中智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法的流程圖。
具體實施例方式以下結(jié)合附圖實施例對本發(fā)明作進(jìn)一步詳細(xì)描述。本發(fā)明提供智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法，參見圖1，包括如下步驟:步驟1、讀取與應(yīng)用系統(tǒng)相關(guān)的roDL領(lǐng)域定義文件，PDDL領(lǐng)域定義文件一般為一個獨立的文本文件，在讀取過程中，只獲取I3DDL領(lǐng)域定義文件中的文本定義數(shù)據(jù)。步驟2、解析步驟I讀取的TODL領(lǐng)域定義文件，獲得領(lǐng)域描述信息、規(guī)劃行為、復(fù)合行為、公理性約束，領(lǐng)域描述信息中包含有主體信息、領(lǐng)域名稱、任務(wù)描述等；步驟3、在步驟2基礎(chǔ)上，如果獲得的領(lǐng)域描述信息中沒有包含應(yīng)用系統(tǒng)將要規(guī)劃的主體,則創(chuàng)建一個應(yīng)用系統(tǒng)將要規(guī)劃的主體,創(chuàng)建的主體至少能夠被應(yīng)用系統(tǒng)識別和應(yīng)用；主體一般是一個機(jī)器人、自動化設(shè)備或某個規(guī)劃的執(zhí)行人員，如果獲得的領(lǐng)域描述信息中已經(jīng)包含應(yīng)用系統(tǒng)將要規(guī)劃的主體,則這個主體可以直接交付給應(yīng)用系統(tǒng)使用，主體信息的表述一般都是兼容的，能夠被應(yīng)用系統(tǒng)識別和應(yīng)用；步驟4、在步驟2基礎(chǔ)上，將獲得的規(guī)劃行為中的冗余規(guī)劃行為剔除；獲得規(guī)劃行為的具體步驟為:對每個尚未處理的規(guī)劃行為，提取出其定義信息送入行為知識列表，采用量化系統(tǒng)狀態(tài)方法實現(xiàn)前提條件和結(jié)果的知識化操作，具體過程如下:利用狀態(tài)State進(jìn)行條件Condition與結(jié)果Effect類知識的表示，每個狀態(tài)State由若干個狀態(tài)元素StateAtom構(gòu)成，而每個狀態(tài)元素StateAtom由唯一的關(guān)系表達(dá)式LogicalCombine連接了陳述Claim,具體的陳述為一種關(guān)系Relation或表達(dá)式Evaluation，這樣就將一些復(fù)雜的條件與結(jié)果采用按條目分類的知識統(tǒng)一組織了起來，具體方式可采用表達(dá)式描述如下:Condition=State1..^,結(jié)果 Effect=狀態(tài) State1^,State=StateAtom1 x,StateAtom = LogicalCombine (Claim1..^)=LogicalCombine(Relation or Evaluation)卜、；其中x，y為自然數(shù)。獲得關(guān)系表達(dá)的知識內(nèi)容后，即可利用其中定義的關(guān)系數(shù)據(jù)方便地找出規(guī)劃行為中各種動作所作用或涉及的客體，可以是某個物體、器件或場所等；由于roDL是一種強(qiáng)大的邏輯定義和描述語言，可以表示和描述的信息很多，其構(gòu)建和設(shè)置的行為描述也有較大隨意性，是否有一些行為是冗余操作，在roDL設(shè)計本身是沒有任何約定的，完全由具體領(lǐng)域設(shè)計者制訂，而從所需要提取知識的角度看，有些冗余規(guī)劃行為定義邏輯對整體規(guī)劃設(shè)計并沒有太多實際意義，或者完全可以由其它行為所替代，對冗余部分的規(guī)劃行為需要剔除；步驟5、在步驟2基礎(chǔ)上，將獲得的復(fù)合行為中的冗余復(fù)合行為剔除；在很多沿襲TODL語法所設(shè)計的規(guī)劃語言中，都定義了復(fù)合行為，即通過某種邏輯有一定聯(lián)系和連續(xù)性的一組行為，對于復(fù)合行為，同樣可能存在著冗余定義等問題，因此同樣需要對冗余復(fù)合行為進(jìn)行剔除；步驟6、在步驟4和步驟5的基礎(chǔ)上，將獲得的公理性約束轉(zhuǎn)換成本方案所使用的知識表示形式，本方案所使用的知識表示形式至少能夠被應(yīng)用系統(tǒng)所識別和應(yīng)用；
`
本發(fā)明所使用的知識表示形式為:約束條件Constraint=Axiom1...n-(Statecmitext, Statelmply) 1...n，其中 Axiom 為公理性約束，Statecmitext 為上下又態(tài)，Statelmply為隱喻態(tài)，η為約束條件個數(shù)；公理性約束的定義指明了兩種情景之間的關(guān)聯(lián)，在一定上下文條件下，隱喻態(tài)的存在為真；步驟7、在步驟6基礎(chǔ)上，分析復(fù)合行為，如果復(fù)合行為的約束條件不符合公理性約束的要求，則調(diào)整該復(fù)合行為，使該復(fù)合行為的約束條件符合公理性約束的要求；當(dāng)某一復(fù)合行為不能根據(jù)合公理性約束進(jìn)行調(diào)整時，則將該復(fù)合行為擬合成一個全新的擬合復(fù)合行為，該擬合復(fù)合行為的約束條件符合公理性約束的要求；步驟8、將步驟2獲得的領(lǐng)域描述信息、步驟3創(chuàng)建的主體、步驟4獲得的規(guī)劃行為、步驟6轉(zhuǎn)換的公理性約束以及步驟7調(diào)整后的復(fù)合行為作為知識送入應(yīng)用系統(tǒng)的知識數(shù)據(jù)庫。下面以機(jī)器人規(guī)劃領(lǐng)域中的物品搬運規(guī)劃過程對本實施例的方法進(jìn)行具體說明:在物品搬運命題中，標(biāo)注為1、2、3的三件塊狀物體放置在臺面A上，機(jī)器人的任務(wù)是仍然以
1、2、3的排列順序?qū)K狀物體擺放到臺面C上。采用本發(fā)明的信息共享方法對其進(jìn)行處理后，獲得領(lǐng)域信息內(nèi)容為Blocks (物品搬運)，而規(guī)劃主體在規(guī)劃定義中沒有提供，因此創(chuàng)建一個主體為機(jī)器人。對于規(guī)劃行為，其中包括抓取Pickup、放下Putdown、堆疊Stack、非堆疊Unstack、移動Remove等,此時在量化系統(tǒng)狀態(tài)過程中發(fā)現(xiàn)主要的系統(tǒng)狀態(tài)有以下幾個:
狀態(tài)元素I名稱:holding (握住)主體:機(jī)器人客體:物體，臺面狀態(tài)元素2名稱:on (位于)主體:物體客體:物體狀態(tài)元素3名稱:on (位于)主體:物體客體:臺面原有智能規(guī)劃系統(tǒng)中的clear狀態(tài)由于在本發(fā)明的本體方法中可以用(on，物體，nil)表示，即在物體之上為空，沒有其它物體，因此該狀態(tài)為冗余的，可以將其刪除掉；而各種行為的條件和結(jié)果則是由不同狀態(tài)元素的組合構(gòu)成，以Pickup為例，其前提條件為(on,物體，臺面),而其結(jié)果的狀態(tài)為(holding,機(jī)器人,物體)。而Unstack的前提條件為(on,物體,物體),結(jié)果狀態(tài)為(holding,機(jī)器人,物體)。對規(guī)劃行為進(jìn)行精煉，剔除冗余規(guī)劃行為，完成精煉之后，Stack和Unstack被Pickup和Putdown合并，而其前提和結(jié)果狀態(tài)僅以holding —個狀態(tài)元素表示，以Pickup為例，其前提條件是: (holding,機(jī)器人，nil) and (on，物體，臺面)and (on,物體，nil);而其結(jié)果狀態(tài)為(holding,機(jī)器人,物體),進(jìn)一步精煉之后發(fā)現(xiàn)Remove也是一個不必要的操作，也可以對其進(jìn)行剔除；完成對規(guī)劃行為的處理后，對復(fù)合行為同樣進(jìn)行精煉處理，發(fā)現(xiàn)可以擬合一個新的狀態(tài)元素:狀態(tài)元素5名稱:belong (歸屬)主體:物體客體:臺面而move-block復(fù)合行為可以由擬合行為Deliver (搬運)所替代,其中Deliver的參數(shù)由(物體，平臺I，平臺2)構(gòu)成,其前提條件為(on,物體,平臺I) and (on,物體，nil),結(jié)果狀態(tài)為(on,物體,平臺2) and (on,物體，nil),而Deliver由以下行為復(fù)合而成:(Pickup,物體,平臺 I),(Putdown,物體，平臺 2)。而在此過程中，也可以進(jìn)一步擬合一個原有規(guī)劃中缺失了的狀態(tài)元素face (面對)，即:狀態(tài)元素6名稱:face (面對)主體:機(jī)器人客體:臺面此時，可以擬合出一個新的行為Goto (前往)，其輸入?yún)?shù)為(臺面1，臺面2)，其前提為(face,機(jī)器人,臺面I),結(jié)果態(tài)為(face,機(jī)器人,臺面2)。此后,復(fù)合行為Deliver則可以調(diào)整為:(Goto，機(jī)器人，臺面I)
(Pickup,物體,平臺 I)(Goto，機(jī)器人，臺面2)(Putdown,物體,平臺 2)完成對復(fù)合行為的處理后，進(jìn)一步處理整個系統(tǒng)的公理性約束，主要有以下約束條件，以公理的形式表示為:約束1: (Pickup，物體，臺面)and not (belong,物體，臺面)一(hold, Robot,nil)約束2: (Pickup,物體，臺面)and not (face, Robot,臺面)一(hold, Robot,nil)其中約束I表示如果機(jī)器人在某個臺面前要抓取某個物體，而該物體并不屬于該臺面，則機(jī)器人抓取的結(jié)果為空，而約束2表示如果機(jī)器人要在某個臺面前抓取物體，而機(jī)器人沒有面對該臺面，其結(jié)果也為空。通過以上的具體過程，即實現(xiàn)了整個規(guī)劃過程的知識化處理，完成處理后的具體數(shù)據(jù)以知識的形式送入應(yīng)用系統(tǒng)的知識數(shù)據(jù)庫進(jìn)行保存，從而實現(xiàn)了智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識共享。·
權(quán)利要求
1.一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法，其特征在于:包括如下步驟: 步驟1、讀取與應(yīng)用系統(tǒng)相關(guān)的roDL領(lǐng)域定義文件； 步驟2、解析步驟I讀取的roDL領(lǐng)域定義文件，獲得領(lǐng)域描述信息、規(guī)劃行為、復(fù)合行為、公理性約束，領(lǐng)域描述信息中至少包含有主體信息； 步驟3、在步驟2基礎(chǔ)上，從領(lǐng)域描述信息提取規(guī)劃主體，如果獲得的領(lǐng)域描述信息中沒有包含應(yīng)用系統(tǒng)將要規(guī)劃的主體，則創(chuàng)建一個應(yīng)用系統(tǒng)將要規(guī)劃的主體，創(chuàng)建的主體至少能夠被應(yīng)用系統(tǒng)識別和應(yīng)用； 步驟4、在步驟2基礎(chǔ)上，將獲得的規(guī)劃行為中的冗余規(guī)劃行為剔除； 步驟5、在步驟2基礎(chǔ)上，將獲得的復(fù)合行為中的冗余復(fù)合行為剔除； 步驟6、在步驟4和步驟5的基礎(chǔ)上，將獲得的公理性約束轉(zhuǎn)換成本方案所使用的知識表示形式，本方案所使用的知識表示形式至少能夠被應(yīng)用系統(tǒng)所識別和應(yīng)用； 步驟7、在步驟6基礎(chǔ)上，分析復(fù)合行為，如果復(fù)合行為的約束條件不符合公理性約束的要求，則調(diào)整該復(fù)合行為，使該復(fù)合行為的約束條件符合公理性約束的要求； 步驟8、將步驟2獲得的領(lǐng)域描述信息、步驟3創(chuàng)建的主體、步驟4獲得的規(guī)劃行為、步驟6轉(zhuǎn)換的公理性約束以及步驟7調(diào)整后的復(fù)合行為作為知識送入應(yīng)用系統(tǒng)的知識數(shù)據(jù)庫。
2.根據(jù)權(quán)利要求1所述的知識傳遞方法，其特征在于:所述步驟I中，PDDL領(lǐng)域定義文件為一個獨立的文本文件，在讀取過程中，只獲取I3DDL領(lǐng)域定義文件中的文本定義數(shù)據(jù)。
3.根據(jù)權(quán)利要求1所述的知識傳遞方法，其特征在于:在所述步驟7中，當(dāng)某一復(fù)合行為不能根據(jù)公理性約束進(jìn)行調(diào)整時，則將該復(fù)合行為擬合成一個全新的擬合復(fù)合行為，該擬合復(fù)合行為的約束條件符合 公理性約束的要求。
4.根據(jù)權(quán)利要求1所述的知識傳遞方法，其特征在于:在所述步驟6中，本方案所使用的知識表示形式為:約束條件Constraint=Axiom1I= (Statecbntext, Statelmply) ^,其中 Axiom為公理性約束，Statecontext為上下文態(tài)，Statelmply為隱喻態(tài)，η為約束條件個數(shù)。
5.根據(jù)權(quán)利要求1所述的知識傳遞方法，其特征在于:獲得規(guī)劃行為的具體步驟為:對每個尚未處理的規(guī)劃行為，提取出其定義信息送入行為知識列表，采用量化系統(tǒng)狀態(tài)方法實現(xiàn)前提條件和結(jié)果的知識化操作，具體過程如下:利用狀態(tài)State進(jìn)行條件Condition與結(jié)果Effect類知識的表示,每個狀態(tài)State由若干個狀態(tài)元素StateAtom構(gòu)成,而每個狀態(tài)元素StateAtom由唯一的關(guān)系表達(dá)式LogicalCombine連接了陳述Claim,具體的陳述為一種關(guān)系Relation或表達(dá)式Evaluation,這樣就將一些復(fù)雜的條件與結(jié)果采用按條目分類的知識統(tǒng)一組織了起來，具體方式可采用表達(dá)式描述如下:Condition=State1...x,結(jié)果 Effect=狀態(tài) State1...x,State=StateAtom1 x，StateAtom=LogicalCombine (Claim1.. )=LogicalCombine (Relation or Evaluation) ； 其中X，y為自然數(shù)。獲得關(guān)系表達(dá)的知識內(nèi)容后，即可利用其中定義的關(guān)系數(shù)據(jù)方便地找出規(guī)劃行為中各種動作所作用或涉及的客體。
6.根據(jù)權(quán)利要求5所述的知識傳遞方法，其特征在于:獲取復(fù)合行為的具體步驟與獲取規(guī)劃行為的步驟相同。
全文摘要
本發(fā)明涉及一種智能規(guī)劃系統(tǒng)與應(yīng)用系統(tǒng)之間的知識傳遞方法，其特征在于包括如下步驟步驟1、讀取與應(yīng)用系統(tǒng)相關(guān)的PDDL領(lǐng)域定義文件；步驟2、解析步驟1讀取的PDDL領(lǐng)域定義文件；步驟3、創(chuàng)建一個應(yīng)用系統(tǒng)將要規(guī)劃的主體；步驟4、將冗余規(guī)劃行為剔除；步驟5、將冗余復(fù)合行為剔除；步驟6、將獲得的公理性約束轉(zhuǎn)換成本方案所使用的知識表示形式；步驟7、分析調(diào)整該復(fù)合行為；步驟8、講領(lǐng)域描述信息、創(chuàng)建的主體、步驟4獲得的規(guī)劃行為、步驟6轉(zhuǎn)換的公理性約束以及步驟7調(diào)整后的復(fù)合行為作為知識送入應(yīng)用系統(tǒng)的知識數(shù)據(jù)庫。利用該方法后，實際的應(yīng)用系統(tǒng)能直接提取和利用智能規(guī)劃系統(tǒng)中的知識結(jié)構(gòu)與知識內(nèi)容，形成方便操作和使用的知識表示形式。
文檔編號G06F17/30GK103235832SQ201310179130
公開日2013年8月7日 申請日期2013年5月13日 優(yōu)先權(quán)日2013年5月13日
發(fā)明者林勇, 陸星家, 尹天鶴, 陳志榮, 范劍波, 許家清, 韓明 申請人:寧波工程學(xué)院