[en] In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
CASINI, Giovanni ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas; University of Cape Town > Computer Science
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Using Defeasible Information to Obtain Coherence
Date de publication/diffusion :
2016
Nom de la manifestation :
BNAIC 2016 - The 28th Benelux Conference on Artificial intelligence
Lieu de la manifestation :
Amsterdam, Pays-Bas
Date de la manifestation :
10-11 November 2016
Titre de l'ouvrage principal :
BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence
Pagination :
124-125
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Projet FnR :
FNR9181001 - Subjective And Objective Uncertainty In Description Logics, 2014 (01/07/2015-30/06/2017) - Giovanni Casini
Alchourrón, C.; Gardenfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50:510-530.
Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds. 2007. The Description Logic Handbook. Cambridge University Press, 2 edition.
Casini, G., and Straccia, U. 2013. Defeasible inheritance-based description logics. JAIR 48:415-473.
Casini, G., and Straccia, U. forthcoming. Lexicographic closure for defeasible description logics.
Casini, G.; Meyer, T.; Moodley, K.; and Nortje, R. 2014. Relevant closure: A new form of defeasible reasoning for description logics. In Proc. of JELIA 2014, 92-106. Springer.
Giordano, L.; Olivetti, N.; Gliozzi, V.; and Pozzato, G. 2013. A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195:165-202.
Giordano, L.; Olivetti, N.; Gliozzi, V.; and Pozzato, G. 2015. Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226:1-33.
Hansson, S. 1999. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer.
Horridge, M. 2011. Justification based explanation in ontologies. The University of Manchester.
Kern-Isberner, G. 2008. Linking iterated belief change operations to nonmonotonic reasoning. In Brewka, G., and Lang, J., eds., Proceedings of KR 2008, 166-176. AAAI Press.
Kraus, S.; Lehmann, D.; and Magidor, M. 1990. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44:167-207.
Lehmann, D., and Magidor, M. 1992. What does a conditional knowledge base entail? Artif. Intell. 55:1-60.
Lehmann, D. 1995. Another perspective on default reasoning. Ann. of Math. and Artif. Intell. 15(1):61-82.
