Validation and Verification of agent and multi-agent plans in dynamic environment
Said Brahimi, Ramdane Maamri, Zaïdi Sahnoun · 2014
Abstract – In multi-agent systems evolving in complex and dynamic environments, the agents need to plan their tasks and to monitor its execution in order to deal with unpredictable situations. They must have plans that remain subject to continual updating, even during its execution. To cope with this issue, we proposed in previous works, SHPlNet, a model allowing to represent plans less sensitive to execution contexts, and to support run-time validation and verification. This paper aims to present a theoretical framework for the verification and validation of soundness and invalidity properties of partial hierarchical plans by analyzing their abstract level representation.