中文
相关论文

相关论文: Modeling Belief in Dynamic Systems, Part I: Founda…

200 篇论文

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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

物理与社会 · 物理学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

多智能体系统 · 计算机科学 2018-01-15 Michael Crosscombe , Jonathan Lawry