Abstract
This paper proposes a technique to derive candidates of counter actions applying both functional modeling and qualitative reasoning methods with the purpose of supporting operator actions in an anomalous situation of engineering plants. A plant model is constructed by adding necessary knowledge to derive counter actions to a functional model of a target system by the MFM (Multilevel Flow Modelling). Algorithms are given to infer the affection of an anomaly, to determine the priority of plant states and/or goals to be recovered, and to derive candidates of counter actions. The applicability of the proposed technique is discussed using an anomalous case in a fluidized-bed refuse incineration plant.
