Artificial intelligence and mathematical theory of computation
Experiences with an interactive museum tour-guide robot
Artificial Intelligence - Special issue on applications of artificial intelligence
Interleaving Planning and Robot Execution for Asynchronous User Requests
Autonomous Robots - Special issue on autonomous agents
History-based diagnosis templates in the framework of the situation calculus
AI Communications - Special issue on KI-2001
DiscoverHistory: understanding the past in planning and execution
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Hi-index | 0.00 |
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.