Reasoning with Multiple-Agent Possibilistic Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Reasoning with Multiple-Agent Possibilistic Logic

Résumé

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.
Fichier principal
Vignette du fichier
belhadi_17240.pdf (246.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01445235 , version 1 (24-01-2017)

Identifiants

  • HAL Id : hal-01445235 , version 1
  • OATAO : 17240

Citer

Asma Belhadi, Didier Dubois, Faiza Khellaf, Henri Prade. Reasoning with Multiple-Agent Possibilistic Logic. 10th International Conference on Scalable Uncertainty Management (SUM 2016), Oct 2016, Nice, France. pp. 67-80. ⟨hal-01445235⟩
79 Consultations
102 Téléchargements

Partager

Gmail Facebook X LinkedIn More