Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Using Defeasible Information to Obtain Coherence
Casini, Giovanni; Meyer, Thomas
2016 • In Baral, Chitta; Delgrande, James; Wolter, Frank (Eds.) Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
[en] 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. In the
propositional case we consider here, this translates to a
propositional formula being satisfiable. We define belief
change operators in a framework of nonmonotonic
preferential reasoning.We show how the introduction of
defeasible information using contraction operators can
be an effective means for obtaining coherence.
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 :
April 2016
Event name :
15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Event place :
Cape Town, South Africa
Event date :
25-29 April 2016
Audience :
International
Main work title :
Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Editor :
Baral, Chitta
Delgrande, James
Wolter, Frank
Publisher :
AAAI Press
ISBN/EAN :
978-1-57735-755-1
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.