OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Symbolic Possibilistic Logic: Completeness and Inference Methods

Cayrol, Claudette and Dubois, Didier and Touazi, Fayçal Symbolic Possibilistic Logic: Completeness and Inference Methods. (2015) In: 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015), 15 July 2015 - 17 July 2015 (Compiègne, France).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-319-20807-7_44

Abstract

This paper studies the extension of possibilistic logic to the case when weights attached to formulas are symbolic and stand for variables that lie in a totally ordered scale, and only partial knowledge is available on the relative strength of these weights. A proof of the soundness and the completeness of this logic according to the relative certainty semantics in the sense of necessity measures is provided. Based on this result, two syntactic inference methods are presented. The first one calculates the necessity degree of a possibilistic formula using the notion of minimal inconsistent sub-base. A second method is proposed that takes inspiration from the concept of ATMS. Notions introduced in that area, such as nogoods and labels, are used to calculate the necessity degree of a possibilistic formula. A comparison of the two methods is provided, as well as a comparison with the original version of symbolic possibilistic logic.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 9161 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-319-20806-0. The original PDF is available at: http://link.springer.com/chapter/10.1007%2F978-3-319-20807-7_44
HAL Id:hal-01334712
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:03 Jun 2016 12:11

Repository Staff Only: item control page