Incorporating Action into Diagnostic Problem Solving (An Abridged Report)

摘要: Reasoning about action and change is integral to the diagnosis, testing repair of many artifacts, yet there no formal account diagnostic problem solving which incorporates a theory change. In this abridged report, we provide situation calculus framework for solving. Using framework, present results towards characterization diagnosis behaviorally static systems whose state can be affected by events occur in world, require world-altering actions achieve tests repairs. Diagnosis defined more broadly terms what happened addition traditional conjccture wrong. Observations world are used diagnose some system malfunctions. By developing our calculus, able contribute semantics broader notion repair, dealing formally with issues such as frame problem.