Multi-Agent Fuzzy Probability Belief Logic

In classical research on formalization of belief,the truth value range of belief in a possible world is {0,1}.This paper presents a method of computer fuzzy truth based on new fuzzy set theory,and generalizes the truth value range to .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 muiti-agent fuzzy probability belief logic,and prove the soundness of this logic.