基于机会发现逻辑的多智能体系统形式化描述方法 |
| |
引用本文: | 宋宝卫,孙占锋.基于机会发现逻辑的多智能体系统形式化描述方法[J].科学技术与工程,2013,13(7):1827-1831. |
| |
作者姓名: | 宋宝卫 孙占锋 |
| |
作者单位: | 郑州轻工业学院,郑州轻工业学院 |
| |
摘 要: | MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。
|
关 键 词: | MAS系统 机会发现 Kripke框架 机会发现逻辑 |
收稿时间: | 2012/10/19 0:00:00 |
修稿时间: | 2012/10/19 0:00:00 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
| 点击此处可从《科学技术与工程》下载免费的PDF全文 |
|