[发明专利]一种多智能体模态逻辑可满足性判定算法在审
| 申请号： | 201810260728.6 | 申请日： | 2018-03-27 |
| 公开（公告）号： | CN108564175A | 公开（公告）日： | 2018-09-21 |
| 发明（设计）人： | 刘强;刘咏梅 | 申请（专利权）人： | 中山大学 |
| 主分类号： | G06N5/02 | 分类号： | G06N5/02;G06N5/04 |
| 代理公司： | 广州粤高专利商标代理有限公司 44102 | 代理人： | 林丽明 |
| 地址： | 510275 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种多智能体模态逻辑可满足性判定算法，包括把任意一个包含公共知识的多智能模态逻辑公式转换成范式形式；对于一个模态项生成其后继公式用以递归地构造模型；完成预处理步骤将任意多智能体模态逻辑公式转化为析取范式φ后，根据算法运行结束的有向图G＝(W，R)构造φ在Kn下的模型，本发明利用构造模型的有穷，避免引入公共知识后造成的无限递归的情形，该算法可以正确地求解包含公共知识的多智能体模态逻辑可满足性问题。 | ||
| 搜索关键词： | 模态 多智能体 算法 公共知识 构造模型 可满足性 逻辑公式 递归 判定 可满足性问题 预处理步骤 运行结束 有向图 求解 析取 智能 引入 转换 转化 | ||
【主权项】：
1.一种多智能体模态逻辑可满足性判定算法，其特征在于，包括如下步骤：S10把任意一个包含公共知识的多智能模态逻辑公式转换成范式形式，令![]()
为原子命题集合，![]()
为智能体集合，多智能模态逻辑公式由如下BNF定义：![]()
其中![]()
Kaφ表示智能体a知道知识φ，Cφ表示所有智能体公共知道φ，并且令Laφ和Dφ作为![]()
和![]()
的缩写。S20对于一个模态项![]()
可以生成其后继公式用以递归地构造模型，后继公式集合![]()
为如下两个集合的并集：![]()
![]()
其中λ∈Λ。S30完成预处理步骤将任意多智能体模态逻辑公式转化为析取范式φ后，调用函数CheckK(φ),如果CheckK(φ)返回了T，则可以根据算法运行结束的有向图G＝(W，R)构造φ在Kn下的模型。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中山大学，未经中山大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810260728.6/，转载请声明来源钻瓜专利网。
