Skip to Main content Skip to Navigation
Journal articles

Possibilistic reasoning with partially ordered beliefs

Abstract : This paper presents the extension of results on reasoning with totally ordered belief bases to the partially ordered case. The idea is to reason from logical bases equipped with a partial order expressing relative certainty and to construct a partially ordered deductive closure. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent in the partially ordered one. At the syntactic level we can either use a language expressing pairs of related formulas and axioms describing the properties of the ordering, or use formulas with partially ordered symbolic weights attached to them in the spirit of possibilistic logic. A possible semantics consists in assuming the partial order on formulas stems from a partial order on interpretations. It requires the capability of inducing a partial order on subsets of a set from a partial order on its elements so as to extend possibility theory functions. Among different possible definitions of induced partial order relations, we select the one generalizing necessity orderings (closely related to epistemic entrenchments). We study such a semantic approach inspired from possibilistic logic, and show its limitations when relying on a unique partial order on interpretations. We propose a more general sound and complete approach to relative certainty, inspired by conditional modal logics, in order to get a partial order on the whole propositional language. Some links between several inference systems, namely conditional logic, modal epistemic logic and non-monotonic preferential inference are established. Possibilistic logic with partially ordered symbolic weights is also revisited and a comparison with the relative certainty approach is made via mutual translations.
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01280081
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, February 29, 2016 - 8:43:45 AM
Last modification on : Wednesday, June 15, 2022 - 4:16:52 AM
Long-term archiving on: : Monday, May 30, 2016 - 3:18:19 PM

File

Touazi_15023.pdf
Files produced by the author(s)

Identifiers

Citation

Fayçal Touazi, Claudette Cayrol, Didier Dubois. Possibilistic reasoning with partially ordered beliefs. Journal of Applied Logic, Elsevier, 2015, 13 (4), pp.770-798. ⟨10.1016/j.jal.2015.09.002⟩. ⟨hal-01280081⟩

Share

Metrics

Record views

82

Files downloads

146