English
Related papers

Related papers: Revising Partially Ordered Beliefs

200 papers

Darwiche and Pearl's seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most of the suggestions…

Artificial Intelligence · Computer Science 2018-07-27 Richard Booth , Jake Chandler

Over time, there have hen refinements in the way that probability distributions are used for representing beliefs. Models which rely on single probability distributions depict a complete ordering among the propositions of interest, yet…

Artificial Intelligence · Computer Science 2013-02-28 Paul Snow

The AGM theory of belief revision has become an important paradigm for investigating rational belief changes. Unfortunately, researchers working in this paradigm have restricted much of their attention to rather simple representations of…

Artificial Intelligence · Computer Science 2013-01-30 Frans Voorbraak

A belief base revision is developed. The belief base is represented using Unified Answer Set Programs which is capable of representing imprecise and uncertain information and perform nonomonotonic reasoning with them. The base revision…

Artificial Intelligence · Computer Science 2020-11-24 Kumar Sankar Ray , Sandip Paul , Diganta Saha

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 semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…

Artificial Intelligence · Computer Science 2013-03-26 Jerome Lang , Didier Dubois , Henri Prade

The belief revision field is opulent in new proposals and indigent in analyses of existing approaches. Much work hinge on postulates, employed as syntactic characterizations: some revision mechanism is equivalent to some properties.…

Artificial Intelligence · Computer Science 2025-07-04 Paolo Liberatore

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

The idea of preserving conditional beliefs emerged recently as a new paradigm apt to guide the revision of epistemic states. Conditionals are substantially different from propositional beliefs and need specific treatment. In this paper, we…

Artificial Intelligence · Computer Science 2007-05-23 Gabriele Kern-Isberner

Traditional state estimation methods rely on probabilistic assumptions that often collapse epistemic uncertainty into scalar beliefs, risking overconfidence in sparse or adversarial sensing environments. We introduce the Epistemic…

Information Theory · Computer Science 2025-08-29 Moriba Jah , Van Haslett

In the present paper a new concept of representability is introduced, which can be applied to not total and also to intransitive relations (semiorders in particular). This idea tries to represent the orderings in the simplest manner,…

General Topology · Mathematics 2024-01-25 Gianni Bosi , Asier Estevan , Magali Zuanon

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

Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the…

Artificial Intelligence · Computer Science 2014-05-06 Valmi Dufour-Lussier , Alice Hermann , Florence Le Ber , Jean Lieber

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

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…

Logic in Computer Science · Computer Science 2014-01-08 Paulo Shakarian , Gerardo I. Simari , Marcelo A. Falappa

Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs. In this study here, we present two new sets of belief change operators for logic programs. They…

Artificial Intelligence · Computer Science 2017-03-20 Sebastian Binnewies , Zhiqiang Zhuang , Kewen Wang , Bela Stantic

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

This article presents a formalism inspired by Dennett's notion of the intentional stance. Whereas Dennett's treatment of these concepts is informal, we aim to provide a more formal analogue. We introduce a framework based on stochastic…

Optimization and Control · Mathematics 2025-01-10 Simon McGregor , timorl , Nathaniel Virgo

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…

Databases · Computer Science 2007-05-23 Jan Chomicki , Joyce Song

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