An Application of Action Theory to the Space Shuttle
- 302 Downloads
We present a domain description for verifying plans concerning the Reaction Control System (RCS) of the Space Shuttle. Our approach utilizes recent research in action description languages. We describe the syntax and semantic of the action language, L 0, as well as a general translation from domain descriptions of L 0 to logic programming. Details of the RCS domain and specifics of the translation are given. The translation is shown to be sound and complete for queries under Prolog and XSB. Computational examples are given which show the feasibility of this approach.
KeywordsLogic Program Action Theory Logic Programming Logic Circuit Space Shuttle
Unable to display preview. Download preview PDF.
- [BGW]Chitta Baral, Michael Gelfond, and Richard Watson. Reasoning About Actual and Hypothetical Occurrences of Concurrent and Non-deterministic Actions, in Theoretical Approaches to Dynamic Worlds, edited by Bertram Fronhofer and Remo Pareschi (to appear).Google Scholar
- [GL92]Michael Gelfond and Vladimir Lifschitz. Representing Actions in Extended Logic Programs. In Proc. of Joint International Conference and Symposium on Logic Programming, pp. 559–573, 1992.Google Scholar
- [MH69]John McCarthy and Patrick Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pp. 463–502. Edinburgh University Press, Edinburgh, 1969.Google Scholar