Revisiting Grounded Circumscription in Description Logics

Efstathios Delivorias 1 Sebastian Rudolph 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
2 International Center For Computational Logic [TU Dresden]
Institute of Artificial Intelligence [Dresden]
Abstract : Circumscription is a paradigm of non-monotonic logic meant to formalize the common-sense understanding that, among competing theories that represent phenomena equally well, the one with the fewest “abnormal” assumptions should be selected. Several papers have considered ways of adding circumscription to Description Logics. One of the proposals with good computational properties is Grounded Circumscription, introduced by Sengupta, Krishnadi and Hitzler in 2011. Our paper builds on their general idea, but identifies some problems with the original semantics definition, which gives rise to counter-intuitive consequences and renders the proposed tableau algorithm incorrect. We give an example that makes the problem explicit and propose a modification of the semantics that remedies this issue. On the algorithmic side, we show that a big part of the reasoning can actually be transferred to standard Description Logics, for which tools and results already exist.
Type de document :
Communication dans un congrès
Magdalena Ortiz ; Stefan Schlobach. 10th International Conference on Revisiting Grounded Circumscription in Description Logics - RR 2016, Sep 2016, Aberdeen, United Kingdom. Springer, Lecture Notes in Computer Science, 9898, pp.46-60, 2016, Web Reasoning and Rule Systems. 〈http://www.abdn.ac.uk/events/rr-2016/〉. 〈10.1007/978-3-319-45276-0_5〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01400068
Contributeur : Efstathios Delivorias <>
Soumis le : lundi 21 novembre 2016 - 17:51:38
Dernière modification le : jeudi 11 janvier 2018 - 17:01:53

Fichier

groundedscotland.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Efstathios Delivorias, Sebastian Rudolph. Revisiting Grounded Circumscription in Description Logics. Magdalena Ortiz ; Stefan Schlobach. 10th International Conference on Revisiting Grounded Circumscription in Description Logics - RR 2016, Sep 2016, Aberdeen, United Kingdom. Springer, Lecture Notes in Computer Science, 9898, pp.46-60, 2016, Web Reasoning and Rule Systems. 〈http://www.abdn.ac.uk/events/rr-2016/〉. 〈10.1007/978-3-319-45276-0_5〉. 〈lirmm-01400068〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

115