Inproceedings606: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Angele | ||
+ | |ErsterAutorVorname=Jürgen | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Stefan Decker | |Author=Stefan Decker | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=4 | ||
+ | |Author=Rudi Studer | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=3 | |Rank=3 | ||
|Author=Rainer S. Perkuhn | |Author=Rainer S. Perkuhn | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings |
Version vom 8. September 2009, 10:45 Uhr
Modeling Problem-Solving Methods in New KARL
Modeling Problem-Solving Methods in New KARL
Published: 1996
November
Buchtitel: Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW'96), Banff, Canada, November 9 - 14, 1996
Referierte Veröffentlichung
BibTeX
Kurzfassung
New KARL (Knowledge Acquisition and Representation Language) allows to specify all parts of a problem-solving method (PSM). It is a formal language with a well-defined semantics and thus allows to represent PSMs precisely and unambiguously yet abstracting from implementation detail. In this paper it is shown how the language KARL has been modified and extended to New KARL to better meet the needs for the representation of PSMs. Based on a conceptual structure of PSMs new language primitives are introduced for KARL to specify such a conceptual structure and to support the configuration of methods. An important goal for this extension was to preserve three important properties of KARL: to be (i) a conceptual, (ii) a formal, and (iii) an executable language.
Download: Media:1996_606_Angele_Modeling_Proble_1.ps.gz