Integrating Answer Set Modules into Agent Programs

  • Authors:
  • Stefania Costantini

  • Affiliations:
  • Dipartimento di Informatica, Università degli Studi di L'Aquila, L'Aquila, Italy I-67010

  • Venue:
  • LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The use of ASP in agents has been advocated since long, with ASP mainly taking the form of Action Description Languages. These kind of ASP-based languages were first introduced in [1] and [2] and have been since then extended and refined in many subsequent papers by several authors. Action Description Languages are formal models used to describe dynamic domains, by focusing on the representation of effects of actions. In particular, an action specification represents the direct effects of each action on the state of the world, while the semantics of the language takes care of all the other aspects concerning the evolution of the world (e.g., the ramification problem).