位置:成果数据库 > 期刊 > 期刊详情页
基于动态描述逻辑的多主体协作模型
  • ISSN号:1000-1239
  • 期刊名称:《计算机研究与发展》
  • 时间:0
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100080, [2]中国科学院研究生院,北京100049, [3]中国矿业大学计算机学院,徐州221008
  • 相关基金:国家自然科学基金项目(60435010);国家“九七三”重点基础研究发展规划基金项目(2003CB317004);北京市自然科学基金项目(4052025);2005年度中国科学院研究生科学与社会实践创新研究类专项基金项目
中文摘要:

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.

英文摘要:

Dynamic description logic is proposed for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, the present logic is effective and significant for both static and dynamic environment. On the static side, a description logic is employed for the representation and reasoning of belief and goal. On the dynamic side, an object-oriented method is adopted to describe actions. The description of each action is composed of the models, preconditions and effects, which reflects the real changes of the world and is very suitable for belief revision and multi-agent planning. Based on the logic, how to form joint goal for multi-agent cooperation is investigated. In particular, an effective dynamic planning algorithm is proposed for scheduling sub goals, which is greatly crucial for coordinating multi-agent behaviors.

同期刊论文项目
期刊论文 190 会议论文 118 获奖 5 著作 4
同项目期刊论文
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编:徐志伟
  • 地址:北京市科学院南路6号中科院计算所
  • 邮编:100190
  • 邮箱:crad@ict.ac.cn
  • 电话:010-62620696 62600350
  • 国际标准刊号:ISSN:1000-1239
  • 国内统一刊号:ISSN:11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊,2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:40349