Algorithme d'inférence pour la logique possibiliste multiagents
Cet article présente une extension multi-agents de
la logique propositionnelle, dont les formules sont des
paires (a,A) où a est une formule propositionnelle et A
un sous-ensemble d'agents. La formule (a,A) exprime
que (au moins) tous les agents dans A croient que a est
vraie. Une méthode de réfutation, basée sur un principe
de résolution généralisé, utilisant une stratégie linéaire est
proposée. Cette stratégie linéaire est ensuite étendue en
prenant en compte des degrés de certitude dans des formules
de la forme (a, alpha/A) (exprimant que les agents de
A sont certains au moins au degré ? que a est vrai). Cela
permet de généraliser la méthode de réfutation de la logique
possibiliste à la logique multi-agents possibiliste.
This paper presents a multiple agent extension of classical
logic, a logic whose formulas are pairs of the form
(a,A), where a is a proposition and A a subset of agents.
Formula (a,A) expresses that (at least) all agents in A
believe that a is true. A refutation method, based on a generalized
resolution principle, using a linear strategy is
proposed. This linear strategy is then extended for taking
into account certainty degrees in formulas of the form
(a, ?/A) expressing that all agents in A are certain that a
is true at least at level ?). This allows us to generalize the
refutation method of possibilistic logic to multiple agent
possibilistic logic.
