An A-Prolog Decision Support System for the Space Shuttle

M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog, algorithms for computing answer sets of programs of A-Prolog, and programming systems implementing these algorithms 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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.