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.