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.