Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Declarative abstractions for agent based hybrid control systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Hi-index | 0.00 |
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, L0, as well as a general translation from domain descriptions of L0 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.