Arbeitspapier
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.
- Sprache
-
Englisch
- Thema
-
Computerlinguistik
Programmiersprache
Linguistik
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Angele, Jürgen
Decker, Stefan
Perkuhn, Rainer
Studer, Rudi
- Ereignis
-
Veröffentlichung
- (wann)
-
2016-05-02
- URN
-
urn:nbn:de:bsz:mh39-48389
- Letzte Aktualisierung
-
06.03.2025, 09:00 MEZ
Datenpartner
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Angele, Jürgen
- Decker, Stefan
- Perkuhn, Rainer
- Studer, Rudi
Entstanden
- 2016-05-02
Ähnliche Objekte (12)
Modeling Problem-Solving Methods in New KARL
On problem-solving
Problem-solving through problems
Problem-solving through problems
Experimental Study and Modeling of Three Classes of Collective Problem-Solving Methods
Reuse of Problem-Solving Methods and Family Resemblances
Reuse of Problem-Solving Methods and Family Resemblances
Problem-solving Methods in Combinatorics : An approach to olympiad problems
Supporting remote collaborative problem-solving
Problem-solving groups for women
Describing Similar Control Flows for Families of Problem-Solving Methods
Describing Similar Control Flows for Families of Problem-Solving Methods
Modeling Problem-Solving Methods in New KARL
On problem-solving
Problem-solving through problems
Problem-solving through problems
Experimental Study and Modeling of Three Classes of Collective Problem-Solving Methods
Reuse of Problem-Solving Methods and Family Resemblances
Reuse of Problem-Solving Methods and Family Resemblances
Problem-solving Methods in Combinatorics : An approach to olympiad problems
Supporting remote collaborative problem-solving
Problem-solving groups for women
Describing Similar Control Flows for Families of Problem-Solving Methods
Describing Similar Control Flows for Families of Problem-Solving Methods
Modeling Problem-Solving Methods in New KARL
On problem-solving
Problem-solving through problems
Problem-solving through problems
Experimental Study and Modeling of Three Classes of Collective Problem-Solving Methods
Reuse of Problem-Solving Methods and Family Resemblances
Reuse of Problem-Solving Methods and Family Resemblances
Problem-solving Methods in Combinatorics : An approach to olympiad problems
Supporting remote collaborative problem-solving
Problem-solving groups for women
Describing Similar Control Flows for Families of Problem-Solving Methods