English
Related papers

Related papers: Choice Revision

200 papers

In this contribution we explore choice revision, a sort of belief change in which the new information is represented by a set of sentences and the agent could accept some of the sentences while rejecting the others. We propose a generalized…

Logic in Computer Science · Computer Science 2018-05-04 Li Zhang

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 research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions…

Artificial Intelligence · Computer Science 2021-08-18 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

There are several contexts of non-monotonic reasoning where a priority between rules is established whose purpose is preventing conflicts. One formalism that has been widely employed for non-monotonic reasoning is the sceptical one known as…

Artificial Intelligence · Computer Science 2012-11-26 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Matteo Cristani

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and…

Artificial Intelligence · Computer Science 2007-05-23 Michael Freund , Daniel Lehmann

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

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

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…

Artificial Intelligence · Computer Science 2007-05-23 Nir Friedman , Joseph Y. Halpern

Rational belief revision is commonly viewed as being based on a preference order between possible worlds, with the resulting new belief set being those sentences true in all the most preferred models of the incoming new information.…

Artificial Intelligence · Computer Science 2026-05-01 Richard Booth , Ivan Varzinczak

Several rules for social choice are examined from a unifying point of view that looks at them as procedures for revising a system of degrees of belief in accordance with certain specified logical constraints. Belief is here a social…

Artificial Intelligence · Computer Science 2015-05-06 Rosa Camps , Xavier Mora , Laia Saumell

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

Understanding how humans revise their beliefs in light of new information is crucial for developing AI systems which can effectively model, and thus align with, human reasoning. While theoretical belief revision frameworks rely on a set of…

Artificial Intelligence · Computer Science 2025-06-12 Stylianos Loukas Vasileiou , Antonio Rago , Maria Vanina Martinez , William Yeoh

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

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

This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability…

Artificial Intelligence · Computer Science 2020-09-25 Raïda Ktari , Mohamed Ayman Boujelben

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is…

Artificial Intelligence · Computer Science 2016-04-05 Zhiqiang Zhuang , James Delgrande , Abhaya Nayak , Abdul Sattar

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

Natural revision seems so natural: it changes beliefs as little as possible to incorporate new information. Yet, some counterexamples show it wrong. It is so conservative that it never fully believes. It only believes in the current…

Artificial Intelligence · Computer Science 2025-05-27 Paolo Liberatore

People care about decision outcomes and how decisions get made, both when making decisions and reflecting on decisions. But formalizing the full range of normative concerns that drive decisions is an open challenge. We introduce Axiomatic…

Artificial Intelligence · Computer Science 2026-02-11 Ben Abramowitz , Nicholas Mattei

In an earlier paper [Rational choice and AGM belief revision, Artificial Intelligence, 2009] a correspondence was established between the choice structures of revealed-preference theory (developed in economics) and the syntactic belief…

Logic in Computer Science · Computer Science 2019-07-23 Giacomo Bonanno
‹ Prev 1 2 3 10 Next ›