Skip to main content Accessibility help
×
Home

Disjunctive ASP with functions: Decidable queries and effective computation*

  • MARIO ALVIANO (a1), WOLFGANG FABER (a1) and NICOLA LEONE (a1)

Abstract

Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASPfs). We show that query answering in this setting is decidable, if the query is finitely recursive (ASPfsfr). Our proof yields also an effective method for query evaluation. It is done by extending the magic set technique to ASPfsfr. We show that the magic-set rewritten program is query equivalent to the original one (under both brave and cautious reasoning). Moreover, we prove that the rewritten program is also finitely ground, implying that it is decidable. Importantly, finitely ground programs are evaluable using existing ASP solvers, making the class of ASPfsfr queries usable in practice.

Copyright

References

Hide All
Alviano, M., Faber, W., Greco, G., and Leone, N. 2009. Magic Sets for Disjunctive Datalog Programs. Technical Report 09/2009, Dipartimento di Matematica, Università della Calabria, Italy. http://www.wfaber.com/research/papers/TRMAT092009.pdf.
Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
Baselice, S., Bonatti, P. A., and Criscuolo, G. 2009. On finitely recursive programs. Theory and Practice of Logic Programming 9, 2, 213238.
Beeri, C. and Ramakrishnan, R. 1991. On the power of magic. Journal of Logic Programming 10, 1–4, 255259.
Bonatti, P. A. 2002. Reasoning with infinite stable models II: Disjunctive programs. In Proceedings of the 18th International Conference on Logic Programming (ICLP 2002). Lecture Notes in Computer Science, vol. 2401. Springer, 333346.
Bonatti, P. A. 2004. Reasoning with infinite stable models. Artificial Intelligence 156, 1, 75111.
Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S., and Vanhoof, W. 2007. Termination analysis of logic programs through combination of type-based norms. ACM Transactions on Programming Languages and Systems (TOPLAS) 29, 2, 10.
Cabalar, P. 2008. Partial Functions and Equality in Answer Set Programming. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008). Lecture Notes in Computer Science, vol. 5366. Springer, Udine, Italy, 392406.
Calimeri, F., Cozza, S., Ianni, G., and Leone, N. 2008a. Computable Functions in ASP: Theory and implementation. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008). Lecture Notes in Computer Science, vol. 5366. Springer, Udine, Italy, 407424.
Calimeri, F., Cozza, S., Ianni, G., and Leone, N. 2008b. DLV-Complex homepage. http://www.mat.unical.it/dlv-complex.
Calimeri, F., Cozza, S., Ianni, G., and Leone, N. 2009. Magic sets for the bottom-up evaluation of finitely recursive programs. In Logic Programming and Nonmonotonic Reasoning — 10th International Conference (LPNMR 2009), Erdem, E., Lin, F., and Schaub, T., Eds. Lecture Notes in Computer Science, vol. 5753. Springer, 7186.
Eiter, T. and Simkus, M. 2009. Bidirectional answer set programs with function symbols. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Boutilier, C., Ed. Springer, Pasadena, CA, 765771.
Gebser, M., Schaub, T., and Thiele, S. 2007. Gringo: A new grounder for answer set programming. In Logic Programming and Nonmonotonic Reasoning—9th International Conference, LPNMR'07, Baral, C., Brewka, G., and Schlipf, J., Eds. Lecture Notes in Computer Science, vol. 4483. Springer, Tempe, Arizona, 266271.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365385.
Greco, S. 2003. Binding propagation techniques for the optimization of bound disjunctive queries. IEEE Transactions on Knowledge and Data Engineering 15, 2 (March/April), 368385.
Kemp, D. B., Srivastava, D., and Stuckey, P. J. 1995. Bottom-up evaluation and query optimization of well-founded models. Theoretical Computer Science 146, 145184.
Leone, N., Rullo, P., and Scarcello, F. 1997. Disjunctive stable models: Unfounded sets, fixpoint semantics and computation. Information and Computation 135, 2 (June), 69112.
Lierler, Y. and Lifschitz, V. 2009. One more decidable class of finitely ground programs. In Proceedings of the 25th International Conference on Logic Programming (ICLP 2009). Lecture Notes in Computer Science, vol. 5649. Springer, Pasadena, CA, 489493.
Lin, F. and Wang, Y. 2008. Answer set programming with functions. In Proceedings of Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR2008). AAAI Press, Sydney, Australia, 454465.
Simkus, M. and Eiter, T. 2007. FDNC: Decidable non-monotonic disjunctive logic programs with function symbols. In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007). Lecture Notes in Computer Science, vol. 4790. Springer, 514530.
Syrjänen, T. 2001. Omega-restricted logic programs. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Springer, Vienna, Austria, 267279.
Tärnlund, S.-Å. 1977. Horn clause computability. BIT Numerical Mathematics 17, 2 (June), 215226.
Ullman, J. D. 1989. Principles of Database and Knowledge Base Systems. Computer Science Press.

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed