Indexed by：
Abstract：
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探讨它们的模糊语义问题,利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况,对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.
Keyword：
Reprint 's Address：
Source ：
海南师范大学学报：自然科学版
ISSN： 1674-4942
Year： 2008
Issue： 4
Volume： 21
Page： 385-388
Affiliated Colleges：
