软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
1期
57-70
,共14页
边芮%姜云飞%吴向军%梁瑞仕
邊芮%薑雲飛%吳嚮軍%樑瑞仕
변예%강운비%오향군%량서사
智能规划%STRIPS%派生谓词%领域知识
智能規劃%STRIPS%派生謂詞%領域知識
지능규화%STRIPS%파생위사%영역지식
领域知识的获取是智能规划研究中的重要内容之一.派生规则是一种基于逻辑推理的领域知识表示方法.在对动作模型和派生规则综合分析的基础上提出了基于派生谓词的STRIPS领域知识提取策略,并给出了该提取策略的算法描述.在规划求解过程中,利用提取所得的领域规则可减少派生规则的逻辑推导,从而提高规划效率.对任意一个规划领域,利用提取所得的领域规则可以分析出领域谓词之间的互斥关系,这种互斥关系可以对一类矛盾的规划状态进行判定.最后,把所提出的领域规则提取策略嵌入到规划器StepByStep之中进行了领域规则提取实验.实验结果验证了该提取算法的可行性和有效性,所提取出的领域规则能够直观地表达谓词间的因果关系,为派生谓词的真值判断和后续的规划求解提供了可靠的领域知识.
領域知識的穫取是智能規劃研究中的重要內容之一.派生規則是一種基于邏輯推理的領域知識錶示方法.在對動作模型和派生規則綜閤分析的基礎上提齣瞭基于派生謂詞的STRIPS領域知識提取策略,併給齣瞭該提取策略的算法描述.在規劃求解過程中,利用提取所得的領域規則可減少派生規則的邏輯推導,從而提高規劃效率.對任意一箇規劃領域,利用提取所得的領域規則可以分析齣領域謂詞之間的互斥關繫,這種互斥關繫可以對一類矛盾的規劃狀態進行判定.最後,把所提齣的領域規則提取策略嵌入到規劃器StepByStep之中進行瞭領域規則提取實驗.實驗結果驗證瞭該提取算法的可行性和有效性,所提取齣的領域規則能夠直觀地錶達謂詞間的因果關繫,為派生謂詞的真值判斷和後續的規劃求解提供瞭可靠的領域知識.
영역지식적획취시지능규화연구중적중요내용지일.파생규칙시일충기우라집추리적영역지식표시방법.재대동작모형화파생규칙종합분석적기출상제출료기우파생위사적STRIPS영역지식제취책략,병급출료해제취책략적산법묘술.재규화구해과정중,이용제취소득적영역규칙가감소파생규칙적라집추도,종이제고규화효솔.대임의일개규화영역,이용제취소득적영역규칙가이분석출영역위사지간적호척관계,저충호척관계가이대일류모순적규화상태진행판정.최후,파소제출적영역규칙제취책략감입도규화기StepByStep지중진행료영역규칙제취실험.실험결과험증료해제취산법적가행성화유효성,소제취출적영역규칙능구직관지표체위사간적인과관계,위파생위사적진치판단화후속적규화구해제공료가고적영역지식.