DMCA
GOLOG: A Logic Programming Language for Dynamic Domains (1994)
Cached
Download Links
- [www.cs.utoronto.ca]
- [www-i5.informatik.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
| Citations: | 625 - 74 self |
BibTeX
@MISC{Levesque94golog:a,
author = {Hector J. Levesque and Raymond Reiter and Yves Lespérance and Fangzhen Lin and Richard B. Scherl},
title = {GOLOG: A Logic Programming Language for Dynamic Domains},
year = {1994}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allows programs to reason about the state of the world and consider the effects of various possible courses of action before committing to a particular behavior. The net effect is that programs may be written at a much higher level of abstraction than is usually possible. The language appears well suited for applications in high level control of robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed.
Keyphrases
dynamic domain logic programming language discrete event simulation explicit representation initial state formal theory situation calculus new logic programming language particular behavior extended version prototype implementation various possible course net effect high level control dynamic world industrial process intelligent software agent
