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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
F. Bacchus and F. Kabanza. Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence, 22:1–2, 5-27, 1998.
M. Balduccini, M. Gelfond and M. Nogueira. A-Prolog as a tool for declarative programming. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE’2000), 63–72, 2000.
M. Balduccini, M. Gelfond and M. Nogueira. Digital Circuits in A-Prolog. Technical Report, University of Texas at El Paso, 2000.
M. Barry and R. Watson. Reasoning about actions for spacecraft redundancy management. In Proceedings of the 1999 IEEE Aerospace Conference, 5:101–112, 1999.
P. Cholewinski, W. Marek and M. Truszczyński. Default Reasoning System DeReS. In International Conference on Principles of Knowledge Representation and Reasoning, 518–528. Morgan Kauffman, 1996.
S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello. The dlv system: Model generator and application frontends. In Proceedings of the 12th Workshop on Logic Programming, 128–137, 1997.
G. De Micheli. Synthesis and Optimization of Digital Circuits. McGraw-Hill Series in Electrical and Computer Engineering, 1994.
Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in nonmonotonic logic programs. Lecture Notes in Artificial Intelligence-Recent Advances in AI Planning, Proceedings of the 4th European Conference on Planning, ECP’97, 1348:169–181, 1997.
E. Erdem and V. Lifschitz. Transitive Closure, Answer Sets and Predicate Completion. Submitted for publication, 2000.
A. Finzi, F. Pirri and R. Reiter. Open World Planning in the Situation Calculus. 17th National Conference of Artificial Intelligence (AAAI’00), 754–760, 2000.
M. Gelfond and A. Gabaldon. From Functional Specifications to Logic Programs. In Proceedings of the International Logic Programming Symposium (ILPS’97), 1997.
M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In Proceedings of the 5th International Conference on Logic Programming, 1070–1080, 1988.
M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3/4):365–386, 1991.
M. Gelfond and V. Lifschitz. Representing Actions and Change by Logic Programs. Journal of Logic Programming, 17:301–323, 1993.
M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on AI, 3(16), 1998.
M. Gelfond, and R. Watson. On methodology for representing knowledge in dynamic domains. In Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, 57–66, 1999.
Y. Huang, H. Kautz and B. Selman. Control Knowledge in Planning: Benefits and Tradeoffs. 16th National Conference of Artificial Intelligence (AAAI’99), 511–517, 1999.
H. Kautz and B. Selman. The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. In Proceedings of AIPS’98, 1998.
Z. Kohavi. Switching and Finite Automata Theory. McGraw-Hill CS Series, 1978.
V. Lifschitz. Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective, 357–373. Spring-Verlag, 1999.
N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proceedings of IJCAI’95, 1978–1984, 1995.
N. McCain and H. Turner. Causal theories of action and change. In 14th National Conference of Artificial Intelligence (AAAI’97), 460–465, 1997.
R. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75–94, 1985.
I. Niemelä, and P. Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, 420–429, 1997.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1,2):81–132, 1980.
H. Turner. Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming, Vol. 31, No. 1–3, 245–298, 1997.
R. Watson. An application of action theory to the space shuttle. Lecture Notes in Computer Science-Procs of Practical Aspects of Declarative Languages’ 99, 1551:290–304, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-45241-9_12
Download citation
DOI: https://doi.org/10.1007/3-540-45241-9_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41768-2
Online ISBN: 978-3-540-45241-6
eBook Packages: Springer Book Archive