Integrating causal reasoning at different levels of abstraction (original) (raw)

In this paper we describe a problem-solving system which uses a multi-level causal model of its domain. The system functions in the role of a pilot's assistant in the domain of commercial air transport emergencies. The model represents causal relationships among the aircraft subsystems, the effectors (engines, control surfaces), the forces that act on an aircraft in flight (thrust, lift), and the aircraft's flight profile (speed, .altitude, etc.). The causal relationsllips are represented at three levels of abstraction: Boolean, qualitative, and quantitative, and reasoning about causes and effects can rake place at each of these levels. Since processing at each level has different characteristics with respect to speed, the type of data required, and the specificity of the results, the problem-solving system can adapt to a wide variety of situations. The system is currently being implemented in the KEE TM development environment on a Symbolics Lisp machine.