Supervision : Marie-Jeanne LESOT

Co-supervision : REVAULT D'ALLONNES Adrien

Modal logic weighted extensions for a graded belief framework

Reasoning about belief requires specific tools, so as to take into account their particular properties, among which their subjective nature and their gradualness. The first, essential, that is due to the non-factual nature of beliefs, can be represented in the modal logic formalism. Gradualness allows to modulate beliefs, e. g. distinguishing between a "firm" belief and a "weak" belief. Manipulating such graded beliefs needs to extend modal logics in order to increase their expressiveness.
In a general modal framework, we propose to establish a proportional semantics for weighted modalities, based on classical Kripke models. We examine weighted modal axioms extending their classical counterparts and propose a typology based on four categories, depending on the enrichment of classical axioms and on the equivalence with the classical property of accessibility relation. We also propose a logical system for representing and manipulating graded beliefs, based on a representationalist conception of belief and using fuzzy set theory. We study the induced axiomatics, in particular regarding our proposed axioms for the general weighted modal logic. Finally, we propose two applications of these theoretical models : a model checking tool for weighted modal formulae and an artificial player for a cooperative game in which decision making is based on graded belief reasoning.

2015-2017 Publications

• 2017
  • B. Legastelois : “Extension pondérée des logiques modales dans le cadre des croyances graduelles”, thesis, phd defence 11/30/2017, supervision Lesot, Marie-Jeanne, co-supervision : Revault, D'ALLONNES Adrien (2017)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Typology of Axioms for a Weighted Modal Logic”, International Journal of Approximate Reasoning, vol. 90, pp. 341-358, (Elsevier) (2017)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “A Fuzzy Take on Graded Beliefs”, Advances in Fuzzy Logic and Technology 2017, vol. 642, Advances in Intelligent Systems and Computing, Varsovie, Poland, pp. 392-404, (Springer) (2017)
• 2016
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Négation de croyances graduelles”, Rencontres Francophones sur la Logique Floue et ses Applications, La Rochelle, France (2016)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Belief, semi-belief and unbelief”, Non-classical logics. Theory and applications, Łódź, Poland (2016)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Negation of graded beliefs”, Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, Eindhoven, Netherlands (2016)
• 2015
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Aggregation of belief degrees in graded doxastic logic for conjunction and disjunction”, Non-classical logics. Theory and applications, Toruń, Poland (2015)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Typologie d’axiomes pour une logique modale pondérée”, Journées d'Intelligence Artificielle Fondamentales, IAF'15, Rennes, France (2015)
  • B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Typology of axioms for a weighted modal logic”, Proc. Workshop on Weighted Logics for Artifical Intelligence, WL4AI, IJCAI 2015, Buenos Aires, Argentina, pp. 40-47 (2015)