技术特征：
技术总结
本发明公开一种多智能体模态逻辑可满足性判定算法，包括把任意一个包含公共知识的多智能模态逻辑公式转换成范式形式；对于一个模态项生成其后继公式用以递归地构造模型；完成预处理步骤将任意多智能体模态逻辑公式转化为析取范式φ后，根据算法运行结束的有向图G＝(W，R)构造φ在Kn下的模型，本发明利用构造模型的有穷，避免引入公共知识后造成的无限递归的情形，该算法可以正确地求解包含公共知识的多智能体模态逻辑可满足性问题。
技术研发人员：刘强;刘咏梅
受保护的技术使用者：中山大学
技术研发日：2018.03.27
技术公布日：2018.09.21