Skip to Main content Skip to Navigation
Journal articles

Possibilistic reasoning from partially ordered belief bases with the sure thing principle

Abstract : We consider the problem of reasoning from logical bases equipped with a partial order expressing relative certainty, with a view to construct a partially ordered deduc-tive closure via syntactic inference. At the syntactic level we use a language expressing pairs of related formulas and axioms describing the properties of the order. Reasoning about uncertainty using possibility theory relies on the idea that if an agent believes each among two propositions to some extent, then this agent should believe their conjunction to the same extent. This principle is known as adjunction. Adjunction is often accepted in epistemic logic but fails with probabilistic reasoning. In the latter, another principle prevails, namely the sure thing principle, that claims that the certainty ordering between propositions should be invariant to the addition or deletion of possible worlds common to both sets of models of these propositions. Pursuing our work on relative certainty logic based on possibility theory, we propose a qualitative likelihood logic that respects the sure thing principle, albeit using a likelihood relation that preserves adjunction.
Document type :
Journal articles
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, November 25, 2019 - 10:48:19 AM
Last modification on : Monday, July 4, 2022 - 9:12:59 AM
Long-term archiving on: : Wednesday, February 26, 2020 - 2:39:35 PM


Files produced by the author(s)


  • HAL Id : hal-02378368, version 1
  • OATAO : 22201


Claudette Cayrol, Didier Dubois, Fayçal Touazi. Possibilistic reasoning from partially ordered belief bases with the sure thing principle. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2018, 5 (1), pp.5-40. ⟨hal-02378368⟩



Record views


Files downloads