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.

Believability Based Iterated Belief Revision

Optimal Belief Revision

The Research of Multi-agent Belief Revision

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

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

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach

Belief Revision and Trust

Belief Revision: The Adaptability of Large Language Models Reasoning

A Computational Method of General Belief Revision

Moderated revision

Conditional Evidence Theory and Its Application in Knowledge Discovery

Argumentation-Based Non-Monotonic Reasoning of Agents

Iterated Belief Change, Computationally

Belief Base Revision for Further Improvement of Unified Answer Set Programming

Credibility-Limited Revision for Epistemic Spaces

Cognitive Bias and Belief Revision

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

Belief Conditioning Rules (BCRs)

Representing states in iterated belief revision

Dynamic Logic for Belief Revision

AGM Belief Revision, Semantically