OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Cayrol, Claudette and Dubois, Didier and Touazi, Fayçal La logique possibiliste avec poids symboliques : une preuve de complétude. (2015) In: 24eme Conference Francophone sur la Logique Floue et ses Applications (LFA 2015), 5 November 2015 - 6 November 2015 (Poitiers, France).

[img]
Preview
(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
271kB

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Cepadues editor. This papers appears in LFA 2015 ISBN : 9782364935105
HAL Id:hal-01316851
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (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 By: IRIT IRIT
Deposited On:22 Apr 2016 14:09

Repository Staff Only: item control page