1 Search Results for "Basol, Selen"

HEX Programs with Action Atoms

Authors: Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

HEX programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectionally accessing external sources of knowledge and/or computation. The original framework, however, does not deal satisfactorily with stateful external environments: the possibility of predictably influencing external environments has thus not yet been considered explicitly. This paper lifts HEX programs to ACTHEX programs: ACTHEX programs introduce the notion of action atoms, which are associated to corresponding functions capable of actually changing the state of external environments. The execution of specific sequences of action atoms can be declaratively programmed. Furthermore, ACTHEX programs allow for selecting preferred actions, building on weights and corresponding cost functions. We introduce syntax and semantics of acthex programs; ACTHEX programs can successfully be exploited as a general purpose language for the declarative implementation of executable specifications, which we illustrate by encodings of knowledge bases updates, action languages, and an agent programming language. A system capable of executing ACTHEX programs has been implemented and is publicly available.

Cite as

Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni. HEX Programs with Action Atoms. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 24-33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

  author =	{Basol, Selen and Erdem, Ozan and Fink, Michael and Ianni, Giovambattista},
  title =	{{HEX Programs with Action Atoms}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{24--33},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.24},
  URN =		{urn:nbn:de:0030-drops-25803},
  doi =		{10.4230/LIPIcs.ICLP.2010.24},
  annote =	{Keywords: Answer Set Programming, Logic programming interoperability, Action languages}
  • Refine by Author
  • 1 Basol, Selen
  • 1 Erdem, Ozan
  • 1 Fink, Michael
  • 1 Ianni, Giovambattista

  • Refine by Classification

  • Refine by Keyword
  • 1 Action languages
  • 1 Answer Set Programming
  • 1 Logic programming interoperability

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail