English
Related papers

Related papers: Probabilistic Belief Change: Expansion, Conditioni…

200 papers

Belief revision and update, two significant types of belief change, both focus on how an agent modify her beliefs in presence of new information. The most striking difference between them is that the former studies the change of beliefs in…

Artificial Intelligence · Computer Science 2023-10-31 Quanlong Guan , Tong Zhu , Liangda Fang , Junming Qiu , Zhao-Rong Lai , Weiqi Luo

We are interested in belief revision involving conditional statements where the antecedent is almost certainly false. To represent such problems, we use Ordinal Conditional Functions that may take infinite values. We model belief change in…

Artificial Intelligence · Computer Science 2016-04-01 Aaron Hunter

In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agents beliefs…

Artificial Intelligence · Computer Science 2014-01-17 Aaron Hunter , James P. Delgrande

We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial belief set and K-A be the…

Artificial Intelligence · Computer Science 2023-07-13 Giacomo Bonanno

We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory…

Artificial Intelligence · Computer Science 2023-06-22 Emiliano Lorini

A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula a as the theory defined by the set of…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann , Menachem Magidor , Karl Schlechta

Subset models provide a new semantics for justifcation logic. The main idea of subset models is that evidence terms are interpreted as sets of possible worlds. A term then justifies a formula if that formula is true in each world of the…

Logic in Computer Science · Computer Science 2023-10-06 Eveline Lehmann , Thomas Studer

Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint framework. Individual change requirements are qualified by…

Artificial Intelligence · Computer Science 2020-06-03 Kai Sauerwald , Jonas Haldimann , Martin von Berg , Christoph Beierle

In imperfect-information games, agents must make decisions based on partial knowledge of the game state. The Belief Stochastic Game model addresses this challenge by delegating state estimation to the game model itself. This allows agents…

Artificial Intelligence · Computer Science 2025-08-20 Achille Morenville , Éric Piette

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially…

Artificial Intelligence · Computer Science 2022-02-03 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

Knowledge Measures (KMs) aim at quantifying the amount of knowledge/information that a knowledge base carries. On the other hand, Belief Change (BC) is the process of changing beliefs (in our case, in terms of contraction, expansion and…

Artificial Intelligence · Computer Science 2024-03-18 Umberto Straccia , Giovanni Casini

Large language models (LLMs) define a distribution over text, which can be viewed as a probabilistic representation of uncertainty: sampling K responses yields a belief state - responses a model deems plausible. Existing work exploits this…

Computation and Language · Computer Science 2026-05-26 Joris Baan , Wilker Aziz , Barbara Plank , Raquel Fernández

This paper extends the applications of belief-networks to include the revision of belief commitments, i.e., the categorical acceptance of a subset of hypotheses which, together, constitute the most satisfactory explanation of the evidence…

Artificial Intelligence · Computer Science 2013-04-12 Judea Pearl

We establish a generic, model-theoretic characterization of belief revision operators implementing the paradigm of minimal change according to the seminal work by Alchourr\'{o}n, G\"{a}rdenfors, and Makinson (AGM). Our characterization…

Artificial Intelligence · Computer Science 2023-07-07 Faiq Miftakhul Falakh , Sebastian Rudolph , Kai Sauerwald

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is…

Artificial Intelligence · Computer Science 2016-04-05 Zhiqiang Zhuang , James Delgrande , Abhaya Nayak , Abdul Sattar

In this paper we formalise three types of cognitive bias within the framework of belief revision: confirmation bias, framing bias, and anchoring bias. We interpret them generally, as restrictions on the process of iterated revision, and we…

Logic in Computer Science · Computer Science 2023-07-12 Panagiotis Papadamos , Nina Gierasimczuk

This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability…

Artificial Intelligence · Computer Science 2020-09-25 Raïda Ktari , Mohamed Ayman Boujelben

An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is the counterpart to the multiplication law in probability…

Artificial Intelligence · Computer Science 2013-02-28 Didier Dubois , Luis Farinas del Cerro , Andreas Herzig , Henri Prade

We propose a new approach to belief revision that provides a way to change knowledge bases with a minimum of effort. We call this way of revising belief states optimal belief revision. Our revision method gives special attention to the fact…

Artificial Intelligence · Computer Science 2007-05-23 Carmen Vodislav , Robert E. Mercer

Dempster-Shafer's model aims at quantifying degrees of belief But there are so many interpretations of Dempster-Shafer's theory in the literature that it seems useful to present the various contenders in order to clarify their respective…

Artificial Intelligence · Computer Science 2013-04-05 Philippe Smets