| 基于线性时序逻辑的多Agent协商推理模型 |
| |
| 引用本文： | 尹红丽,王永明,夏幼明. 基于线性时序逻辑的多Agent协商推理模型[J]. 计算机研究与发展, 2006, 43(Z1) |
| |
| 作者姓名： | 尹红丽 王永明 夏幼明 |
| |
| 基金项目： | 云南省自然科学基金;云南省省院省校科技合作项目 |
| |
| 摘 要： | 在多智能体系统中,协商是Agent交互的主要形式.用形式化方法构建了基于线性时序逻辑的协商推理模型,该模型用线性时序逻辑描述在协商过程中Agent所处环境,自身能力、权力、知识、思维等随时间的变化,以及在系统运行时Agent采取异步行为.进一步完善了多Agent系统中自主的协商机制.
|
| 关 键 词： | 多Agent系统 协商推理模型 线性时序逻辑 |
A Negotiation Reasoning Model of MAS Based on Linear Temporal Logic |
| |
| Yin Hongli,Wang Yongming,Xia Youming. A Negotiation Reasoning Model of MAS Based on Linear Temporal Logic[J]. Journal of Computer Research and Development, 2006, 43(Z1) |
| |
| Authors: | Yin Hongli Wang Yongming Xia Youming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
