TY - GEN
T1 - An application of action theory to the space shuttle
AU - Watson, Richard
PY - 1999
Y1 - 1999
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33750995815&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:33750995815
SN - 3540655271
SN - 9783540655275
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 290
EP - 304
BT - Practical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings
T2 - 1st International Workshop on Practical Aspects of Declarative Languages, PADL'99
Y2 - 18 January 1999 through 19 January 1999
ER -