中文
相关论文

相关论文: On Limited Non-Prioritised Belief Revision Operato…

200 篇论文

This paper discusses belief revision under uncertain inputs in the framework of possibility theory. Revision can be based on two possible definitions of the conditioning operation, one based on min operator which requires a purely ordinal…

人工智能 · 计算机科学 2013-02-18 Didier Dubois , Henri Prade

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

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…

人工智能 · 计算机科学 2025-07-09 Tommaso Flaminio , Lluis Godo , Ramón Pino Pérez , Lluis Subirana

Revision programming is a formalism to describe and enforce updates of belief sets and databases. That formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantify the confidence…

人工智能 · 计算机科学 2007-05-23 Victor Marek , Inna Pivkina , Miroslaw Truszczynski

Traditional belief revision frameworks often rely on the principle of minimalism, which advocates minimal changes to existing beliefs. However, research in human cognition suggests that people are inherently driven to seek explanations for…

人工智能 · 计算机科学 2024-08-23 Stylianos Loukas Vasileiou , William Yeoh

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

We study here preference revision, considering both the monotonic case where the original preferences are preserved and the nonmonotonic case where the new preferences may override the original ones. We use a relational framework in which…

数据库 · 计算机科学 2007-05-23 Jan Chomicki , Joyce Song

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…

人工智能 · 计算机科学 2021-12-30 Adrian Haret , Johannes P. Wallner

As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime importance when knowledge is prone to change and inconsistency.…

人工智能 · 计算机科学 2015-02-27 Marc Aiguier , Jamal Atif , Isabelle Bloch , Céline Hudelot

A long line of work in social psychology has studied variations in people's susceptibility to persuasion -- the extent to which they are willing to modify their opinions on a topic. This body of literature suggests an interesting…

社会与信息网络 · 计算机科学 2020-11-06 Rediet Abebe , T-H. Hubert Chan , Jon Kleinberg , Zhibin Liang , David Parkes , Mauro Sozio , Charalampos E. Tsourakakis

In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data…

计算机科学中的逻辑 · 计算机科学 2014-01-08 Paulo Shakarian , Gerardo I. Simari , Marcelo A. Falappa

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…

人工智能 · 计算机科学 2022-02-03 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

A {\it dynamic reasoning system} (DRS) is an adaptation of a conventional formal logical system that explicitly portrays reasoning as a temporal activity, with each extralogical input to the system and each inference rule application being…

人工智能 · 计算机科学 2014-04-30 Daniel G. Schwartz

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

In most classical models of belief change, epistemic states are represented by theories (AGM) or formulas (Katsuno-Mendelzon) and the new pieces of information by formulas. The Representation Theorem for revision operators says that…

计算机科学中的逻辑 · 计算机科学 2019-11-01 Nerio Borges , Ramón Pino Pérez

Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we demonstrate how iterated belief change is connected to…

人工智能 · 计算机科学 2022-02-21 Kai Sauerwald , Christoph Beierle

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…

人工智能 · 计算机科学 2014-11-11 Radhakrishnan Delhibabu , Andreas Behrend

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…

人工智能 · 计算机科学 2014-11-11 Radhakrishnan Delhibabu

Prominent approaches to belief revision prescribe the adoption of a new belief that is as close as possible to the prior belief, in a process that, even in the standard case, can be described as attempting to minimize surprise. Here we…

人工智能 · 计算机科学 2021-11-23 Adrian Haret

We address the problem of belief change in (nonmonotonic) logic programming under answer set semantics. Unlike previous approaches to belief change in logic programming, our formal techniques are analogous to those of distance-based belief…

人工智能 · 计算机科学 2009-12-31 James Delgrande , Torsten Schaub , Hans Tompits , Stefan Woltran