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).
![]() |
(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 - Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (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 On: | 25 Mar 2016 09:37 |
Repository Staff Only: item control page