A Semantic Interpretation Of Operation Between Belief Operators

In the knowledge-based reasoning,because that knowledge sources are incompletely reliable and the knowledge from different knowledge sources may conflict with each other,and some other reasons,we can not take this knowledge as an absolute truth,only as a belief.The dealing with the belief is a key issue-in artificial intelligence research.Learning from the idea of the Operator Fuzzy Logic,this article takes a real number on the interval of[0,1]as a belief operator,describing the credibility of a proposition,so on the basis of Proposition Logic builds a proposition logic with belief operator,we call it as belief operator proposition logic.In this paper,we use a real coefficient multinomial function to define the-operation between belief operators,prove the uniqueness in some relative basal a ssumptions.This operation has a good mathematical nature and intuitive background. To implement the belief-based consequence,we introduce the concept of constant real level of the formula in Boolean Operator Fuzzy Logic into Belief-Operator Proposition Logic.According to the characters of the operation between belief operators,we establish a mechanical derivation algorithm named by BMD which computes any given formula's constant true level which in Belief Operator Proposition Logic.This method is superior thanλ-attributed method in Operator Fuzzy Logic.According to the formal derivation algorithm BMD,this paper gives a system to actualize computing any given formula's constant true level.The system-mainly consists of rule storeroom module,function module,simplification of the logical conjunction module,numberation of fuzzy atoms module and backdated-computation module.In running time,the system accepts a formula as an input, and calculates the formula's constant true level automatically.