Abstract
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. © Springer-Verlag Berlin Heidelberg 1998.
Cite
CITATION STYLE
Watson, R. (1999). An application of action theory to the space shuttle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1551 LNCS, pp. 290–304). https://doi.org/10.1007/3-540-49201-1_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
