Révision par r-ensembles de bases de connaissances en DL-LiteR
Résumé
Cet article étudie la révision par "r-ensembles" de bases de connaissances exprimées en DL-Lite en présence d'une nouvelle information plus fiable, appelée "entrée". Cette stratégie de révision repose sur la minimisation de l'incohérence. Nous considérons différentes formes d'entrée : une assertion d'appartenance ou un axiome d'inclusion positif ou négatif. Nous donnons les propriétés logiques des opérateurs de révision proposés en termes de postulats. Nous montrons enfin comment utiliser la notion d'échantillon ("hitting sets") pour calculer les r-ensembles. En particulier, nous montrons que pour certaines stratégies de révision et certains types d'entrées la révision par rensembles peut être réalisée en temps polynomial.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...