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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00989224
Contributor : Sébastien Adam <>
Submitted on : Friday, May 9, 2014 - 9:15:58 PM
Last modification on : Wednesday, September 12, 2018 - 1:27:18 AM
Long-term archiving on : Monday, August 11, 2014 - 3:25:13 PM

File

rfia2014_submission_57.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00989224, version 1

Citation

Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel. Révision par r-ensembles de bases de connaissances en DL-LiteR. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France. ⟨hal-00989224⟩

Share

Metrics

Record views

279

Files downloads

218