Abstract:The main objective of this dissertation is to combine temporal logic and symbolic planning techniques to develop automatic and efficient approaches to robot planning. To achieve this goal, the interval-based temporal logic is extensively studied; the time inversion mapping is introduced to tremendously reduce the transitivity table; a mechanical time reasoning method is developed. It is shown that the interval-based temporal logic and the logic involving time points can be unified. A world description method unifying the description of the static aspects and the description of the dynamic aspects of the world is introduced. The truth values of predicates in world description are treated as compound functions of time and actions which are not instantaneous. A complete set of domain constraints in block world is generated. A systematic time reasoning method is used in planning to order actions and circumvent subgoal interactions. A linear-nonlinear procedure is achieved which overcomes the drawbacks of the existing planning systems and works very well in planning in the block world. A single plan for a multi-arm-robot is generated to allow overlapping actions by using time reasoning and decomposing overlapping actions and analyzing conditions under which actions overlap each other. An approach to synchronization of executions of two plans of two agents is introduced to avoid conflicts while each agent is executing its own plan. By further analysis of action model and interactions between actions in different plans, a method of detecting unsafe situations which lead to dead locks is achieved. An important application of time reasoning to scheduling is discussed. Precedence graphs and precedence (psaudo) trees are used to represent plans and identify critical paths and maximum non-critical activity sequences. The traditional CPM approach can be significantly improved by using temporal logic.

Temporalising Separation Logic for Planning with Search Control Knowledge.

Planning with Spatio-Temporal Search Control Knowledge.

A Temporal Logic Programming Approach to Planning

Integrating Separation Logic with PPTL

TALplanner: A Temporal Logic-Based Planner.

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

TALplanner: A Temporal Logic Based Forward Chaining Planner

Extending PPTL for Verifying Heap Evolution Properties.

Deductive Planning with Temporal Constraints.

Planning and Scheduling Using Temporal Logic

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Standpoint Linear Temporal Logic

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

Propositional dynamic logic planning base on model checking

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Physics-based Motion Planning with Temporal Logic Specifications

A Spatio-Temporal Specification Language and Its Completeness & Decidability

Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics

DT*: Temporal Logic Path Planning in a Dynamic Environment

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Spatiotemporal Extensions to a Controlled Natural Language