Diagnostics with Answer Sets: Dealing with Unobservable Fluents

Contents

In this paper we present the architecture for an agent capable of operating a physical device and performing diagnosis and repair of the device when malfunctions occur. We expand the algorithm for diagnostics and repair from our previous work to domains in which the states of some components are not observable. The algorithm, based on our new formalism of testing, employs the multiple computation of stable models.