An Application of Action Theory to the Space Shuttle

  • Richard Watson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1551)


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.


Logic Program Action Theory Logic Programming Logic Circuit Space Shuttle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BGP97]
    Chitta Baral, Michael Gelfond, and Alessandro Provetti. Representing Actions: Laws, Observations, and Hypothesis. In Journal of Logic Programming, Vol. 31, No. 1–3, pp. 245–298, 1997.MathSciNetGoogle Scholar
  2. [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
  3. [GL91]
    Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. In New Generation Computing, 9(3/4), pp. 365–387, 1991.CrossRefGoogle Scholar
  4. [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
  5. [McC86]
    John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. In Artificial Intelligence, 26(3), pp. 89–116, 1986.CrossRefMathSciNetGoogle Scholar
  6. [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
  7. [Tur97]
    Hudson Turner. Representing actions in logic programs and default theories: A situation calculus approach. In Journal of Logic Programming, Vol. 31, No. 1–3, pp. 245–298, 1997.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Richard Watson
    • 1
  1. 1.Department of Computer ScienceUniversity of Texas at El PasoEl PasoUSA

Personalised recommendations