next up previous
Next: METHOD ONTOLOGY Up: KADS CONCEPTUAL MODEL Previous: KADS Inference Layer

Inference Structure for P&R

Propose&Revise (P&R) is a problem-solving method to accomplish a configuration task, which constructs a design by proposing a value for one parameter of a system at a time and checking to see whether each parameter satisfies all constraints on it. P&R was originally implemented by Salt, a knowledge-acquisition tool that generates P&R systems [Marcus, 1988]. We modeled P&R for the VT (vertical transportation) task, based on the description made by Yost [Yost, 1994]. The VT task defines the design problem in which the goal is to configure an elevator. Figure 3 illustrates the inference structure for P&R abstracted from the VT domain. We decompose P&R into five primitive inferences.

  
Figure 3: Our representation of the inference structure for Propose&Revise. The inference structure specifies the inferences independent of their order of application.

The inference structure presents a general view of the problem-solving method and the knowledge used by the inferences. However, this description is abstract and imprecise. The information about the structure of knowledge roles is not revealed. For example, the parameters are related to one another by dependency relations, but there is no information about the organization of these dependency relations. In addition, we do not know if it is possible for a parameter to have more than one constraint, or if more than one fix for a constraint may exist.

In the next section, we propose an approach for describing formally the knowledge roles of a PSM in terms of a method ontology. This ontology unveils the assumptions about the structure of the knowledge roles required by a method. The advantage of describing a method ontology is a better understanding of a PSM, without going into details of the implementation.


next up previous
Next: METHOD ONTOLOGY Up: KADS CONCEPTUAL MODEL Previous: KADS Inference Layer



Eliana Coelho
Wed Sep 4 15:57:17 EDT 1996