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...
- discusses the solution to the frame problem in Golog
- horribly theoretical until section 4
- exogenous actions are like interrupts, outside the system's control
%0 Journal Article
%1 levesque97
%A Levesque, Hector J.
%A Reiter, Raymond
%A Lesperance, Yves
%A Lin, Fangzhen
%A Scherl, Richard B.
%D 1997
%J Journal of Logic Programming
%K logic constraint
%N 1-3
%P 59--83
%T GOLOG: A Logic Programming Language for Dynamic Domains
%U http://citeseer.ist.psu.edu/levesque94golog.html
%V 31
%X 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...
@article{levesque97,
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...},
added-at = {2006-03-24T16:34:33.000+0100},
author = {Levesque, Hector J. and Reiter, Raymond and Lesperance, Yves and Lin, Fangzhen and Scherl, Richard B.},
biburl = {https://www.bibsonomy.org/bibtex/28e99b88eefaf14604e63989622127561/neilernst},
citeulike-article-id = {246761},
comment = {- discusses the solution to the frame problem in Golog
- horribly theoretical until section 4
- exogenous actions are like interrupts, outside the system's control},
description = {sdasda},
interhash = {9a4154ccf73fa30969da00ca8b2fbf88},
intrahash = {8e99b88eefaf14604e63989622127561},
journal = {Journal of Logic Programming},
keywords = {logic constraint},
number = {1-3},
pages = {59--83},
priority = {0},
timestamp = {2006-03-24T16:34:33.000+0100},
title = {GOLOG: A Logic Programming Language for Dynamic Domains},
url = {http://citeseer.ist.psu.edu/levesque94golog.html},
volume = 31,
year = 1997
}