OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Multiple agent possibilistic logic

Belhadi, Asma and Dubois, Didier and Khellaf, Faiza and Prade, Henri Multiple agent possibilistic logic. (2013) Journal of Applied Non-Classical Logics, 23 (4). 299-320. ISSN 1166-3081

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1080/11663081.2013.864470

Abstract

The paper presents a ‘multiple agent’ logic where formulas are pairs of the form (a, A), made of a proposition a and a subset of agents A. The formula (a, A) is intended to mean ‘(at least) all agents in A believe that a is true’. The formal similarity of such formulas with those of possibilistic logic, where propositions are associated with certainty levels, is emphasised. However, the subsets of agents are organised in a Boolean lattice, while certainty levels belong to a totally ordered scale. The semantics of a set of ‘multiple agent’ logic formulas is expressed by a mapping which associates a subset of agents with each interpretation (intuitively, the maximal subset of agents for whom this interpretation is possibly true). Soundness and completeness results are established. Then a joint extension of the multiple agent logic and possibilistic logic is outlined. In this extended logic, propositions are then associated with both sets of agents and certainty levels. A formula then expresses that ‘all agents in set A believe that a is true at least at some level’. The semantics is then given in terms of fuzzy sets of agents that find an interpretation more or less possible. A specific feature of possibilistic logic is that the inconsistency of a knowledge base is a matter of degree. The proposed setting enables us to distinguish between the global consistency of a set of agents and their individual consistency (where both can be a matter of degree). In particular, given a set of multiple agent possibilistic formulas, one can compute the subset of agents that are individually consistent to some degree.

Item Type:Article
Additional Information:Thanks to Taylor & Francis editor. The definitive version is available at http://www.tandfonline.com/doi/abs/10.1080/11663081.2013.864470#.VP7LXuHVp3O
HAL Id:hal-01123493
Audience (journal):International peer-reviewed journal
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:05 Mar 2015 07:30

Repository Staff Only: item control page