La logique possibiliste multi-agent : une introduction
La logique possibiliste multi-agent est une extension de la logique possibiliste. Elle manipule des formules de la forme (a, ?/A) où a est une formule propositionnelle, ? ? [0, 1], et A est un sous-ensemble d'agents. Une telle formule permet d'exprimer qu'au moins tous les agents qui sont dans l'ensemble A croient que la formule a est vraie au moins avec un degré de certitude ?. Cet article présente la logique possibiliste multi-agent, établit sa correction et sa complétude, et suggère dans sa conclusion des applications potentielles.
