The KARL model of expertise contains a domain layer, an inference layer, and a task layer for specifying a knowledge-based system. In this chapter, it will be shown for each layer which language primitives are offered by KARL and how the different layers are connected by KARL. The so-called Sisyphus example1 [144] will serve to illustrate each layer. A very simplified problem-solving method will be applied to solve the problem in order to simplify the example. More elaborated problem-solving methods are given in [12], [10].


Class Definition Inference Action Inference Structure Domain Layer Output Store 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Dieter Fensel
    • 1
    • 2
  1. 1.University of KarlsruheGermany
  2. 2.Department SWIUniversity of AmsterdamAmsterdamNetherlands

Personalised recommendations