Abstract:The AGM recovery postulate says: assume a set of propositions X; assume that it is consistent and that it is closed under logical consequences; remove a belief P from the set minimally, but make sure that the resultant set is again some set of propositions X' which is closed under the logical consequences; now add P again and close the set under the logical consequences; and we should get a set of propositions that contains all the propositions that were in X. This postulate has since met objections; many have observed that it could bear counter-intuitive results. Nevertheless, the attempts that have been made so far to amend it either recovered the postulate in full, had to relinquish the assumption of the logical closure altogether, or else had to introduce fresh controversies of their own. We provide a solution to the recovery paradox in this work. Our theoretical basis is the recently proposed belief theory with latent beliefs (simply the latent belief theory for short). Firstly, through examples, we will illustrate that the vanilla latent belief theory can be made more expressive. We will identify that a latent belief, when it becomes visible, may remain visible only while the beliefs that triggered it into the agent's consciousness are in the agent's belief set. In order that such situations can be also handled, we will enrich the latent belief theory with belief dependencies among attributive beliefs, recording the information as to which belief is supported of its existence by which beliefs. We will show that the enriched latent belief theory does not possess the recovery property. The closure by logical consequences is maintained in the theory, however. Hence it serves as a solution to the open problem in the belief set theories.

An Up to Down Reasoning for Inconsistent Beliefs

A Non-revision Reasoning Method for Inconsistent Clausal Beliefs

A Logic for Iterated Belief Revision

An Algorithm for Extension of Clausal Beliefs.

Argumentation-Based Non-Monotonic Reasoning of Agents

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Discussion on the Quantificational Unrevision Method to Satisfy the AGM Theory

A Computational Method of General Belief Revision

Non-revision Reasoning with Beliefs in Predicate Logic.

A Fuzzy Dynamic Belief Logic System.

The Belief Assumption of Knowledge

Source-Sensitive Belief Change

Non-Revision Reasoning With Inconsistent Ontology

AGM Belief Revision, Semantically

A Developmental Study on the Belief Bias Effect in Reasoning of the Syllogisms

Non-revision Reasoning Without Redundancy in Predicate Logic

Conditional Inference and Probability Judgment

Comparative Uncertainty, Belief Functions and Accepted Beliefs

AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)

ECs-based reasoning for group decision analysis in the mislabeled classification context

Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories