English
Related papers

Related papers: Belief Revision and Rational Inference

200 papers

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can…

Artificial Intelligence · Computer Science 2007-05-23 Gerhard Brewka

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

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 belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a…

Artificial Intelligence · Computer Science 2020-06-30 Jake Chandler , Richard Booth

Several forms of iterable belief change exist, differing in the kind of change and its strength: some operators introduce formulae, others remove them; some add formulae unconditionally, others only as additions to the previous beliefs;…

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

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

We modify a canonical experimental design to identify the effectiveness of retractions. Comparing beliefs after retractions to beliefs (a) without the retracted information and (b) after equivalent new information, we find that retractions…

General Economics · Economics 2025-03-03 Duarte Gonçalves , Jonathan Libgober , Jack Willis

An approach to the revision of logic programs under the answer set semantics is presented. For programs P and Q, the goal is to determine the answer sets that correspond to the revision of P by Q, denoted P * Q. A fundamental principle of…

Artificial Intelligence · Computer Science 2010-07-29 James P. Delgrande

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

The principle of minimal change in belief revision theory requires that, when accepting new information, one keeps one's belief state as close to the initial belief state as possible. This is precisely what the method known as minimal…

Artificial Intelligence · Computer Science 2025-12-01 Edoardo Baccini , Zoé Christoff , Nina Gierasimczuk , Rineke Verbrugge

Frequently we revise our first opinions after talking over with other individuals because we get convinced. Argumentation is a verbal and social process aimed at convincing. It includes conversation and persuasion. In this case, the…

Physics and Society · Physics 2017-04-26 Juan Pablo Pinasco , Viktoriya Semeshenko , Pablo Balenzuela

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 this paper, we argue that to apply rationality result of belief dynamics theory to…

Logic in Computer Science · Computer Science 2014-07-22 Radhakrishnan Delhibabu , Gerhard Lakemeyer

We propose a new approach to belief revision that provides a way to change knowledge bases with a minimum of effort. We call this way of revising belief states optimal belief revision. Our revision method gives special attention to the fact…

Artificial Intelligence · Computer Science 2007-05-23 Carmen Vodislav , Robert E. Mercer

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

We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a…

Artificial Intelligence · Computer Science 2016-08-31 Samir Chopra , Konstantinos Georgatos , Rohit Parikh

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…

Artificial Intelligence · Computer Science 2013-02-18 Didier Dubois , Henri Prade

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…

Artificial Intelligence · Computer Science 2009-12-31 James Delgrande , Torsten Schaub , Hans Tompits , Stefan Woltran

Probability theory, epistemically interpreted, provides an excellent, if not the best available account of inductive reasoning. This is so because there are general and definite rules for the change of subjective probabilities through…

Artificial Intelligence · Computer Science 2013-04-10 Wolfgang Spohn

We address a general representation problem for belief change, and describe two interrelated representations for iterative non-prioritized change: a logical representation in terms of persistent epistemic states, and a constructive…

Artificial Intelligence · Computer Science 2007-05-23 Alexander Bochman

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