目标描述逻辑研究

• 作 者: 吴修国 曾广周
• 机 构: 山东大学计算机科学与技术学院,山东经济学院信息管理学院,
• 出 处: 山东大学学报(理学版)
• 发表日期: 2009年11期
• 关键词: 目标描述 描述逻辑 目标表示 不可判定性 目标推理 逻辑研究 迁移工作流 智能主体 可判定性 领域模型

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)和过程型(procedural)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架——目标描述逻辑(goal descriptionlogics,GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目标描述方法相比,目标描述逻辑为主体领域模型提供了一种更有力的形式化工具,同时为智能主体的模型和设计提供了很好的理论工具。

In view of the inconclusiveness in the traditional object description and the lack of clear semantics, two kinds of declarative and procedural description of the target types are described organically in description logics (DLs) The goal is to construct goal description logics (GDLs), a formalized framework with clear semantics and decidability. On the basis of this, define the relevant planning rules under the framework. Consistency and goal satisfiability. Compared with the traditional goal description method, goal description logic provides a more powerful formal tool for the subject domain model and provides a good model for the smart subject and design Theoretical tools.