An A-Prolog Decision Support System for the Space Shuttle

  • Monica Nogueira
  • Marcello Balduccini
  • Michael Gelfond
  • Richard Watson
  • Matthew Barry
Conference paper

DOI: 10.1007/3-540-45241-9_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1990)
Cite this paper as:
Nogueira M., Balduccini M., Gelfond M., Watson R., Barry M. (2001) An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan I.V. (eds) Practical Aspects of Declarative Languages. PADL 2001. Lecture Notes in Computer Science, vol 1990. Springer, Berlin, Heidelberg

Abstract

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle.

Keywords

answer set programming logic programming planning 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Monica Nogueira
    • 1
  • Marcello Balduccini
    • 2
  • Michael Gelfond
    • 2
  • Richard Watson
    • 2
  • Matthew Barry
    • 3
  1. 1.Department of Computer ScienceThe University of Texas at El PasoUSA
  2. 2.Department of Computer ScienceTexas Tech UniversityUSA
  3. 3.Advanced Technology Development LabUnited Space AllianceUSA

Personalised recommendations