next up previous
Next: Instantiated decomposition methods Up: Composition rules and KL-structures Previous: Instantiated resolution methods

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

tex2html_wrap_inline1271
tex2html_wrap_inline1273
tex2html_wrap_inline1275

B. Compatibility conditions

tex2html_wrap_inline1277 , for input links
tex2html_wrap_inline1279 , for output links

C. Extended KL-structure

tex2html_wrap1317
import tex2html_wrap_inline1283
use tex2html_wrap_inline1285
axioms { existing input and output axioms } tex2html_wrap_inline1287 , input axiom
tex2html_wrap_inline1289 , 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

tex2html_wrap_inline1291

B. Compatibility Conditions

tex2html_wrap_inline1293

C. Extended KL-structure

tex2html_wrap1321
import tex2html_wrap_inline1297
use tex2html_wrap_inline1167
axioms tex2html_wrap_inline1301

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

A. Constituents

tex2html_wrap_inline1303

B. Compatibility Conditions

tex2html_wrap_inline1305

C. Extended KL-structure

tex2html_wrap1321
import tex2html_wrap_inline1297
use tex2html_wrap_inline1311
axioms tex2html_wrap_inline1313



jsierra@cs.stanford.edu