目标描述逻辑研究

• 作者: 吴修国 曾广周
• 来源期刊: 山东大学学报（理学版）
• 学科: 工学
• 关键词: 主体 描述逻辑 目标表示 目标推理 迁移工作流
• 年，卷（期）: 2009,（11）
• 页码范围: 68-74
• 页数: 7页
• 分类号: TP181
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴修国	山东大学计算机科学与技术学院	12	153	7.0	12.0
3	曾广周	山东大学计算机科学与技术学院	84	843	14.0	25.0