A process-oriented reasoner about physiology

This paper presents the RAP system: a reasoner about physiology. RAP performs two tasks: (1) it infers the behaviour of a complex physiological process using the behaviours of its subprocesses and the relationships between them; (2) it reasons about the effect of introducing a fault into the model. In order to reason about the behaviour of a complex process, RAP uses a mechanism which: (i) represents how subprocesses behave; (ii) establishes how these subprocesses affect each others behaviors; (iii) ‘aggregates’ these behaviors together to obtain the behavior of the top level process; (iv) gives that process a temporal context in which to act. RAP uses limited commonsense knowledge about faults to reason about their effect in terms of the generation of new processes and the misbehavior of existing ones. The effects are then propagated throughout the model to obtain the overall effect of the fault.