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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations


    Contributors:

    Conference:

    i-SAIRAS International Symposium on Artificial Intelligence, Robotics and Automation in Space ; 2012 ; Turin, Italy


    Publication date :

    2012-09-04


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English





    Declarative Computing: A Technology Driver

    Kogge, P. M. / AIAA | British Library Conference Proceedings | 1994


    Declarative Computing: A Technology Driver

    Kogge, P. M. / AIAA | British Library Conference Proceedings | 1994


    Transforming System Modeling with Declarative Methods and Generative AI

    Fuchs, Jared / Helmerich, Christopher / Holland, Steven | AIAA | 2024