Diagnostics with Answer Sets: Dealing with Unobservable Fluents

Michael Gelfond and Richard Watson

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.