Abstract:Belief revision is the key change mechanism underlying the psychological intervention known as cognitive behavioral therapy (CBT). It both motivates and reinforces new behavior. In this review we analyze and apply a novel approach to this process based on AGM theory of belief revision, named after its proponents, Carlos Alchourrón, Peter Gärdenfors and David Makinson. AGM is a set-theoretical model. We reconceptualize it as describing a non-linear, dynamical system that occurs within a semantic space, which can be represented as a phase plane comprising all of the brain's attentional, cognitive, affective and physiological resources. Triggering events, such as anxiety-producing or depressing situations in the real world, or their imaginal equivalents, mobilize these assets so they converge on an equilibrium point. A preference function then evaluates and integrates evidentiary data associated with individual beliefs, selecting some of them and comprising them into a belief set, which is a metastable state. Belief sets evolve in time from one metastable state to another. In the phase space, this evolution creates a heteroclinic channel. AGM regulates this process and characterizes the outcome at each equilibrium point. Its objective is to define the necessary and sufficient conditions for belief revision by simultaneously minimizing the set of new beliefs that have to be adopted, and the set of old beliefs that have to be discarded or reformulated. Using AGM, belief revision can be modeled using three (and only three) fundamental syntactical operations performed on belief sets, which are expansion; revision; and contraction. Expansion is like adding a new belief without changing any old ones. Revision is like adding a new belief and changing old, inconsistent ones. Contraction is like changing an old belief without adding any new ones. We provide operationalized examples of this process in action.

Moderated revision

Credibility-Limited Revision for Epistemic Spaces

AGM Belief Revision, Semantically

Optimal Belief Revision

System of Spheres-based Two Level Credibility-limited Revisions

Revision operators with compact representations

Believability Based Iterated Belief Revision

A non-linear dynamical approach to belief revision in cognitive behavioral therapy

Natural revision is contingently-conditionalized revision

Belief Revision: The Adaptability of Large Language Models Reasoning

A Computational Method of General Belief Revision

Relaxation-based revision operators in description logics

Argumentation-Based Non-Monotonic Reasoning of Agents

How To Choose The Optimal Policy In Multi-Agent Belief Revision?

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach

An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update

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

A Logic for Paraconsistent Belief Revision based on Epistemic Entrenchment

A Kripke-Lewis semantics for belief update and belief revision

Cognitive Bias and Belief Revision

Belief Revision and Trust