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.
- Language
-
Englisch
- Subject
-
Computerlinguistik
Programmiersprache
Linguistik
- Event
-
Geistige Schöpfung
- (who)
-
Angele, Jürgen
Decker, Stefan
Perkuhn, Rainer
Studer, Rudi
- Event
-
Veröffentlichung
- (when)
-
2016-05-02
- URN
-
urn:nbn:de:bsz:mh39-48389
- Last update
-
06.03.2025, 9:00 AM CET
Data provider
Leibniz-Institut für Deutsche Sprache - Bibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Arbeitspapier
Associated
- Angele, Jürgen
- Decker, Stefan
- Perkuhn, Rainer
- Studer, Rudi
Time of origin
- 2016-05-02
Other Objects (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