Artificial intelligence and mathematical theory of computation
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Experiences with an interactive museum tour-guide robot
Artificial Intelligence - Special issue on applications of artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
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
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Monitoring and diagnosing software requirements
Automated Software Engineering
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Belief management for high-level robot programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
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.