Volltext-Downloads (blau) und Frontdoor-Views (grau)

Modeling Problem-Solving Methods in New KARL

  • 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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar

Statistics

frontdoor_oas
Metadaten
Author:Jürgen Angele, Stefan Decker, Rainer Perkuhn, Rudi Studer
URN:urn:nbn:de:bsz:mh39-48389
Parent Title (English):Proceedings of the 10th Knowledge Acquisition for Knowledge - Based Systems Workshop (KAW'96)
Place of publication:Karlsruhe
Document Type:Working Paper
Language:English
Year of first Publication:1996
Date of Publication (online):2016/05/02
Publicationstate:Veröffentlichungsversion
Reviewstate:(Verlags)-Lektorat
GND Keyword:Computerlinguistik; Programmiersprache
Pagenumber:18
Dewey Decimal Classification:400 Sprache / 410 Linguistik
Open Access?:ja
BDSL-Classification:Textwissenschaft
Linguistics-Classification:Computerlinguistik
Licence (German):License LogoCreative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung 3.0 Deutschland