KMONITOR: a tool for monitoring plan execution in action theories

Authors:
Thomas Eiter;Michael Fink;Ján Senko
Affiliations:
Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 4
Cited 3

A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
Intelligent execution monitoring in dynamic environments

Fundamenta Informaticae
Diagnostic reasoning with A-Prolog

Theory and Practice of Logic Programming
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution

Fundamenta Informaticae

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution

Fundamenta Informaticae
The DLV Project: A Tour from Theory and Research to Applications and Market

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.