Skip to Main content Skip to Navigation
New interface
Conference papers

Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative

Valmi Dufour-Lussier 1 Alice Hermann 1 Florence Le Ber 2 Jean Lieber 1 
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 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 result is a disjunction of belief bases that is not necessarily representable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional closures: 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 algorithm 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 metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Jean Lieber Connect in order to contact the contributor
Submitted on : Thursday, December 11, 2014 - 2:35:35 PM
Last modification on : Tuesday, October 25, 2022 - 4:19:48 PM
Long-term archiving on: : Thursday, March 12, 2015 - 10:47:14 AM


Files produced by the author(s)


  • HAL Id : hal-01093977, version 1


Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber. Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative. JIAF-2014 -- Huiti{\`e}mes Journ{\'e}es de l'Intelligence Artificielle Fondamentale, Jun 2014, Angers, France. pp.10. ⟨hal-01093977⟩



Record views


Files downloads