Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings666

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

The Model of Expertise in KARL




Published: 1994 Januar

Buchtitel: Proceedings of the 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, January 10-14, 1994
Referierte Veröffentlichung
BibTeX

Kurzfassung
In the paper we present the modelling primitives of KARL. KARL is a formal and operational language to represent models of expertise of knowledge-based systems. Since KARL offers epistemologically adequate modelling primitives it allows to describe the model of expertise on a high level of abstraction. The formal semantics of KARL provides means to describe the expertise unambiguously and the operational semantics of KARL allows to directly execute models of expertise in order to provide feedback for the expert, the knowledge engineer and the user of the final knowledge-based system. KARL is based on object oriented logic and dynamic logic.



Forschungsgruppe

Wissensmanagement