一种智能规划系统与应用系统之间的知识传递方法

摘要

本发明涉及一种智能规划系统与应用系统之间的知识传递方法，其特征在于：包括如下步骤：步骤1、读取与应用系统相关的PDDL领域定义文件；步骤2、解析步骤1读取的PDDL领域定义文件；步骤3、创建一个应用系统将要规划的主体；步骤4、将冗余规划行为剔除；步骤5、将冗余复合行为剔除；步骤6、将获得的公理性约束转换成本方案所使用的知识表示形式；步骤7、分析调整该复合行为；步骤8、讲领域描述信息、创建的主体、步骤4获得的规划行为、步骤6转换的公理性约束以及步骤7调整后的复合行为作为知识送入应用系统的知识数据库。利用该方法后，实际的应用系统能直接提取和利用智能规划系统中的知识结构与知识内容，形成方便操作和使用的知识表示形式。

主权项

一种智能规划系统与应用系统之间的知识传递方法，其特征在于：包括如下步骤：步骤1、读取与应用系统相关的PDDL领域定义文件；步骤2、解析步骤1读取的PDDL领域定义文件，获得领域描述信息、规划行为、复合行为、公理性约束，领域描述信息中至少包含有主体信息；步骤3、在步骤2基础上，从领域描述信息提取规划主体，如果获得的领域描述信息中没有包含应用系统将要规划的主体，则创建一个应用系统将要规划的主体，创建的主体至少能够被应用系统识别和应用；步骤4、在步骤2基础上，将获得的规划行为中的冗余规划行为剔除；步骤5、在步骤2基础上，将获得的复合行为中的冗余复合行为剔除；步骤6、在步骤4和步骤5的基础上，将获得的公理性约束转换成知识表示形式，知识表示形式至少能够被应用系统所识别和应用；步骤7、在步骤6基础上，分析复合行为，如果复合行为的约束条件不符合公理性约束的要求，则调整该复合行为，使该复合行为的约束条件符合公理性约束的要求；步骤8、将步骤2获得的领域描述信息、步骤3创建的主体、步骤4获得的规划行为、步骤6转换的公理性约束以及步骤7调整后的复合行为作为知识送入应用系统的知识数据库；在所述步骤6中，知识表示形式为：约束条件Constraint＝Axiom_1…n＝(State_Context,State_Imply)_1…n，其中Axiom为公理性约束，State_Context为上下文态，State_Imply为隐喻态，n为约束条件个数。