机会发现在多智能体系统中的形式化描述方法

• 作者: 周绪川 蔡利平 钟勇
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 多智能体系统 知识系统 机会发现 形式化方法 可判定性
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 187-189
• 分类号: N945
• 字数: 3840字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.11.064

摘要

针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑LK,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据.给出LK的结构及语义,证明了LK的可判定性,且计算可在多项式级时间复杂度内实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟勇	中国科学院成都计算机应用研究所	96	776	17.0	24.0
2	周绪川	西南民族大学计算机科学与技术学院	25	70	5.0	6.0
4	蔡利平	西南民族大学计算机科学与技术学院	10	40	4.0	6.0