The MAPGEN [2] (Mixed-initiative Activity Plan GENerator) planning system is a great example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for Mars Exploration Rover tactical planning. We explore the adaptation of the same domain to an entirely declarative planning system (ASPEN [4] Activity Scheduling and Planning ENvironment), and demonstrate that, with some translation, much of the procedural knowledge encoding is amenable to a declarative knowledge encoding.
A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations
i-SAIRAS International Symposium on Artificial Intelligence, Robotics and Automation in Space ; 2012 ; Turin, Italy
2012-09-04
Conference paper
No indication
English
Declarative Computing: A Technology Driver
British Library Conference Proceedings | 1994
|Declarative Computing: A Technology Driver
British Library Conference Proceedings | 1994
|