| 基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究 |
| |
| 引用本文： | 刘海庆,夏幼明,李晶,尹红丽.基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究[J].武汉大学学报(信息科学版),2005,30(9):833-836. |
| |
| 作者姓名： | 刘海庆 夏幼明 李晶 尹红丽 |
| |
| 作者单位： | 1. 海军工程大学微机中心,武汉市硚口区解放大道717号,430033
2. 云南师范大学计算机科学系,昆明市五华区一二一大街298号,650092 |
| |
| 基金项目： | 云南省重点科研基金资助项目(2001F0006Z)，云南省自然科学基金资助项目(2003F0038M)。 |
| |
| 摘 要： | 在文献1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
|
| 关 键 词： | 多Agent系统 协商模型 时序逻辑 |
| 文章编号： | 1671-8860(2005)09-0833-04 |
| 收稿时间： | 2005-05-22 |
| 修稿时间： | 2005年5月22日 |
Research on Negotiation Model of MAS Based on Linear-Time Temporal Logic and Its Reason and Accrediting Rules |
| |
| Liu Haiqing,XIA Youming,LI Jing,YIN Hongli.Research on Negotiation Model of MAS Based on Linear-Time Temporal Logic and Its Reason and Accrediting Rules[J].Geomatics and Information Science of Wuhan University,2005,30(9):833-836. |
| |
| Authors: | Liu Haiqing XIA Youming LI Jing YIN Hongli |
| |
| Abstract: | In solving multi-agent system, we are faced with a series of questions of cooperation among agents, clearing up conflict, processing contradiction and so on, negotiation technology is key point in solving plan, it is also one of important contents on research of multi-agent system. In this paper, a negotiation model of multi-agent system based on linear-time temporal logic is presented and a formalized system of the model is given, and at the same time reason and accrediting rules are submitted. |
| |
| Keywords: | multi-agent system negotiation model temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
