Belief revision in the propositional closure of a qualitative algebra

Valmi Dufour-Lussier 1, * Alice Hermann 1 Florence Le Ber 2 Jean Lieber 1
* Corresponding author
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01094264
Contributor : Valmi Dufour-Lussier <>
Submitted on : Thursday, December 11, 2014 - 11:43:44 PM
Last modification on : Friday, May 24, 2019 - 10:56:18 AM
Long-term archiving on : Thursday, March 12, 2015 - 11:25:56 AM

Files

definitif.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01094264, version 1
  • ARXIV : 1412.3908

Relations

Citation

Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. Belief revision in the propositional closure of a qualitative algebra . 14th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienne, Austria. pp.4. ⟨hal-01094264⟩

Share

Metrics

Record views

395

Files downloads

157