A Declarative Agent Programming Language Based on Action Theories

Drescher, Conrad; Schiffel, Stephan; Thielscher, Michael

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

Cited by 5 publications

(6 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We adopt from (Shapiro and Pagnucco, 2004) the notion of exoseq, a relation that detects an uninterrupted sequence of exogenous actions between two time points. This then complements the original action update mechanism from (Drescher et al, 2009). We also require an 'external' definition-a set χ of rules that act as domain predicates on the set of possible external actions.…”

Section: Online Agent Logic Programsmentioning

confidence: 93%

“…The purpose of Agent Logic Programs is to provide high-level control programs for agents using a combination of declarative programming with reasoning about actions (Drescher et al, 2009). The syntax of these programs is kept very simple: standard (definite) logic programs are augmented with just two special predicates, one-written do(α)-to denote the execution of an action by the agent, and one-written ?…”

Section: Online Agent Logic Programsmentioning

confidence: 99%

“…Agent Logic Programs were proposed in response to these limitations (Drescher et al, 2009), offering a concise, declarative language for describing agent control strategies, independent of an action theory. In fact, such programs are action theory agnosticany theory satisfying a few, general requirements is compatible with an Agent Logic Program.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Online Agent Logic Programming with oClingo

Cerexhe

Gebser

Thielscher

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construction of a 'safe' program-one that satisfies an arcane modularity condition. We provide an alternative in the form of so-called Agent Logic Programs-a concise declarative language for describing agent control strategies. Specifically, we take an ASPcompatible subset of Agent Logic Programs, extend it with exogenous actions, argue this translation is faithful to the original definition, and prove that it guarantees oClingo's modularity condition. The result is a safe, clean input language for oClingo and a new implementation for Agent Logic Programs.

show abstract

Section: Online Agent Logic Programsmentioning

confidence: 93%

Section: Online Agent Logic Programsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Online Agent Logic Programming with oClingo

Cerexhe

Gebser

Thielscher

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…A Jason agent consists of a set of plans, each of which has a triggering event, a context, and a body of actions. Moreover also other languages like IMPACT [13], DALI [10], ALP [12] and ASTRA [11] can be used to design logical Agents and Multi-Agent Systems.…”

Section: Goal Of the Researchmentioning

confidence: 99%

Reasoning in Highly Reactive Environments

Pacenza

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

“…In a recent work (Drescher et al 2009b) we have developed Agent Logic Programs (ALPs), a new declarative strategy language that is based upon a proof calculus in the style of classical Selective Linear Definite (SLD) resolution. Contrary to Golog and Flux, the ALP framework is parametric in the action theory: any background theory that allows to infer when an action is applicable, and theeffects of the action, can be used.…”

Section: Introductionmentioning

confidence: 99%