PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Casini G., Straccia U. Defeasible inheritance-based description logics. In: IJCAI 2011 - International Joint Conference on Artificial Intelligence (Barcelona, Spain, July 2011). Proceedings, pp. 813 - 818. Toby Walsh (ed.). AAAI Press/International Joint Conferences on Artificial Intelligence, 2011.
 
 
Abstract
(English)
Defeasible inheritance networks are a non-monotonic framework dealing with hierarchical knowledge. On the other hand, rational closure, a main representative of the preferential approach, is acknowledged as a landmark. We will combine these two approaches and define a new non-monotonic closure operation for propositional knowledge bases that combines the advantages of both. Then we redefine such a procedure for Description Logics, a family of logics well-suited to model structured information. In both cases we will provide a simple reasoning method that is build on top of the classical entailment relation.
URL: http://ijcai.org/papers11/Papers/IJCAI11-142.pdf
Subject Description logics
Rational closure
Non-monotonicity
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional