Révision des bases de connaissances DLLite possibiliste

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.