Révision par r-ensembles de bases de connaissances en DL-LiteR - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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.
Fichier principal
Vignette du fichier
rfia2014_submission_57.pdf (111 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00989224 , version 1 (09-05-2014)

Identifiants

  • HAL Id : hal-00989224 , version 1

Citer

Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel. Révision par r-ensembles de bases de connaissances en DL-LiteR. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, Rouen, France. ⟨hal-00989224⟩
181 Consultations
575 Téléchargements

Partager

Gmail Facebook X LinkedIn More