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