| 目标描述逻辑研究 |
| |
| 引用本文： | 吴修国,曾广周. 目标描述逻辑研究[J]. 山东大学学报(理学版), 2009, 44(11): 68-74 |
| |
| 作者姓名： | 吴修国 曾广周 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,山东济南250101;山东经济学院信息管理学院,山东济南250014;山东大学计算机科学与技术学院,山东济南,250101 |
| |
| 摘 要： | 针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)和过程型(procedural)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架——目标描述逻辑(goal description logics, GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目标描述方法相比,目标描述逻辑为主体领域模型提供了一种更有力的形式化工具,同时为智能主体的模型和设计提供了很好的理论工具。
|
| 关 键 词： | 主体 描述逻辑 目标表示 目标推理 迁移工作流 |
| 收稿时间： | 2009-07-07 |
Research on goal description logics(GDLs) |
| |
| WU Xiu-guo,ZENG Guang-zhou. Research on goal description logics(GDLs)[J]. Journal of Shandong University, 2009, 44(11): 68-74 |
| |
| Authors: | WU Xiu-guo ZENG Guang-zhou |
| |
| Affiliation: | 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 |
| |
| Abstract: | Aimed to two major problems:one is not decidable and the other is no clear semantics.We construct a framework with exphcit representation and formal semantics of goals-goal description logics(GDLs),which integrates two types of goals:declara-tive goals and procedural goals into one concept based on description logics(DLs).In addition,the goal plan is defined and ana-lyzed,and some reasoning problems,such as goal consistency and goal satistlability,are discussed.Contrary to traditional way. |
| |
| Keywords: | agent description logics(DLs) goar representation goal reasoning migrating workflow |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《山东大学学报(理学版)》下载全文 |
|
