交互时态逻辑下的三种模糊信念算子

• 作者: 宁正元 王秀丽 胡山立 赖贤伟
• 来源期刊: 海南师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 交互时态逻辑 并发博弈结构 信念
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 数学研究
• 页码范围: 385-388
• 页数: 4页
• 分类号: TP18
• 字数: 3087字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-4942.2008.04.008

摘要

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宁正元	福建农林大学计算机科学与技术系	67	527	10.0	21.0
2	赖贤伟	福建农林大学计算机科学与技术系	7	16	2.0	4.0
3	王秀丽	福建农林大学计算机科学与技术系	20	87	6.0	8.0
4	胡山立	福州大学计算机科学与技术系	41	542	13.0	22.0