OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Cayrol, Claudette and Dubois, Didier and Touazi, Fayçal Possibilistic reasoning from partially ordered belief bases with the sure thing principle. (2018) Journal of applied logics: The IfCoLog Journal of Logics and their Applications, 5 (1). 5-40. ISSN 2055-3706

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf


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.

Item Type:Article
Additional Information:ISBN 978-1-84890-274-9 http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf
HAL Id:hal-02378368
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:15 Nov 2019 15:24

Repository Staff Only: item control page