A framework for controlling model-based diagnosis systems with multiple actions

Abstract

In recent years reasoning about structure and function of physical systems for the purpose of diagnosis has seen a dramatic increase in activities. New exciting results concerning modelling issues, diagnostic inference patterns and inferential power have emerged. A state of the art diagnosis agent now has a considerable toolset at hand. A main obstacle for building large diagnosis systems, however, remains. How can we controlwhen to usewhich inference pattern or representation? We argue that the actions available to a diagnosis agent can be understood in terms of change ofworking hypotheses. The control problem then becomes a belief revision problem: when to adopt or drop beliefs. Our approach proceeds in two steps. First, we adopt the principle of informational economy from Gardenfors, Knowledge in Flux (MIT Press, 1988) as kind of a law of inertia for diagnostic processes, that helps us identify candidates for revised belief states. In a second step we employ specificdiagnostic knowledge to actually choose the next belief state. We demonstrate the use of our concepts on an example in the domain of ballast tank systems as e.g. used in offshore plants.