DocumentCode
3319636
Title
Actions as PROLOG programs
Author
Tolentino, Marcus V. ; Santos, Paulo E. ; da Silva, Flavio S C ; Rillo, Marcio
Author_Institution
Lab. of Integrated Syst., Sao Paulo Univ., Brazil
fYear
1996
fDate
4-5 Nov 1996
Firstpage
178
Lastpage
183
Abstract
As an extention of the TRASYS approach to reasoning about actions, this work presents a new step in the direction to the transposition of the gap between action formalisms and their real execution inside planning environments. We try to clarify some points of the former paper by presenting a re-structured overview of the of Transaction Logic formalism and proposing some modifications to the action model which will allow the use of nonatomic formulae in the world model. Aiming an efficient method for executing action specifications, we present how could these specifications be rendered into a PROLOG program
Keywords
PROLOG; formal logic; planning (artificial intelligence); PROLOG programs; TRASYS; action formalisms; nonatomic formulae; transaction logic formalism; Bridges; Logic programming; Relational databases; Transaction databases; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligence and Systems, 1996., IEEE International Joint Symposia on
Conference_Location
Rockville, MD
Print_ISBN
0-8186-7728-7
Type
conf
DOI
10.1109/IJSIS.1996.565067
Filename
565067
Link To Document