多Agent模糊概率信念逻辑  

Multi-Agent Fuzzy Probability Belief Logic

作　　者：林运国[1] 陈晓云[1] 胡山立[1] 陈莉[2] 

机构地区：[1]福州大学数学与计算机科学学院 [2]福建医科大学数理与计算机教学部,福建福州350004

出　　处：《广西师范大学学报（自然科学版）》2008年第1期150-153,共4页Journal of Guangxi Normal University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60373079);福州大学校人才基金资助项目(XRC-0618)

摘　　要：在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{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.

关 键 词：多AGENT系统 信念逻辑Kripke语义 广义Aumann语义 模糊概率 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]