Dynamic Diagnosis (Position Paper)

C. Baral and T. C. Son

Recent research in diagnosis (Mcllraith, 1997; Thielscher, 1997; McIlraith, 1998) extends earlier works in diagnosis fi'om first principles by using an action theory instead of a first-order theory to describe the correct behavior of the system in consideration. The action theory allows us to reason about actions and their effects. Thus, when an action does not yield the expected effects something did mMfunction. Using regression, we can identify what is wrong initially. Our position is that in many cases this is not enough.

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.