Link(ID:4192/lin012)

Began: 1998

Language for formalising and operationalising problem solving strategies

References:

Molina M.,Sierra J.L.Serrano J.M.: "A Language to Formalize and to Operationalize Problem Solving Strategies of Structured Knowledge Models". 8 th Workshop on Knowledge Engineering: Methods & Languages KEML 98. Karlsruhe, Germany, 1998 view details Abstract: This paper describes a proposal of a language called Link which has been designed to formalize and operationalize problem solving strategies. This language is used within a software environment called KSM (Knowledge Structure Manager) which helps developers in formulating and operationalizing structured knowledge models. The paper presents both its syntax and dynamics, and gives examples of well-known problem-solving strategies of reasoning formulated using this language.