Progressive planning for mobile robots: A progress report

Abstract

In this article, we describe a possibilistic/probabilistic conditional planner called PTLplan, and how this planner can be integrated with a behavior-based fuzzy control system called the Thinking Cap in order to execute the generated plans. Being inspired by Bacchus and Kabanza’s TLplan, PTLplan is a progressive planner that uses strategic knowledge encoded in a temporal logic to reduce its search space. Actions’ effects and sensing can be context dependent and uncertain, and the resulting plans may contain conditional branches. When these plans are executed by the control system, they are transformed into B-plans which essentially are combinations of fuzzy behaviors to be executed in different contexts.