OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Logique possibiliste multi-agents : Validité et Complétude

Belhadi, Asma and Dubois, Didier and Khellaf, Faiza and Prade, Henri Logique possibiliste multi-agents : Validité et Complétude. (2015) In: 24ème Conférence sur la Logique Floue et ses Applications (LFA 2015), 5 November 2015 - 6 November 2015 (Poitiers, France).

[img] (Document in French)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
106kB

Abstract

Cet article présente le résultat de la complétude et de la correction de la logique possibiliste multi-agents. La logique possibiliste multi-agents est une extension de la logique possibiliste. Elle manipule des formules de la forme (a, α/A) tels que a est une formule propositionnelle, α ∈ [0, 1] et A un sous-ensemble d’agents. En effet, les propositions sont associées à la fois aux degrés de certitude et aux ensembles d’agents. La logique possibiliste multi-agents permet d’exprimer que : au moins tous les agents qui sont dans l’ensemble A croient que la formule a est vraie a au moins un degré α.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Lavoisier Cépaduès editor. This papers appears in Rencontres Francophones sur la Logique Floue et ses Applications 2015 ISBN : 978-2364935105 The definitive version is available at : http://www.lavoisier.fr/livre/informatique/rencontres-francophones-sur-la-logique-floue-et-ses-applications-2015/collectif-lfa/descriptif_3331992
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:25 Mar 2016 09:37

Repository Staff Only: item control page