Credibility-Limited Improvement Operators

In this paper we introduce and study credibility-limited improvement operators. The idea is to accept the new piece of information if this information is judged credible by the agent, so in this case a revision is performed. When the new piece of information is not credible then it is not accepted (no revision is performed), but its plausibility is still improved in the epistemic state of the agent, similarly to what is done by improvement operators. We use a generalized definition of Darwiche and Pearl epistemic states, where to each epistemic state can be associated, in addition to the set of accepted formulas (beliefs), a set of credible formulas. We provide a syntactic and semantic characterization of these operators.

[1]  Henri Prade,et al.  A Practical Approach to Revising Prioritized Knowledge Bases , 2002, Stud Logica.

[2]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

[3]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[4]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[5]  Didier Dubois,et al.  A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule , 2010, Fundam. Informaticae.

[6]  S. Hansson,et al.  Twenty-Five Years of Research in Belief Change , 2011 .

[7]  J. Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[8]  Michael Thielscher,et al.  Iterated Belief Revision, Revised , 2005, IJCAI.

[9]  John Cantwell,et al.  Credibility limited revision , 2001, Journal of Symbolic Logic.

[10]  Sébastien Konieczny,et al.  Improvement Operators , 2008, KR.

[11]  Odile Papini,et al.  Iterated Revision by Epistemic States: Axioms, Semantics and Syntax , 2000, ECAI.

[12]  Sébastien Konieczny,et al.  Using Transfinite Ordinal Conditional Functions , 2009, ECSQARU.

[13]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[14]  Sébastien Konieczny,et al.  Taxonomy of Improvement Operators and the Problem of Minimal Change , 2022 .

[15]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[16]  Richard Booth,et al.  Credibility-Limited Revision Operators in Propositional Logic , 2012, KR.