La logique possibiliste avec poids symboliques : une preuve de complétude - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

La logique possibiliste avec poids symboliques : une preuve de complétude

Abstract

On considère une variante de la logique possibiliste, déjà proposée par Benferhat et coll., où les poids attachés aux formules sont remplacés par des variables symboliques à valeur sur une échelle totalement ordonnée. On suppose qu’on ne dispose que de contraintes de domination stricte entre ces poids inconnus. Dans ce cas, on peut étendre la sémantique et l’axiomatisation de la logique possibiliste, mais sa complétude nécessite une nouvelle preuve qui est décrite ici. La mise en oeuvre de cette logique peut exploiter des techniques de recherche de sousbases maximales consistantes et de raisonnement abductif.
Fichier principal
Vignette du fichier
cayrol_15486.pdf (264.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01316851 , version 1 (17-05-2016)

Identifiers

  • HAL Id : hal-01316851 , version 1
  • OATAO : 15486

Cite

Claudette Cayrol, Didier Dubois, Fayçal Touazi. La logique possibiliste avec poids symboliques : une preuve de complétude. 24eme Conference Francophone sur la Logique Floue et ses Applications (LFA 2015), Nov 2015, Poitiers, France. pp. 169-176. ⟨hal-01316851⟩
100 View
211 Download

Share

Gmail Facebook X LinkedIn More