| 交互时态逻辑下的三种模糊信念算子 |
| |
| 引用本文： | 赖贤伟,胡山立,宁正元,王秀丽.交互时态逻辑下的三种模糊信念算子[J].海南师范大学学报(自然科学版),2008,21(4):385-388. |
| |
| 作者姓名： | 赖贤伟 胡山立 宁正元 王秀丽 |
| |
| 作者单位： | 1. 福建农林大学计算机科学与技术系,福建,福州,350002
2. 福州大学计算机科学与技术系,福建,福州,350002 |
| |
| 基金项目： | 国家自然科学基金项目，福建省自然科学基金资助项目，校青年教师科研基金资助项目 |
| |
| 摘 要： | 前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
|
| 关 键 词： | 交互时态逻辑 并发博弈结构 信念 |
Three kinds of fuzzy belief operators in alternating-time temporal logic |
| |
| Lai Xianwei,Hu Shanli,Ning Zhengyuan,Wang Xiuli.Three kinds of fuzzy belief operators in alternating-time temporal logic[J].Journal of Hainan Normal University:Natural Science,2008,21(4):385-388. |
| |
| Authors: | Lai Xianwei Hu Shanli Ning Zhengyuan Wang Xiuli |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
