La révision des croyances consiste à modifier un état épistémique après l'arrivée de nouvelles informations. Dans cet article, nous nous concentrons sur le problème de la révision itérative multiple des croyances appelée la c-révision. Les états épistémiques sont représentés dans le cadre des fonctions ordinales conditionnelles. La nouvelle information de la c-révision est representée par un ensemble consistant de formules pondérées. Nous montrons que la c-révision a un lien très naturel avec la logique des pénalités.
Les réseaux possibilistes sont des outils importants pour modéliser le raisonnement sous incertitude. Ils permettent de représenter les connaissances d'une façon compacte en les codifiant par une distribution possibiliste jointe. Dans ce papier, nous nous intéressons à la définition d'un nouveau concept : la négation d'un réseau possibiliste, qui permettra la codification de l'inverse de la distribution possibiliste jointe. Par la suite, nous proposerons un algorithme de propagation pour calculer la distribution de possibilités associée à chaque événement. Notre algorithme est basé sur la construction de l'arbre de jonction associé à la structure initiale. Possibilistic networks are important tools for reasoning under uncertainty. They are compact representations of joint possibility distribution that encode available expert knowledge. In this paper, we are interested in defining the concept of negated possibilistic networks which will encode the reverse of a joint possibility distribution. Then, we propose a propagation algorithm to compute a possibility degree of each event. Our algorithm is based on the junction tree associated with the original graphical structure.
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.
L'utilisation du formalisme de la logique de description (DL) pour représenter les connaissances géoraphiques a eu beaucoup d'attentions récemment. Néanmoins, les DLs classiques ne sont pas adaptées pour la représentation des connaissances incomplètes et incertaines, qui caractérisent plusieurs situations du domaine géographique. En outre, elles ne permettent pas de représenter l'information spatio-temporelle. Dans ce papier, nous proposons une extension possibiliste de la très expressive logique de description SROIQ(D), la base du langage OWL2, appelée Poss − SROIQ(D). Cette solution permet de gérer l'incertitude et faire face à l'incohérence dans les applications géographiques. La syntaxe et la sémantique de Poss − SROIQ(D) sont proposées et des exemples illustratifs, du domaine archéologique, sont donnés ainsi que le principe du système d'inférence. The use of description logics (DL) formalism to represent geographical knowledge has received a lot of attention recently. Nevertheless, classical DLs are not suitable to represent incomplete and uncertain knowledge, which represent several situations in geographic domain. In addition they cannot represent the spatio-temporal information usually present in geographical applications. In this paper, we propose a possibilistic extension of the very expressive Description Logic SROIQ(D), the basis of the language OWL2, called Poss − SROIQ(D), as a solution to handling uncertainty and for dealing with inconsistency in geographical applications. Both syntax and semantics of Poss − SROIQ(D) are considered. Illustrative examples, from archaeological domain, are given and the principal of the inference system.
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.