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.

Belief Change in Nonmonotonic Multi-Context Systems.

AGM Belief Revision, Semantically

Argumentation-Based Non-Monotonic Reasoning of Agents

A general approach to belief change in answer set programming

Semantic Context Enrichment and Shifting Based on Multi-dimensional Association

Belief Change based on Knowledge Measures

A Computational Method of General Belief Revision

Advancing Multi-Context Systems by Inconsistency Management

Optimal Belief Revision

Credibility-Limited Revision for Epistemic Spaces

Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization

A Causality-Based Approach to Assessing Inconsistency for Multi-context Systems.

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

Syntax-Preserving Belief Change Operators for Logic Programs

Moderated revision

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

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

The Research of Multi-agent Belief Revision

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

Finite Based Contraction and Expansion via Models

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach