Skip to main content
×
×
Home

Functional answer set programming

  • PEDRO CABALAR (a1)
Abstract

In this paper we propose an extension of Answer Set Programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium Logic (QEL), and propose a variant QEL= where the set of functions is partitioned into Herbrand functions (or constructors) and evaluable functions (or operations). We show how this extension has a direct connection to Scott's Logic of Existence, and introduce several useful derived operators, some of them directly borrowed from Scott's formalisation. Using this general framework for arbitrary theories, we proceed to focus on a syntactic subclass that corresponds to normal logic programs with evaluable functions and equality. We provide a translation of this class into function-free normal programs and consider a safety condition so that the resulting program is also safe, under the usual meaning in ASP. Finally, we also establish a formal comparison to Lin and Wang's approach (FASP) dealing with evaluable total functions.

Copyright
References
Hide All
Barringer, H., Cheng, H. and Jones, C. B. 1984. A logic covering undefinedness in program proofs. Acta Informatica 21, 251269.
Bonatti, P. A. 2004. Reasoning with infinite stable models. Artificial Intelligence 156, 75111.
Cabalar, P. 2005. A functional action language front-end [online]. In Presentation at the 3rd Workshop on Answer Set Programming (ASP'05). Accessed January 2011. URL: http://www.dc.fi.udc.es/ai/~cabalar/asp05_C.pdf
Cabalar, P. 2008. Partial functions and equality in answer set programming. In Proc. of the 24th International Conference on Logic Programming, ICLP 2008 (Udine, Italy, December 9–13 2008) de la Banda, M. G. and Pontelli, E., Eds. Lecture Notes in Computer Science, vol. 5366. Springer, 392456.
Cabalar, P. 2009. Existential quantifiers in the rule body. In Proc. of the 23rd Workshop on (Constraint) Logic Programming (WLP'09). Geske, U. and Wolf, A., Eds. Universitätsverlag Potsdam, 5974
Cabalar, P. and Lorenzo, D. 2004. Logic programs with functions and default values. In Proc. of the 9th European Conference on Logics in AI (JELIA'04). Alferes, J. J. and Leite, J., Eds. Lecture Notes in Computer Science, vol. 3229. Springer-Verlag, 294306.
Ferraris, P., Lee, J. and Lifschitz, V. 2007. A new perspective on stable models. In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI'07). Veloso, M. M., Ed. Morgan Kunfmann, 372379.
Gebser, M., Schaub, T. and Thiele, S. 2007. GrinGo : A new grounder for answer set programming. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07). Baral, C., Brewka, G. and Schlipf, J., Eds. Lecture Notes in Computer Science, vol. 4483. Springer, 266271.
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proc. of the 5th International Conference on Logic Programming. Kowalski, R. A. and Bowen, K. A., Eds. MIT Press, 10701080.
Gelfond, M. and Lifschitz, V. 1993. Representing action and change by logic programs. Journal of Logic Programming 17, 301321.
González-Moreno, J. C., Hortalá-González, T., López-Fraguas, F. and Rodríguez-Artalejo, M. 1999. An approach to declarative programming based on a rewriting logic. Journal of Logic Programming 40, 1, 4787.
Hanus, M. 1994. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19, 20, 583628.
Hanus, M. 2007. Multi-paradigm declarative languages. In Proc. of the International Conference on Logic Programming (ICLP 2007). Dahl, V. and Niemelä, I., Eds. Lecture Notes in Computer Science, vol. 4670. Springer, 4575.
Heyting, A. 1930. Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 42–56.
Heyting, A. 1956. Intuitionism. An Introduction. North-Holland.
Lee, J. and Palla, R. 2009. System F2LP – Computing answer sets of first-order formulas. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). Erdem, E., Lin, F. and Schaub, T., Eds. Lecture Notes in Artificial Intelligence 5753. Springer-Verlag, 515521.
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7, 3, 499562.
Lifschitz, V., Pearce, D. and Valverde, A. 2007. A characterization of strong equivalence for logic programs with variables. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07). Baral, C., Brewka, G. and Schlipf, J. S., Eds. Springer-Verlag, 188200.
Lin, F. and Wang, Y. 2008. Answer set programming with functions. In Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08). Brewka, G. and Lang, J., Eds. AAAI Press, 454465
Marek, V. and Truszczyński, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective. Apt, K. R., Marek, V. W., Truszczynski, M. and Warren, D. S., Eds. Springer-Verlag, 169181.
McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13, 2739.
Naish, L. 1991. Adding equations to NU-Prolog. In Proc. of the 3rd International Symposium on Programming Language Implementation and Logic Programming. Maluszynski, J. and Wirsing, M., Eds. Lecture Notes in Computer Science, vol. 528. Springer-Verlag, 1526.
Pearce, D. 1996. A new logical characterisation of stable models and answer sets. In Non Monotonic Extensions of Logic Programming. Proc. NMELP'96 (LNAI 1216). Dix, J., Pereira, L. M. and Przymusinski, T. C., Eds. Springer-Verlag.
Pearce, D. and Valverde, A. 2004. Towards a first order equilibrium logic for nonmonotonic reasoning. In Proc. of the 9th European Conference on Logics in AI (JELIA'04). Alferes, J. J. and Leite, J., Eds. Springer-Verlag, 147160.
Pearce, D. and Valverde, A. 2008. Quantified equilibrium logic and foundations for answer set programs. In Proc. of the 24th International Conference on Logic Programming, ICLP 2008, (Udine, Italy, December 9–13 2008). de la Banda, M. G. and Pontelli, E., Eds. Lecture Notes in Computer Science, vol. 5366. Springer, 546560.
Rodríguez-Artalejo, M. 2001. Functional and constraint logic programming. In Revised Lectures of the International Summer School CCL'99. Hubert, C., Claude, M. and Ralf, T., Eds. Lecture Notes in Computer Science, vol. 2002. Springer, 202270.
Rouveirol, C. 1994. Flattening and saturation: Two representation changes for generalization. Machine Learning 14, 1, 219232.
Scott, D. 1979. Identity and existence in intuitionistic logic. Lecture Notes in Mathematics 753, 660696.
Šimkus, M. and Eiter, T. 2007. Decidable non-monotonic disjunctive logic programs with function symbols. In Proc. of the 14th International Conference on Logic for Programming, Artificial Intelligence. Dershowitz, N. and Voronkov, A., Eds. Lecture Notes in Computer Science, vol. 4790. Springer-Verlag, 514530.
Syrjänen, T. 2001. Omega-restricted logic programs. In Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Eiter, T., Faber, W. and Truszczynski, M., Eds. Lecture Notes in Computer Science, vol. 2173. Springer-Verlag, 267279.
Syrjänen, T. 2007. Lparse 1.0 user's manual [online]. Acessed January 2011. URL: http://www.tcs.hut.fi/Software/smodels/lparse.ps
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

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