Automated Reasoning On-Board Autonomous Spacecraft.
Ndedi D. MonekossoPaolo RemagninoPublished in: AI*IA (1997)
Keyphrases
- automated reasoning
- space missions
- earth observing
- knowledge representation
- reasoning systems
- theorem proving
- theorem prover
- reasoning tasks
- probabilistic reasoning
- decision procedures
- mission planning
- automated verification
- deep space
- probabilistic inference
- propositional satisfiability
- fault diagnosis
- knowledge base
- expert systems
- machine learning