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 etudie la revision des bases de connaissances DL-Lite stratifiees en presence d'une nouvelle information, eventuellement incertaine, appelee "entree". Pour exprimer les connaissances stratifiees, nous utilisons une logique DL-Lite possibiliste. Nous etudions d'abord la revision au niveau semantique a travers le conditionnement des distributions de possibilites. En particulier, nous montrons que dans certains cas un tel conditionnement a des resultats contre-intuitifs compares aux resultats de la revision syntaxique. Nous etudions ensuite la revision au niveau syntaxique des bases de connaissances DL-Lite possibiliste. Enfin, nous montrons que ce processus de revision a une contrepartie semantique. This paper investigates revision of prioritized DL-Lite knowledge bases when a new input piece of information, possibly conflicting or uncertain, becomes available. To encode the prioritized knowledge, we use a possibility theory-based DL-Lite logic. We first study revision at the semantic level consisting in directly conditioning possibility distributions. In particular, we show that such conditioning provides in some situations some counterintuitive results compared with the ones of conditioning directly the knowledge base syntactically. We then study revision at the syntactic level of possibilistic DLLite knowledge bases. Finally, we show that such revision process has a meaningful semantic counterpart.
La logique possibiliste à intervalles est un formalisme flexible étendant la logique possibiliste standard tel que chaque expression logique est associée à un sousintervalle de [0, 1]. Ce papier se concentre sur le problème important que représente le conditionnement dans les cadres possibilistes à intervalles. La première partie de ce papier propose un ensemble de propriétés naturelles à satisfaire. Nous donnons ensuite une définition naturelle et sûre du conditionnement dans les distributions possibilistes à intervalles. Elle consiste à appliquer le conditionnement standard sur l'ensemble de toutes les distributions compatibles associées. La seconde partie de ce papier fournit l'équivalent syntaxique du calcul du conditionnement quand les distributions sont encodées de manière compacte à l'aide de bases de connaissances possibilistes à intervalles. Nous montrons que le conditionnement à intervalles a la même complexité que le conditionnement de bases possibilistes standards.