摘要
在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。
In classical research on formalization of belief, the truth value range of belief in a possible world is {0, 1 } o This paper presents a method of computer fuzzy truth based on new fuzzy set theory, and generalizes the truth value range to [0,1]. Under this fuzzy logic frame, the general probability Aumann semantics is generalized to general fuzzy probability Aumann semantics, and thus multi-agent fuzzy probability belief logic is built. This belief logic presents syntax and semantics of multi-agent fuzzy probability belief logic, and prove the soundness of this logic.
出处
《广西师范大学学报（自然科学版）》
CAS
北大核心
2008年第1期150-153,共4页
Journal of Guangxi Normal University:Natural Science Edition
基金
国家自然科学基金资助项目(60373079)
福州大学校人才基金资助项目(XRC-0618)
