Modeling Local Belief Revision in a Dynamic Reasoning System

Schwartz, Daniel G.; Ustymenko, Stanislav

doi:10.1007/978-3-642-30353-1_38

Cited by 1 publication

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The dominant theory on belief revision theory is the AGM model, which consists of some properties that a rational revision operator should satisfy. The work of Schwartz and Ustymenko improves the AGM system by identifying a notion of local belief change, and discussing how this can be modeled in an adaptation of Hansson framework. Actually, they give an alternative to the AGM framework, which is called a dynamic reasoning system.…”

Section: Related Workmentioning

confidence: 99%

A Fuzzy Dynamic Belief Logic System

Jing

Luo

Zhang

2014

Int. J. Intell. Syst.

View full text Add to dashboard Cite

In this paper, we develop a fuzzy dynamic belief revision logic system. In our system, propositions take truth values in a set of multiple fuzzy linguistic terms, which people use in everyday life. And we use a uninorm operator to aggregate the linguistic truth values of the same proposition but drawn from two different rules because uninorms can reflect well that the aggregated result of two somehow negative truth values of the same proposition should be more negative, the aggregated result of two somehow positive ones should be more positive, and the result of a negative one and a positive one is a compromise. In this system, the belief on a proposition is the linguistic truth of the proposition in the most possible world according to the current preference over all possible worlds. In the light of new information, the preference degrees of possible worlds will be updated. Accordingly, the most possible world will be changed to another and thus an old belief on a propositional formula will be changed to the linguistic truth of the proposition in the new most possible world. Moreover, we prove the soundness and completeness of our fuzzy dynamic belief revision system. In addition, we also prove that our belief revision method in fuzzy environment satisfies some relevant ones of standard AGM postulates (named after the names of their proponents, Alchourrón, Gärdenfors, and Makinson).

show abstract

Section: Related Workmentioning

confidence: 99%