An application of action theory to the space shuttle

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

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.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings
Pages290-304
Number of pages15
StatePublished - 1999
Event1st International Workshop on Practical Aspects of Declarative Languages, PADL'99 - San Antonio, TX, United States
Duration: Jan 18 1999Jan 19 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1551 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Workshop on Practical Aspects of Declarative Languages, PADL'99
CountryUnited States
CitySan Antonio, TX
Period01/18/9901/19/99

Fingerprint Dive into the research topics of 'An application of action theory to the space shuttle'. Together they form a unique fingerprint.

  • Cite this

    Watson, R. (1999). An application of action theory to the space shuttle. In Practical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings (pp. 290-304). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1551 LNCS).