您的位置:山东大学 -> 科技期刊社 -> 《山东大学学报(理学版)》

J4 ›› 2009, Vol. 44 ›› Issue (11): 68-74.

• 论文 • 上一篇    下一篇

目标描述逻辑研究

吴修国 曾广周   

  1. 1. 山东大学计算机科学与技术学院, 山东 济南 250101;2. 山东经济学院信息管理学院, 山东 济南 250014
  • 收稿日期:2009-07-07 出版日期:2009-11-16 发布日期:2009-11-25
  • 作者简介:吴修国(1975),男,讲师,博士研究生,研究方向为移动计算,描述逻辑及其应用技术等. Email:xiuguosd@163.com
  • 基金资助:

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

Research on goal description logics(GDLs)

 TUN Xiu-Guo, CENG An-Zhou   

  1. 1.School of Computer Science and Technology, Shandong University, Jinan 250101, Shandong, China;2. School of Information Management, Shandong Economic University, Jinan 250014, Shandong, China
  • Received:2009-07-07 Online:2009-11-16 Published:2009-11-25

摘要:

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

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

Abstract:

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(DLs). 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.

Key words:  agent; description logics(DLs); goal representation; goal reasoning; migrating workflow

中图分类号: 

  • TP181
[1] 许传轲 陈月辉 赵亚欧. 基于改进伪氨基酸组成的蛋白质相互作用预测[J]. J4, 2009, 44(9): 17-21.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!