Rule I

extends the definition of an IRM by connecting one of its uninstantiated input (output) roles (arguments) to a model through a lift definition, and establishing an input (output) relation between them.

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