Robert T. Plant
The aim of this paper is to show that when a development life cycle of representation refinement is utilized, that follows the principles of Newell’s Knowledge-Level, then the system will become self validating. This is illustrated through a rigorous development methodologythat utilizes formal techniques in the specification of the domain knowledge, the cognitive aspects and the representation. The paper introduces the concept of the Meta Knowledge-Level, a variant of Newell’s Knowledge-Level that facilitates the construction of a meta knowledge model. This provides the knowledge engineer with a dynamic perspective of the system which can be used in conjunctionwith the static aspects found in the intermediate representation, an implementation independent representation that is created through the use of a knowledge filter.