Abstract
When agents like mobile robots discover that the world is not as expected after carrying out a sequence of actions, they are interested in what action failures or unnoticed actions could have actually occurred, which would help them rectify the situation. For this purpose, we investigate a kind of history-based diagnosis which is appropriate for explaining what went wrong in dynamic domains.
It turns out that there are often many diagnoses which are quite similar and differ only in the objects they refer to. In this paper we show how these instances can be compactly represented by introducing so-called diagnosis templates.We formalize this approach for an action theory based on the situation calculus and discuss a prototypical implementation of a diagnostic system which generates diagnosis templates according to certain preference criteria.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
C. Baral, S. McIlraith, and T.C. Son. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proc. 7th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 2000.
C. Bastié and P. Régnier. SPEEDY: Monitoring the execution in dynamic environments. In Proc. Workshop on Reasoning about Actions and Planning in Complex Environments, 1996.
W. Burgard, A.B Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artificial Intelligence, 114(1-2), 1999.
M.-O. Cordier and S. Thiébaux. Event-based diagnosis for evolutive systems. InWork. Pap. 5th Intern. Workshop on Principles of Diagnosis, 1994.
G. De Giacomo, R. Reiter, and M. Soutchanski. Execution monitoring of high-level robot programs. In Proc. 6th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 1998.
K.Z. Haigh and M.M. Veloso. Interleaving planning and robot execution for asynchronous user requests. Autonomous Robots, 5(1), March 1998.
G. Iwan. Explaining what went wrong in dynamic domains. In Proc. 2nd Intern. Cognitive Robotics Workshop, 2000.
H. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(018), 1998.
J. McCarthy. Situations, actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963. Reprinted in [12].
S.A. McIlraith. Towards a theory of diagnosis, testing and repair. In Work. Pap. 5th Intern. Workshop on Principles of Diagnosis, 1994.
S.A. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In Proc. 6th Intern. Conf. on Principles of Knowledge Representation and Reasoning, 1998.
M.L. Minsky, editor. Semantic Information Processing. MIT Press, Cambridge, MA, 1968.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iwan, G. (2001). History-Based Diagnosis Templates in the Framework of the Situation Calculus. In: Baader, F., Brewka, G., Eiter, T. (eds) KI 2001: Advances in Artificial Intelligence. KI 2001. Lecture Notes in Computer Science(), vol 2174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45422-5_18
Download citation
DOI: https://doi.org/10.1007/3-540-45422-5_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42612-7
Online ISBN: 978-3-540-45422-9
eBook Packages: Springer Book Archive