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
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;
Conference_Titel :
Intelligence and Systems, 1996., IEEE International Joint Symposia on
Conference_Location :
Rockville, MD
Print_ISBN :
0-8186-7728-7
DOI :
10.1109/IJSIS.1996.565067
