On the Logic of Belief Based on the Degree of Evidence Support
The belief and degree of belief of an intelligent agent for some information are closely related to evidence and the degree of evidence support.This paper aims to ex-plore the connections between the degree of evidence support and belief strength from semantic and axiomatic perspectives by modal logic.Specifically,KD45 and KD nor-mal modalities are used respectively to express the strong belief operator and the belief operator with degree.The modal operator with degree is utilized to express the evidence with degree.By introducing constraints to the belief logic model based on the degree of evidence support,we establish the connections between the relation of evidence and the relation of belief,thereby the connections between the degree of evidence support and the belief strength are expressed.Additionally,a sound and complete axiomatic system is established.These measures help to formalize the connections between the degree of evidence support and the belief strength,and thus a method integrating qualitative anal-ysis with quantitative analysis for dealing with uncertain information is provided.
万方数据
维普
