History‐based diagnosis templates in the framework of the situation calculus

Issue title: Joint German/Austrian Conference on Artificial Intelligence (KI‐2001) Vienna, Austria, 19–21 September 2001

Article type: Research Article

Authors: Iwan, Gero

Affiliations: Department of Computer Science V, Aachen University of Technology, 52056 Aachen, Germany E‐mail: iwan@cs.rwth‐aachen.de

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.

Keywords: Knowledge representation, logic of action, cognitive robotics, diagnosis

Journal: AI Communications, vol. 15, no. 1, pp. 31-45, 2002