Belief revision in the propositional closure of a qualitative algebra

12/12/2014
by   Valmi Dufour-Lussier, et al.
0

Belief revision is an operation that aims at modifying old be-liefs 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 result is a disjunction of belief bases that is not necessarily repre-sentable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional clo-sures: in such a closure, the result of belief revision belongs to the formalism. Moreover, this makes it possible to define a contraction operator thanks to the Harper identity. Belief revision in the propositional closure of QAs is studied, an al-gorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2014

Belief revision in the propositional closure of a qualitative algebra (extended version)

Belief revision is an operation that aims at modifying old beliefs so th...
research
04/25/2014

Belief merging within fragments of propositional logic

Recently, belief change within the framework of fragments of proposition...
research
01/16/2014

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Standard belief change assumes an underlying logic containing full class...
research
01/20/2022

Belief Revision in Sentential Decision Diagrams

Belief revision is the task of modifying a knowledge base when new infor...
research
07/02/2019

Elementary Iterated Revision and the Levi Identity

Recent work has considered the problem of extending to the case of itera...
research
09/03/2021

Situated Conditional Reasoning

Conditionals are useful for modelling, but are not always sufficiently e...
research
06/29/2020

Revision by Conditionals: From Hook to Arrow

The belief revision literature has largely focussed on the issue of how ...

Please sign up or login with your details

Forgot password? Click here to reset