Explainable robotic plan execution monitoring under partial observability

Warning The system is temporarily closed to updates for reporting purpose.

Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2022) Explainable robotic plan execution monitoring under partial observability. IEEE Transactions on Robotics, 38 (4). pp. 2495-2515. ISSN 1552-3098 (Print) 1941-0468 (Online)

Full text not available from this repository. (Request a copy)

Abstract

Successful plan generation for autonomous systems is necessary but not sufficient to guarantee reaching a goal state by an execution of a plan. Various discrepancies between an expected state and the observed state may occur during the plan execution (e.g., due to unexpected exogenous events, changes in the goals, or failure of robot parts) and these discrepancies may lead to plan failures. For that reason, autonomous systems should be equipped with execution monitoring algorithms so that they can autonomously recover from such discrepancies. We introduce a plan execution monitoring algorithm that operates under partial observability. This algorithm relies on novel formal methods for hybrid prediction, diagnosis and explanation generation, and planning. The prediction module generates an expected state after the execution of a part of the plan from an incomplete state to check for discrepancies. The diagnostic reasoning module generates meaningful hypotheses to explain failures of robot parts. Unlike the existing diagnosis methods, the previous hypotheses can be revised, based on new partial observations, increasing the accuracy of explanations as further information becomes available. The replanning module considers these explanations while computing a new plan that would avoid such failures. All these reasoning modules are hybrid in that they combine high-level logical reasoning with low-level feasibility checks based on probabilistic methods. We experimentally show that these hybrid formal reasoning modules improve the performance of plan execution monitoring.
Item Type: Article
Uncontrolled Keywords: Diagnostic reasoning; hybrid planning; partial observability; plan execution monitoring; replanning with guidance
Divisions: Faculty of Engineering and Natural Sciences
Depositing User: Esra Erdem
Date Deposited: 04 Sep 2022 16:30
Last Modified: 04 Sep 2022 16:30
URI: https://research.sabanciuniv.edu/id/eprint/44349

Actions (login required)

View Item
View Item