Revision with probability. (May 2017)

• Record Type: Journal Article
• Authors: Jiang, Dongchen; Li, Wei
• Is Part Of: Journal of symbolic computation. Volume 80:Part 1(2017)
• Page Start: 87
• Page End: 100
• Publication Date: 2017-05
• Subjects: Belief revision -- Probability -- Uncertainty; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2016.07.011
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: This paper investigates belief revision with uncertainty. Normally, this kind of revision is processed in the framework of possibilistic logic, which is good at processing incomplete and imprecise information. However, the possibilistic logic based revision does not provide a probabilistic explanation for uncertainty. To solve this problem, it is necessary to express this problem from a perspective of probability. This paper proposes the definitions of formula probability and model probability, and then derives the conversion equation between them. To deal with uncertain belief revision, a probabilistic estimation is used. The approaches for revision with a reliable input and an uncertain input are discussed respectively. At last, differences between our approach and the existing ones for uncertain revision are explored.