-
题名集体目标的形式规范
被引量：1
- 1
-
-
作者
程显毅
石纯一
-
机构
江苏大学计算机科学与通信工程学院
清华大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第11期1310-1314,共5页
-
基金
国家自然科学基金资助 ( 699730 2 3)
-
文摘
在多 Agent系统中协调是系统效率的瓶颈 ,目前常用的协调机制有组织结构、交换元级信息、多 Agent规划、集体目标等 ,而集体目标具有最低协调成本的功效 .在没有一个标准逻辑描述集体目标的今天 ,在某些约束下 ,给出集体目标的形式规范是可行的 .首先给出了动态可能世界语义学 ,在此基础上证明 Sandu给出的集体目标约束条件过强 ,并回答了 Sandu没有解决的问题 :集体成员如何相互相信各自同时实现集体目标 .
-
关键词
集体目标
动态可能世界语义
AGENT
意图
人工智能
-
Keywords
collective goals, semantics of dynamic probable world, agent, intention
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
