Olisipo : A probabilistic approach to the adaptable execution of deterministic temporal plans

Ribeiro, Tomás and Lima, Oscar and Cashmore, Michael and Micheli, Andrea and Ventura, Rodrigo; Combi, Carlo and Eder, Johann and Reynolds, Mark, eds. (2021) Olisipo : A probabilistic approach to the adaptable execution of deterministic temporal plans. In: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany. ISBN 9783959772068 (https://doi.org/10.4230/LIPIcs.TIME.2021.15)

[thumbnail of Ribeiro-etal-TIME-2021-Olisipo-a-probabilistic-approach-to-the-adaptable-execution-of-deterministic-temporal-plans]
Preview
 Text. Filename: Ribeiro_etal_TIME_2021_Olisipo_a_probabilistic_approach_to_the_adaptable_execution_of_deterministic_temporal_plans.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo
Download (1MB)| Preview

Abstract

The robust execution of a temporal plan in a perturbed environment is a problem that remains to be solved. Perturbed environments, such as the real world, are non-deterministic and filled with uncertainty. Hence, the execution of a temporal plan presents several challenges and the employed solution often consists of replanning when the execution fails. In this paper, we propose a novel algorithm, named Olisipo, which aims to maximise the probability of a successful execution of a temporal plan in perturbed environments. To achieve this, a probabilistic model is used in the execution of the plan, instead of in the building of the plan. This approach enables Olisipo to dynamically adapt the plan to changes in the environment. In addition to this, the execution of the plan is also adapted to the probability of successfully executing each action. Olisipo was compared to a simple dispatcher and it was shown that it consistently had a higher probability of successfully reaching a goal state in uncertain environments, performed fewer replans and also executed fewer actions. Hence, Olisipo offers a substantial improvement in performance for disturbed environments.

ORCID iDs

Ribeiro, Tomás, Lima, Oscar, Cashmore, Michael ORCID logoORCID: https://orcid.org/0000-0002-8334-4348, Micheli, Andrea and Ventura, Rodrigo; Combi, Carlo, Eder, Johann and Reynolds, Mark
CORE (COnnecting REpositories)