Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Query answering under the any-world assumption for normal logic programs. In: International Conference on Principles of Knowledge Representation (KR-06) (Lake District, 2-5 June 2006). Proceedings, pp. 329 - 339. AAAI Press, 2006.
Recently, Loyer and Straccia have defined the Any-World Assumption (AWA) for normal logic programs as a generalization of the well-known notions of Closed World Assumption (CWA) and the Open World Assumption (OWA). The AWA allows any assignment (i.e. interpretation), over a truth space (bilattice), to be a default assumption and, thus, the CWA and OWA are just special cases. While a declarative and a fixed-point characterization for normal logic programs under the AWA has been given, the topic of this paper is to provide a simple, yet general top-down query answering procedure for this setting.
Subject Logic programming
Query answering
Any-world assuption
I.2.4 Knowledge Representation Formalisms and Methods

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