English
Related papers

Related papers: Modeling Belief in Dynamic Systems, Part I: Founda…

200 papers

I propose a framework for an agent to change its probabilistic beliefs when a new piece of propositional information $\alpha$ is observed. Traditionally, belief change occurs by either a revision process or by an update process, depending…

Artificial Intelligence · Computer Science 2016-04-08 Gavin Rens

There is a clear desire to model and comprehend human behavior. Trends in research covering this topic show a clear assumption that many view human reasoning as the presupposed standard in artificial reasoning. As such, topics such as game…

Artificial Intelligence · Computer Science 2022-05-16 Andrew Fuchs , Andrea Passarella , Marco Conti

We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is…

Logic in Computer Science · Computer Science 2023-09-13 Ricardo Guimarães , Ana Ozaki , Jandson S. Ribeiro

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

In the classic AGM belief revision theory, beliefs are static and do not change their own shape. For instance, if p is accepted by a rational agent, it will remain p to the agent. But such rarely happens to us. Often, when we accept some…

Artificial Intelligence · Computer Science 2016-01-28 Ryuta Arisaka

Belief revision is the process in which an agent incorporates a new piece of information together with a pre-existing set of beliefs. When the new information comes in the form of a report from another agent, then it is clear that we must…

Artificial Intelligence · Computer Science 2014-05-02 Aaron Hunter

Existing approaches for generating human-aware agent behaviors have considered different measures of interpretability in isolation. Further, these measures have been studied under differing assumptions, thus precluding the possibility of…

Artificial Intelligence · Computer Science 2021-04-23 Sarath Sreedharan , Anagha Kulkarni , David E. Smith , Subbarao Kambhampati

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

We investigate the belief revision problem in epistemic planning, i.e., what will be the beliefs of all agents in a multi-agent system after an agent gains the belief in some state property. Based on the standard representation in epistemic…

Artificial Intelligence · Computer Science 2026-05-05 Michael Thielscher , Tran Cao Son

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. In order to apply the rationality result of belief dynamics theory to various…

Logic in Computer Science · Computer Science 2015-01-28 Radhakrishnan Delhibabu

To enable effective human-AI collaboration, merely optimizing AI performance without considering human factors is insufficient. Recent research has shown that designing AI agents that take human behavior into account leads to improved…

Artificial Intelligence · Computer Science 2025-05-21 Guanghui Yu , Robert Kasumba , Chien-Ju Ho , William Yeoh

Across a growing number of fields, human decision making is supported by predictions from AI models. However, we still lack a deep understanding of the effects of adoption of these technologies. In this paper, we introduce a general…

Artificial Intelligence · Computer Science 2026-02-26 Otto Nyberg , Fausto Carcassi , Giovanni Cinà

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

We present a model for studying communities of epistemically interacting agents who update their belief states by averaging (in a specified way) the belief states of other agents in the community. The agents in our model have a rich belief…

Physics and Society · Physics 2014-05-15 Sylvia Wenmackers , Danny E. P. Vanpoucke , Igor Douven

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

Interpretability is the study of explaining models in understandable terms to humans. At present, interpretability is divided into two paradigms: the intrinsic paradigm, which believes that only models designed to be explained can be…

Machine Learning · Computer Science 2024-11-14 Andreas Madsen , Himabindu Lakkaraju , Siva Reddy , Sarath Chandar

The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for…

Artificial Intelligence · Computer Science 2024-01-18 Edwin J. Beggs , John V. Tucker

We investigate estimating a human's world belief state using a robot's observations in a dynamic, 3D, and partially observable environment. The methods are grounded in mental model theory, which posits that human decision making, contextual…

Robotics · Computer Science 2026-04-14 Jack Kolb , Aditya Garg , Nikolai Warner , Karen M. Feigh

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

Consensus formation is investigated for multi-agent systems in which agents' beliefs are both vague and uncertain. Vagueness is represented by a third truth state meaning \emph{borderline}. This is combined with a probabilistic model of…

Multiagent Systems · Computer Science 2018-01-15 Michael Crosscombe , Jonathan Lawry