OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Reasoning with Multiple-Agent Possibilistic Logic

Belhadi, Asma and Dubois, Didier and Khellaf, Faiza and Prade, Henri Reasoning with Multiple-Agent Possibilistic Logic. (2016) In: 10th International Conference on Scalable Uncertainty Management (SUM 2016), 21 October 2016 - 23 October 2016 (Nice, France).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-319-45856-4_5

Abstract

In multiple-agent logic, a formula is in the form of (a, A) where a is a propositional formula and A is a subset of agents. It states that at least all agents in A believe that a is true. This paper presents a method of refutation for this logic, based on a general resolution principle and using a linear strategy, which is sound and complete. This strategy is then extended so as to deal with certainty levels. It manipulates formulas in the form (a,α/A) expressing that all agents in set A believe at least at some level α that a is true. Finally, an experimental study is provided with the aim to estimate the performance of the proposed algorithms.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 9858 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-319-45855-7 The original PDF is available at: http://link.springer.com/chapter/10.1007/978-3-319-45856-4_5
HAL Id:hal-01445235
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Other partners > Université des Sciences et de la Technologie Houari Boumediene - USTHB (ALGERIA)
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:12 Jan 2017 13:43

Repository Staff Only: item control page