基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究

刘海庆; 夏幼明; 李晶; 尹红丽

美国《工程索引》（EI）核心期刊
美国《剑桥科学文摘》（CSA）收录期刊
荷兰斯高帕斯数据库（Scopus）收录期刊
英国INSPEC数据库（SA）收录期刊

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究

刘海庆, 夏幼明, 李晶, 尹红丽

文章导航 > 武汉大学学报 ( 信息科学版) > 2005 > 30(9): 833-836

刘海庆, 夏幼明, 李晶, 尹红丽. 基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究[J]. 武汉大学学报 ( 信息科学版), 2005, 30(9): 833-836.

引用本文:

刘海庆, 夏幼明, 李晶, 尹红丽. 基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究[J]. 武汉大学学报 ( 信息科学版), 2005, 30(9): 833-836.

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.

Citation:

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.

基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究

¹ 海军工程大学微机中心,武汉市硚口区解放大道717号, 430033;² 云南师范大学计算机科学系,昆明市五华区一二一大街298号,650092

基金项目: 云南省重点科研基金资助项目(2001F0006Z)；云南省自然科学基金资助项目(2003F0038M)

详细信息

作者简介:
刘海庆,讲师。现主要从事网络技术、数据库的研究。

中图分类号: TP391

Research on Negotiation Model of MAS Based on Linear-Time Temporal Logic and Its Reason and Accrediting Rules

1 Microcomputer Center, Naval University of Engineering, 717 Jiefang Road, Wuhan 430033, China;² Department of Computer Science, Yunnan Normal University, 298 Yieryi Street, Kunming 650092, China

摘要: 在文献[1]的基础上,对多Agent系统协商模型基于时序逻辑的方法进行了设计,给出了其形式化体系结构,同时给出了该模型的推理规则和授权规则。
- 多Agent系统 /
- 协商模型 /
- 时序逻辑
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.
- multi-agent system /
- negotiation model /
- temporal logic

[1]	朱庆, 张曼迪, 丁雨淋, 曾浩炜, 王玮, 刘飞. 环境因子空间特征约束的区域滑坡敏感性模糊逻辑分析方法 . 武汉大学学报 ( 信息科学版), 2021, 46(10): 1431-1440. doi: 10.13203/j.whugis20200653
[2]	赵昂, 杨元喜, 许扬胤, 景一帆, 杨宇飞, 马越原, 徐君毅. GNSS单系统及多系统组合完好性分析 . 武汉大学学报 ( 信息科学版), 2020, 45(1): 72-80. doi: 10.13203/j.whugis20180425
[3]	刘海燕, 庞小平, 王跃, 李忠香. 利用逻辑回归的南极常年考察站选址定量研究 . 武汉大学学报 ( 信息科学版), 2017, 42(3): 390-394. doi: 10.13203/j.whugis20150260
[4]	何平, 许才军, 温扬茂, 丁开华, 王琪. 时序InSAR的误差模型建立及模拟研究 . 武汉大学学报 ( 信息科学版), 2016, 41(6): 752-758. doi: 10.13203/j.whugis20140369
[5]	郑肇葆, 潘励, 郑宏. 中智逻辑图像分割方法的研究与分析 . 武汉大学学报 ( 信息科学版), 2015, 40(2): 143-146.
[6]	吴华意, 李锐, 周振, 蒋捷, 桂志鹏. 公共地图服务的群体用户访问行为时序特征模型及预测 . 武汉大学学报 ( 信息科学版), 2015, 40(10): 1279-1286,1316. doi: 10.13203/j.whugis20150283
[7]	刘婷婷, 刘一君, 王泽民, 周春霞. 基于多源遥感数据的北极新冰提取及范围时序变化分析 . 武汉大学学报 ( 信息科学版), 2015, 40(11): 1473-1478. doi: 10.13203/j.whugis20140665
[8]	郑肇葆, 潘励, 郑宏. 应用模糊逻辑图像分割方法的分析与研究 . 武汉大学学报 ( 信息科学版), 2014, 39(4): 397-400. doi: 10.13203/j.whugis20120209
[9]	李军利, 何宗宜, 柯栋梁, 朱乔利. 一种描述逻辑的地理本体融合方法 . 武汉大学学报 ( 信息科学版), 2014, 39(3): 317-321. doi: 10.13203/j.whugis20120109
[10]	吴云, 杨鑫春, 陈慧, 翟广. 多系统多频率的EGNOS系统完备性模拟分析 . 武汉大学学报 ( 信息科学版), 2012, 37(3): 269-273.
[11]	付小晶, 张国印, 马春光. 异构传感器网络基于身份的认证及密钥协商方案 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 582-586.
[12]	张健钦, 陆锋, 徐志洁. 基于多Agent的动态路况信息服务系统仿真研究 . 武汉大学学报 ( 信息科学版), 2010, 35(10): 1226-1230.
[13]	陈波, 曾国荪, 李莉. 属性委托授权逻辑系统中的主观信任控制 . 武汉大学学报 ( 信息科学版), 2008, 33(10): 1080-1083.
[14]	宋杨, 万幼川, 申绍洪, 陈鹏. 基于傅立叶变换的混合分类模型用于NDVI时序影像分析 . 武汉大学学报 ( 信息科学版), 2007, 32(5): 406-409.
[15]	朱军, 龚建华, 林珲, 李文航. 一种面向DVGE的移动Agent计算模型 . 武汉大学学报 ( 信息科学版), 2007, 32(4): 336-339.
[16]	邓文胜, 关泽群, 秦昆. 命题逻辑演算方法在多时相遥感影像专题解译中的应用 . 武汉大学学报 ( 信息科学版), 2005, 30(2): 170-173.
[17]	邓德祥, 李玉林, 钟诚东. 组合逻辑自动综合的超前试探法 . 武汉大学学报 ( 信息科学版), 1997, 22(2): 160-162.
[18]	王新洲. 顾及模糊逻辑关系的稳健估计 . 武汉大学学报 ( 信息科学版), 1996, 21(4): 338-343.
[19]	曾平. 数据库逻辑设计的E-S-C转换方法 . 武汉大学学报 ( 信息科学版), 1994, 19(2): 178-183.
[20]	陈祥, 杨志强, 田镇, 杨兵, 梁沛. GA-VMD与多尺度排列熵结合的GNSS坐标时序降噪方法 . 武汉大学学报 ( 信息科学版), 0, 0(0): 0-0. doi: 10.13203/j.whugis20210215