Find out how to access preview-only content
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
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.
- Title
- KMonitor– A Tool for Monitoring Plan Execution in Action Theories
- Book Title
- Logic Programming and Nonmonotonic Reasoning
- Book Subtitle
- 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
- Pages
- pp 416-421
- Copyright
- 2005
- DOI
- 10.1007/11546207_38
- Print ISBN
- 978-3-540-28538-0
- Online ISBN
- 978-3-540-31827-9
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 3662
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Chitta Baral (18)
- Gianluigi Greco (19)
- Nicola Leone (20)
- Giorgio Terracina (19)
- Editor Affiliations
-
- 18. School of Computing and Informatics, Arizona State University
- 19. Dipartimento di Matematica, Università della Calabria
- 20. Department of Mathematics, University of Calabria
- Authors
-
- Thomas Eiter (21)
- Michael Fink (21)
- Ján Senko (21)
- Author Affiliations
-
- 21. Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Continue reading...
To view the rest of this content please follow the download PDF link above.