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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Knight, Russell (Autor:in) / Rabideau, Gregg (Autor:in) / Lenda, Matthew (Autor:in) / Maldague, Pierre (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    04.09.2012


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch





    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