首页> 中国专利> 一种多智能体模态逻辑可满足性判定算法

一种多智能体模态逻辑可满足性判定算法

页面导航

摘要

本发明公开一种多智能体模态逻辑可满足性判定算法，包括把任意一个包含公共知识的多智能模态逻辑公式转换成范式形式；对于一个模态项生成其后继公式用以递归地构造模型；完成预处理步骤将任意多智能体模态逻辑公式转化为析取范式φ后，根据算法运行结束的有向图G＝(W，R)构造φ在K

1. 一种多智能体模态逻辑可满足性判定算法 [P] . 中国专利： CN108564175A . 2018-09-21
2. 一种周期控制布尔网络前继不满足性吸引子算法 [P] . 中国专利： CN110379456A . 2019-10-25
3. Boolean Satisfiability (SAT) Reduction for Geometry and Kinematics Agnostic Multi-Agent Planning [P] . 美国专利： US2020041274A1 . 2020-02-06

机译：用于几何和运动学不可知的多智能体规划的布尔可满足性（SAT）降低
4. Boolean satisfiability (SAT) reduction for geometry and kinematics agnostic multi-agent planning [P] . 美国专利： US10480947B2 . 2019-11-19

机译：几何和运动学不可知多智能体计划的布尔可满足性（SAT）降低
5. Boolean Satisfiability (SAT) Reduction for Geometry and Kinematics Agnostic Multi-Agent Planning [P] . 美国专利： US2018172450A1 . 2018-06-21

机译：用于几何和运动学不可知的多智能体规划的布尔可满足性（SAT）降低