KMonitor - A Tool for Monitoring Plan Execution in Action Theories

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.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Thomas Eiter, Michael Fink, Ján Senko
• Keywords: LPNMR 2005, Non-deterministic Environments, Non-monotonic Logic Programming, Unsuccessful Action Executions