Chapter

Logic Programming and Nonmonotonic Reasoning

Volume 3662 of the series Lecture Notes in Computer Science pp 416-421

KMonitor– A Tool for Monitoring Plan Execution in Action Theories

  • Thomas EiterAffiliated withInstitute of Information Systems, Vienna University of Technology
  • , Michael FinkAffiliated withInstitute of Information Systems, Vienna University of Technology
  • , Ján SenkoAffiliated withInstitute of Information Systems, Vienna University of Technology

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.