论文部分内容阅读
在经典信念形式化研究中，信念在某一可能世界中的真值取值范围是{0，1）。基于新模糊集合论给出信念真值的模糊真值计算方法，将信念的真值取值范围推广到[0，1]。在这样模糊逻辑框架下，将广义概率Aumann语义推广到广义模糊概率Aumann语义，从而建立多Agent模糊概率信念逻辑。在该逻辑中，给出多Agent模糊概率信念逻辑的语法和语义，并且证明了该逻辑系统的可靠性。