文献类型：期刊文章

作　　者：赖贤伟[1] 胡山立[2] 宁正元[1] 王秀丽[1]

机构地区：[1]福建农林大学计算机科学与技术系,福建福州350002 [2]福州大学计算机科学与技术系,福建福州350002

出　　处：《海南师范大学学报（自然科学版）》

基　　金：国家自然科学基金项目(60573076);福建省自然科学基金资助项目(2006J0018);校青年教师科研基金资助项目(08B21)

年　　份：2008

卷　　号：21

期　　号：4

起止页码：385-388

语　　种：中文

收录情况：CAS、UPD、ZMATH、普通刊

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

关 键 词：交互时态逻辑  并发博弈结构  信念

分 类 号：TP18]