[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 :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Using Defeasible Information to Obtain Coherence
Publication date :
2016
Event name :
BNAIC 2016 - The 28th Benelux Conference on Artificial intelligence
Event place :
Amsterdam, Netherlands
Event date :
10-11 November 2016
Main work title :
BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence
Pages :
124-125
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
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.