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 314kB |
Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf
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.
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: | |
Statistics: | download |
Deposited On: | 15 Nov 2019 15:24 |
Repository Staff Only: item control page