一个多Agent系统规范——MAS/KIB

摘要

采用 K (知道 ) ,B (相信 ) ,I (意愿 )等几个基本的心智状态 ,建立了一个多 Agent系统逻辑规范—MAS/ KIB,讨论了其语法、模型和语义 ,给出了公理和推理规则 ,研究了 MAS/ KIB的一些基本性质 .