Computations required for temporal reasoning can be prohibitively expensive if fully general representations are used. Overly simple representations, such as totally ordered sequence of time points, are inadequate for use in a nonlinear task planning system. A middle ground is identified which is general enough to support a capable nonlinear task planner, but specialized enough that the system can support online task planning in real time. A Temporal Logic System (TLS) was developed during the Intelligent Task Automation (ITA) project to support robotic task planning. TLS is also used within the ITA system to support plan execution, monitoring, and exception handling.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    An efficient temporal logic for robotic task planning


    Contributors:


    Publication date :

    1989-01-31


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English


    Keywords :


    Logic programming for deliberative robotic task planning

    Daniele Meli / Hirenkumar Nakawala / Paolo Fiorini | BASE | 2023

    Free access

    Temporal Logic Robot Task Planning with Active Acquisition of Information

    Zhao, Jiawei / Yin, Xiang / Li, Shaoyuan | IEEE | 2022


    Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information

    Li, Shuaiyi / Wei, Mengjie / Li, Shaoyuan et al. | IEEE | 2024



    Task planning for robotic manipulation in space applications

    Sanderson, A.C. / Peshkin, M.A. / Homen de Mello, L.S. | IEEE | 1988