OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A crash course on generalized possibilistic logic

Dubois, Didier and Prade, Henri A crash course on generalized possibilistic logic. (2018) In: International Conference on Scalable Uncertainty Management (SUM 2018), 3 October 2018 - 5 October 2018 (Milan, Italy).

[img]
Preview
(Document in English)

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

Official URL: https://doi.org/10.1007/978-3-030-00461-3_1

Abstract

This paper proposes a concise overview of the role of possibility theory in logical approaches to reasoning under uncertainty. It shows that three traditions of reasoning under or about uncertainty (set-functions, epistemic logic and three-valued logics) can be reconciled in the setting of possibility theory. We offer a brief presentation of basic possibilistic logic, and of its generalisation that comes close to a modal logic albeit with simpler more natural epistemic semantics. Past applications to various reasoning tasks are surveyed, and future lines of research are also outlined.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 11142 of Lecture Notes in Computer Science ISSN: 0302-9743 ISBN: 978-3-030-00460-6 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-00461-3_1
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:24 May 2019 09:27

Repository Staff Only: item control page