软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
3期
490-504
,共15页
人工智能%智能规划%规划领域%STRIPS%相似关系%置换%领域知识
人工智能%智能規劃%規劃領域%STRIPS%相似關繫%置換%領域知識
인공지능%지능규화%규화영역%STRIPS%상사관계%치환%영역지식
提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了描述领域知识的一种形式化方法.最后,对具体的规划问题,可利用领域知识判断出初始状态或目标状态中存在的矛盾.该领域知识的提取策略已应用于智能规划器StepByStep之中,所获取的领域知识对选择待实现的谓词提供了必要的理论依据.
提齣瞭謂詞之間的一種相似關繫,併用該相似關繫得到可實現某謂詞的動作集.利用該動作集中所有動作的公共前提謂詞和公共效果謂詞,提取齣隱含在動作描述中的領域知識,併給齣瞭描述領域知識的一種形式化方法.最後,對具體的規劃問題,可利用領域知識判斷齣初始狀態或目標狀態中存在的矛盾.該領域知識的提取策略已應用于智能規劃器StepByStep之中,所穫取的領域知識對選擇待實現的謂詞提供瞭必要的理論依據.
제출료위사지간적일충상사관계,병용해상사관계득도가실현모위사적동작집.이용해동작집중소유동작적공공전제위사화공공효과위사,제취출은함재동작묘술중적영역지식,병급출료묘술영역지식적일충형식화방법.최후,대구체적규화문제,가이용영역지식판단출초시상태혹목표상태중존재적모순.해영역지식적제취책략이응용우지능규화기StepByStep지중,소획취적영역지식대선택대실현적위사제공료필요적이론의거.
