Advertisement

ActHEX: Implementing HEX Programs with Action Atoms

  • Michael Fink
  • Stefano Germano
  • Giovambattista Ianni
  • Christoph Redl
  • Peter Schüller
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8148)

Abstract

acthex programs are a convenient tool for connecting stateful external environments to logic programs. In the acthex framework, actual actions on an external environment can be declaratively selected, rearranged, scheduled and then executed depending on intelligence specified in an ASP-based language. We report in this paper about recent improvements of the formal and of the operational acthex programming framework. Besides yielding a significant increase in versatility of the framework, we also present illustrative application showcases and a short evaluation thereof exhibiting computational acthex strengths.

Keywords

Logic Program Action Atom Action Predicate Model Selector Iterative Evaluation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Basol, S., Erdem, O., Fink, M., Ianni, G.: HEX programs with action atoms. In: International Conference on Logic Programming, Technical Communications, pp. 24–33 (2010)Google Scholar
  2. 2.
    Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 2–17. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. 3.
    Calimeri, F., Ianni, G., Perri, S., Zangari, J.: The eternal battle between determinism and nondeterminism: preliminary studies in the sudoku domain. In: RCRA (submitted, 2013)Google Scholar
  4. 4.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In: IJCAI, pp. 90–96. Professional Book Center (2005)Google Scholar
  5. 5.
    Febbraro, O., Leone, N., Grasso, G., Ricca, F.: Jasp: A framework for integrating answer set programming with java. In: KR (2012)Google Scholar
  6. 6.
    Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 190–205. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Michael Fink
    • 1
  • Stefano Germano
    • 2
  • Giovambattista Ianni
    • 2
  • Christoph Redl
    • 1
  • Peter Schüller
    • 3
  1. 1.Institut für InformationssystemeTechnische Universität WienAustria
  2. 2.Dipartimento di Matematica e InformaticaUniversità della CalabriaItaly
  3. 3.Faculty of Engineering and Natural SciencesSabanci UniversityTurkey

Personalised recommendations