KR2021Proceedings of the 18th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

Online event. November 3-12, 2021.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-99-7

Sponsored by
Published by

Copyright © 2021 International Joint Conferences on Artificial Intelligence Organization

On Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena

  1. Lukáš Chrpa(Czech Technical University in Prague)
  2. Martin Pilát(Charles University)
  3. Jakub Med(Czech Technical University in Prague)


  1. Reasoning about actions and change, action languages
  2. Uncertainty, vagueness, many-valued and fuzzy logics


Planning and acting in dynamic environments deals with non-deterministic events that might change the state of the environment without consent of the agent. In the worst case, some events might cause the agent to become ``trapped'' in a dead-end state, which in practice might mean damage or destruction of the agent. Presence of non-deterministic events often considerably increases the number of alternatives that might occur in a single step and hence traditional non-deterministic planning techniques might not scale.

In this paper, we address a class of problems where non-deterministic events represent ``cyclic phenomena''. If they interfere with the agent, they might be dangerous for it (e.g. ships cruising through the area of AUV operations). We present techniques that initially analyse the problem whether it falls within this class by considering the notion of event reversibility and if so, these techniques generate a plan such that encountered unsafe states, in which the ``cyclic phenomena'' might interfere with the agent, can be eventually crossed without any risk of ``falling'' into a dead-end state. Our approach is evaluated in the AUV and Perestroika domains.