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

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 œuvre de cette logique peut exploiter des techniques de recherche de sousbases maximales consistantes et de raisonnement abductif.