Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
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 :
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 :
avril 2016
Nom de la manifestation :
15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Lieu de la manifestation :
Cape Town, Afrique du Sud
Date de la manifestation :
25-29 April 2016
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16)
Editeur scientifique :
Baral, Chitta
Delgrande, James
Wolter, Frank
Maison d'édition :
AAAI Press
ISBN/EAN :
978-1-57735-755-1
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.
