OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Bipolar Possibility Theory as a Basis for a Logic of Desire and Beliefs

Dubois, Didier and Lorini, Emiliano and Prade, Henri Bipolar Possibility Theory as a Basis for a Logic of Desire and Beliefs. (2013) In: 7th International Conference on Scalable Uncertainty Management (SUM 2013), 16 September 2013 - 18 September 2013 (Washington, DC, United States).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-642-40381-1_16

Abstract

Bipolar possibility theory relies on the use of four set functions. On the one hand, a weak possibility and a strong necessity measure are increasing set functions, which are respectively max-decomposable with respect to union and min-decomposable with respect to intersection. On the other hand, strong possibility and weak necessity measures are two decreasing set functions, which are respectively min-decomposable with respect to union and max-decomposable with respect to intersection. In the first part of the paper we advocate the use of the last two functions for modeling a notion of graded desire. Moreover, we show that the combination of weak possibility and strong possibility allows us to model a notion of realistic desire, i.e., a desire that does not only account for satisfactoriness but also for its epistemic possibility. In the second part of the paper we show that possibility theory offers a semantic basis for developing a modal logic of beliefs and desires.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8078 Lecture Notes in Artificial intelligence ISSN : 0302-9743. ISBN: 978-3-642-40380-4. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-40381-1_16
HAL Id:hal-01212923
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:14 Sep 2015 09:55

Repository Staff Only: item control page