A declarative agent programming language based on action theories

Authors:
Conrad Drescher;Stephan Schiffel;Michael Thielscher
Affiliations:
Department of Computer Science, Dresden University of Technology;Department of Computer Science, Dresden University of Technology;Department of Computer Science, Dresden University of Technology
Venue:
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Year:
2009

Citing 14
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
A Direct Proof for the Completeness of SLD-Resolution

CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Programming agent deliberation: an approach illustrated using the 3APL language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The SPARK Agent Framework

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Commonsense Reasoning

Commonsense Reasoning
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Existential assertions and quantum levels on the tree of the situation calculus

Artificial Intelligence
Putting abox updates into action

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents

Quantified Score

Hi-index	0.00

Visualization

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.