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

Claudette Cayrol (1) , Didier Dubois (1, 2) , Fayçal Touazi (3)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique
3 IRIT - Institut de recherche en informatique de Toulouse

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.

Mots clés: Complétude; Logique possibiliste; Ordre partiel

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

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⟩