We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it, deviations of concrete executions from expected ones can be detected, and diagnostic explanations in terms of unsuccessful action executions can be obtained. The latter may be exploited for execution recovery, and may help in rectifying an incoherent view of the planning domain. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Eiter, T., Fink, M., & Senko, J. (2005). KMONITOR - A tool for monitoring plan execution in action theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3662 LNAI, pp. 416–421). https://doi.org/10.1007/11546207_38
Mendeley helps you to discover research relevant for your work.