目标描述逻辑研究  

Research on goal description logics(GDLs)

作　　者：吴修国[1,2] 曾广周[1] 

机构地区：[1]山东大学计算机科学与技术学院,山东济南250101 [2]山东经济学院信息管理学院,山东济南250014

出　　处：《山东大学学报（理学版）》2009年第11期68-74,共7页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金资助项目(60573169)

摘　　要：针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)和过程型(procedural)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架——目标描述逻辑(goal descriptionlogics,GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目标描述方法相比,目标描述逻辑为主体领域模型提供了一种更有力的形式化工具,同时为智能主体的模型和设计提供了很好的理论工具。Aimed to two major problems： one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goals-goal description logics （GDLs）, which integrates two types of goals： declarative goals and procedural goals into one concept based on description logics（Dis）. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

关 键 词：主体 描述逻辑 目标表示 目标推理 迁移工作流 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]