We address the problem of characterizing goal-directed robotic behavior using a logic of actions and change. Our approach is based on distinguishing two kinds of actions: procedural actions which are defined in a mechanistic way, and goal-directed actions which are performed through a process involving tries, possibly failures, and corrective action and new tries until the goal has been reached. (The definition of procedural actions may be done external to the logic, for example through differential equations, or through a conventional programming language). For both kinds of actions, the logic expresses explicitly whether the action succeeds or fails. Each execution of a goal-directed action is also characterized by a number of breakpoints where some sub-action has been completed and a new sub-action for getting to the desired goal is selected. The logic is used for characterizing the selection of sub-actions at breakpoints, and the success or failure of the goal-directed action in terms of the success or failure of the sub-actions. The article describes how goal-directed actions can be modelled by an extension of existing results on logics of actions and change.


    Access

    Download


    Export, share and cite



    Title :

    Logic-Based Modelling of Goal-Directed Behavior


    Contributors:

    Publication date :

    1997-01-01


    Type of media :

    Paper


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Human Interpretation of Goal-Directed Autonomous Car Behavior

    Petrovych, Veronika / Thellman, Sam / Ziemke, Tom | BASE | 2018

    Free access

    A goal-directed transportation planning model

    Morlok, Edward K. | Elsevier | 1969



    Goal-directed occupancy prediction for autonomous driving

    MARCHETTI-BOWICK MICOL / KANIARASU POORNIMA / HAYNES GALEN CLARK | European Patent Office | 2022

    Free access

    Goal-directed scientific exploration using multiple rovers

    Estlin, T. A. / Castano, R. / Davies, A. et al. | NTRS | 2001