摘要
针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(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.
出处
《山东大学学报（理学版）》
CAS
CSCD
北大核心
2009年第11期68-74,共7页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(60573169)
关键词
主体
描述逻辑
目标表示
目标推理
迁移工作流
agent
description logics（DLs）
goal representation
goal reasoning
migrating workflow
