ALPprolog --- A New Logic Programming Method for Dynamic Domains
Logic in Computer Science
2011-07-27 v1 Artificial Intelligence
Abstract
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
Cite
@article{arxiv.1107.5242,
title = {ALPprolog --- A New Logic Programming Method for Dynamic Domains},
author = {Conrad Drescher and Michael Thielscher},
journal= {arXiv preprint arXiv:1107.5242},
year = {2011}
}
Comments
16 pages