*A. Constituents*

*B. Compatibility conditions*

, for input links

, for output links

*C. Extended KL-structure*

import

use

axioms{ existing input and output axioms }, input axiom

, output axiom

**Example** We describe below the construction of an instantiated
resolution method, called *identify hypothetical causes*, from a
set of reusable KL-components whose formal descriptions have been
presented in the examples of section 2.1. First, the model *
malfunctions* is connected to the first argument of the resolution
method *abduction*, establishing an input relation (formalized by
an input axiom) between them.

*A. Constituents*

*B. Compatibility Conditions*

*C. Extended KL-structure*

import

use

axioms

Afterwards, the model *cause-malfunctions* is connected to the
second argument of the resolution method *abduction*, and an
input relation is established between them.

*A. Constituents*

*B. Compatibility Conditions*

*C. Extended KL-structure*

import

use

axioms

jsierra@cs.stanford.edu