A declarative agent programming language based on action theories

Conrad Drescher; Stephan Schiffel; Michael Thielscher

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

A declarative agent programming language based on action theories

Conrad Drescher
, Stephan Schiffel
, Michael Thielscher

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

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.

Original language	English
Pages (from-to)	230-245
Number of pages	16
Journal	Lecture Notes in Computer Science
Volume	5749
DOIs	https://doi.org/10.1007/978-3-642-04222-5_14
Publication status	Published - 2009

Access to Document

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

Cite this

@article{da6d96984d6e4e759674a69f5afcf011,

title = "A declarative agent programming language based on action theories",

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.",

author = "Conrad Drescher and Stephan Schiffel and Michael Thielscher",

year = "2009",

doi = "10.1007/978-3-642-04222-5\_14",

language = "English",

volume = "5749",

pages = "230--245",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - A declarative agent programming language based on action theories

AU - Drescher, Conrad

AU - Schiffel, Stephan

AU - Thielscher, Michael

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://handle.uws.edu.au:8081/1959.7/549896

U2 - 10.1007/978-3-642-04222-5_14

DO - 10.1007/978-3-642-04222-5_14

M3 - Article

SN - 0302-9743

VL - 5749

SP - 230

EP - 245

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

A declarative agent programming language based on action theories

Abstract

Access to Document

Other files and links

Fingerprint

Cite this