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

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é α.