A Declarative Agent Programming Language Based on Action Theories

  • Conrad Drescher
  • Stephan Schiffel
  • Michael Thielscher
Conference paper

DOI: 10.1007/978-3-642-04222-5_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5749)
Cite this paper as:
Drescher C., Schiffel S., Thielscher M. (2009) A Declarative Agent Programming Language Based on Action Theories. In: Ghilardi S., Sebastiani R. (eds) Frontiers of Combining Systems. FroCoS 2009. Lecture Notes in Computer Science, vol 5749. Springer, Berlin, Heidelberg

Abstract

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the standard inference mechanisms for (constraint) logic programs with reasoning about actions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Conrad Drescher
    • 1
  • Stephan Schiffel
    • 1
  • Michael Thielscher
    • 1
  1. 1.Department of Computer ScienceDresden University of TechnologyGermany

Personalised recommendations