A Language to Formalize and to Operationalize Problem-solving Strategies of Structured Knowledge Models
Martín Molina, José Luis Sierra, Juan Manuel Serrano · 1998
. 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. 1. Introduction In recent proposals of methodologies and tools within the knowledge engineering field, the model-based knowledge acquisition has been emerged as a solution to guide the development of knowledge based systems. Within this context, the concept of problemsolving method has been established by different authors [McDermott, 88; Chandrasekaran et al., 92; Wielinga et al., 92] with the goal of improving the process of development and the quality of complex architectures of knowledge-based systems. A prob...