English
Related papers

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

200 papers

AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich…

Logic in Computer Science · Computer Science 2021-01-06 Marlo Souza , Álvaro Moreira , Renata Vieira

Machine learning is a quickly evolving field which now looks really different from what it was 15 years ago, when classification and clustering were major issues. This document proposes several trends to explore the new questions of modern…

Artificial Intelligence · Computer Science 2015-04-16 Thomas Burger

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 introduced the Horn knowledge base dynamics to deal with two important points:…

Logic in Computer Science · Computer Science 2014-05-23 Radhakrishnan Delhibabu

Theory of Mind (ToM) is central to social cognition and human-AI interaction, and Large Language Models (LLMs) have been used to help understand and represent ToM. However, most evaluations treat ToM as a static judgment at a single moment,…

Artificial Intelligence · Computer Science 2026-03-17 Thuy Ngoc Nguyen , Duy Nhat Phan , Cleotilde Gonzalez

As AI systems are integrated into social networks, there are AI safety concerns that AI-generated content may dominate the web, e.g. in popularity or impact on beliefs. To understand such questions, this paper proposes the Digital Ecosystem…

Artificial Intelligence · Computer Science 2025-11-04 David M. Bossens , Shanshan Feng , Yew-Soon Ong

Evolution of belief systems has always been in focus of cognitive research. In this paper we delineate a new model describing belief systems as a network of statements considered true. Testing the model a small number of parameters enabled…

Artificial Intelligence · Computer Science 2008-07-04 Miklos Antal , Laszlo Balogh

We consider credibility-limited revision in the framework of belief change for epistemic spaces, permitting inconsistent belief sets and inconsistent beliefs. In this unrestricted setting, the class of credibility-limited revision operators…

Artificial Intelligence · Computer Science 2024-09-12 Kai Sauerwald

While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and probability is still an issue in practice. This question is difficult, since the…

Logic in Computer Science · Computer Science 2011-10-03 Frederic Dambreville

A stream of algorithmic advances has steadily increased the popularity of the Bayesian approach as an inference paradigm, both from the theoretical and applied perspective. Even with apparent successes in numerous application fields, a…

Methodology · Statistics 2020-07-10 Owen Thomas , Henri Pesonen , Jukka Corander

In this study I proposed a filtering beliefs method for improving performance of Partially Observable Markov Decision Processes(POMDPs), which is a method wildly used in autonomous robot and many other domains concerning control policy. My…

Artificial Intelligence · Computer Science 2021-01-07 Oscar LiJen Hsu

As large language models (LLMs) continue to demonstrate remarkable abilities across various domains, computer scientists are developing methods to understand their cognitive processes, particularly concerning how (and if) LLMs internally…

Artificial Intelligence · Computer Science 2025-03-17 Daniel A. Herrmann , Benjamin A. Levinstein

Belief systems are often treated as globally consistent sets of propositions or as scalar-valued probability distributions. Such representations tend to obscure the internal structure of belief, conflate external credibility with internal…

Artificial Intelligence · Computer Science 2025-08-06 Saleh Nikooroo

Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical…

Artificial Intelligence · Computer Science 2018-02-15 Isabelle Bloch , Jérôme Lang , Ramón Pino Pérez , Carlos Uzcátegui

This work addresses challenges in evaluating adaptive artificial intelligence (AI) models for medical devices, where iterative updates to both models and evaluation datasets complicate performance assessment. We introduce a novel approach…

Artificial Intelligence · Computer Science 2026-04-07 Alexis Burgon , Berkman Sahiner , Nicholas A Petrick , Gene Pennello , Ravi K Samala

We look at preference change arising out of an interaction between two elements: the first is an initial preference ranking encoding a pre-existing attitude; the second element is new preference information signaling input from an…

Artificial Intelligence · Computer Science 2021-12-30 Adrian Haret , Johannes P. Wallner

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

When engaging in argumentative discourse, skilled human debaters tailor claims to the beliefs of the audience, to construct effective arguments. Recently, the field of computational argumentation witnessed extensive effort to address the…

Computation and Language · Computer Science 2021-01-27 Milad Alshomary , Wei-Fan Chen , Timon Gurcke , Henning Wachsmuth

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

Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can (and often are) discussed without mentioning epistemics, it…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-12 Giorgio Cignarale , Roman Kuznets

Model retraining is usually treated as an ongoing maintenance task. But as Harrison Katz now argues, retraining can be better understood as approximate Bayesian inference under computational constraints. The gap between a continuously…

Artificial Intelligence · Computer Science 2026-03-27 Harrison Katz