| 交互时态信念逻辑及其模型检测 |
| |
| 引用本文： | 宁正元,胡山立,赖贤伟.交互时态信念逻辑及其模型检测[J].南京大学学报(自然科学版),2008,44(2):171-178. |
| |
| 作者姓名： | 宁正元 胡山立 赖贤伟 |
| |
| 作者单位： | [1]福建农林大学计算机科学与技术系,福州350002 [2]福州大学计算机科学与技术系,福州350002 [3]中国科学院计算机科学重点实验室,北京100080 |
| |
| 基金项目： | 国家自然科学基金
,
中国科学院重点实验室基金
,
福建省自然科学基金 |
| |
| 摘 要： | 交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
|
| 关 键 词： | 交互时态逻辑 并发博弈结构 模型检测 知识 信念 |
Alternating-time temporal belief logic and its model checking |
| |
| Ning Zheng-Yuan,Hu Shan-Li,Lai Xian-Wei.Alternating-time temporal belief logic and its model checking[J].Journal of Nanjing University: Nat Sci Ed,2008,44(2):171-178. |
| |
| Authors: | Ning Zheng-Yuan Hu Shan-Li Lai Xian-Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
