ABSTRACT
This chapter shows that the proposed unified model does indeed provide a unified cognitive model in the sense of Newell. The knowledge utilization processes that occur in the verification tasks and the programming tasks are very similar to the respective knowledge acquisition processes. The major difference concerns the last processing component. Whereas in knowledge acquisition a memory storage is performed as the last processing component, a decision or performance component is executed in the knowledge utilization tasks. The KIWi model has been implemented in LPA-PROLOG and runs on Macintosh computers. In order to automatically perform the different knowledge construction processes, the situational units that are supposedly contained in a text or the learner’s prior knowledge must be entered in a PROLOG notation. The propositions that are used to construct a textbase must similarly be entered. The more novel implementations of the KIWi model are the ones that simulate the knowledge construction processes.
