English
Related papers

Related papers: Modeling Belief in Dynamic Systems, Part II: Revis…

200 papers

Traditional logic-based belief revision research focuses on designing rules to constrain the behavior of revision operators. Frameworks have been proposed to characterize iterated revision rules, but they are often too loose, leading to…

Artificial Intelligence · Computer Science 2025-05-13 Hua Meng , Zhiguo Long , Michael Sioutis , Zhengchun Zhou

We propose a framework for general Bayesian inference. We argue that a valid update of a prior belief distribution to a posterior can be made for parameters which are connected to observations through a loss function rather than the…

Statistics Theory · Mathematics 2016-02-29 Pier Giovanni Bissiri , Chris Holmes , Stephen Walker

A common assumption in belief revision is that the reliability of the information sources is either given, derived from temporal information, or the same for all. This article does not describe a new semantics for integration but the…

Artificial Intelligence · Computer Science 2021-04-09 Paolo Liberatore

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and…

Artificial Intelligence · Computer Science 2007-05-23 Michael Freund , Daniel Lehmann

A critical issue in the evolution of software models is change propagation: given a primary change that is made to a model in order to meet a new or changed requirement, what additional secondary changes are needed to maintain consistency…

Software Engineering · Computer Science 2014-02-26 Hoa Khanh Dam , Aditya Ghose

In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by…

Logic in Computer Science · Computer Science 2020-04-20 Marc van Zee , Dragan Doder , Leendert van der Torre , Mehdi Dastani , Thomas Icard , Eric Pacuit

The belief revision field is opulent in new proposals and indigent in analyses of existing approaches. Much work hinge on postulates, employed as syntactic characterizations: some revision mechanism is equivalent to some properties.…

Artificial Intelligence · Computer Science 2025-07-04 Paolo Liberatore

We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about…

Artificial Intelligence · Computer Science 2007-05-23 Nir Friedman , Joseph Y. Halpern

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We show that knowledge base dynamics has interesting connection with kernel change…

Artificial Intelligence · Computer Science 2014-11-11 Radhakrishnan Delhibabu

A Bayesian view of data interpretation suggests that a visualization user should update their existing beliefs about a parameter's value in accordance with the amount of information about the parameter value captured by the new…

Human-Computer Interaction · Computer Science 2020-08-11 Yea-Seul Kim , Paula Kayongo , Madeleine Grunde-McLaughlin , Jessica Hullman

We present a general, consistency-based framework for belief change. Informally, in revising K by A, we begin with A and incorporate as much of K as consistently possible. Formally, a knowledge base K and sentence A are expressed, via…

Artificial Intelligence · Computer Science 2007-05-23 James Delgrande , Torsten Schaub

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

The growing use of AI-generated responses in everyday tools raises concern about how subtle features such as supporting detail or tone of confidence may shape people's beliefs. To understand this, we conducted a pre-registered online…

Human-Computer Interaction · Computer Science 2025-11-14 Zekun Wu , Mayank Jobanputra , Vera Demberg , Jessica Hullman , Anna Maria Feit

Do language models have beliefs about the world? Dennett (1995) famously argues that even thermostats have beliefs, on the view that a belief is simply an informational state decoupled from any motivational state. In this paper, we discuss…

Computation and Language · Computer Science 2021-11-29 Peter Hase , Mona Diab , Asli Celikyilmaz , Xian Li , Zornitsa Kozareva , Veselin Stoyanov , Mohit Bansal , Srinivasan Iyer

Large language models (LLMs) increasingly support heterogeneous tasks within a single interface, requiring users to form, update, and act upon beliefs about one system across domains with different reliability profiles. Understanding how…

Human-Computer Interaction · Computer Science 2026-02-03 Shreyan Biswas , Alexander Erlei , Ujwal Gadiraju

Within the formal setting of the Lockean thesis, an agent belief set is defined in terms of degrees of confidence and these are described in probabilistic terms. This approach is of established interest, notwithstanding some limitations…

Artificial Intelligence · Computer Science 2025-07-09 Tommaso Flaminio , Lluis Godo , Ramón Pino Pérez , Lluis Subirana

Belief integration methods are often aimed at deriving a single and consistent knowledge base that retains as much as possible of the knowledge bases to integrate. The rationale behind this approach is the minimal change principle: the…

Artificial Intelligence · Computer Science 2007-05-23 Paolo Liberatore

The AGM theory of belief revision has become an important paradigm for investigating rational belief changes. Unfortunately, researchers working in this paradigm have restricted much of their attention to rather simple representations of…

Artificial Intelligence · Computer Science 2013-01-30 Frans Voorbraak

As AI systems advance beyond human capabilities, scalable oversight becomes critical: how can we supervise AI that exceeds our abilities? A key challenge is that human evaluators may form incorrect beliefs about AI behavior in complex…

Artificial Intelligence · Computer Science 2025-10-22 Leon Lang , Patrick Forré

In this paper we, an epistemologist and a machine learning scientist, argue that we need to pursue a novel area of philosophical research in AI - the ethics of belief for AI. Here we take the ethics of belief to refer to a field at the…

Computers and Society · Computer Science 2024-04-16 Winnie Ma , Vincent Valton