Possibilistic reasoning from partially ordered belief bases with the sure thing principle - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
cayrol_22201.pdf (307.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02378368 , version 1 (25-11-2019)

Identifiants

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

Citer

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), 2018, 5 (1), pp.5-40. ⟨hal-02378368⟩
47 Consultations
29 Téléchargements

Partager

Gmail Facebook X LinkedIn More