Constructing a planner for a particular application is a difficult job, for which little concrete support is currently available. The literature on planning is overwhelming and there exists no clear synthesis of the various planning methods which could be used by knowledge engineers. The contributio
Applying a library of problem-solving methods on a real-life task
β Scribed by PIET-HEIN SPEEL; MANFRED ABEN
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 755 KB
- Volume
- 46
- Category
- Article
- ISSN
- 1071-5819
No coin nor oath required. For personal study only.
β¦ Synopsis
This paper describes the application of a library of problem-solving methods (PSMs) for model-based diagnosis (Benjamins, 1993) on a real-life task. PSMs have been proposed as a comprehensive and feasible approach to the construction of conceptual models for knowledge-based systems (KBSs). A number of evaluations of this approach have been reported in the literature. Most of these evaluations have involved toy problems or reverse engineering of existing KBSs. In this paper we have applied Benjamins' library to a real-life task.
In this paper, we discuss how we have applied the PSMs during conceptual knowledge modelling, and how we had to adapt them to suit our task. We have found that the library of PSMs was extremely helpful in our project. Thanks to this reuse, the complete scope and quality of the ''prime diagnostic method'' was incorporated in our application, ambiguities in the task and domain were brought to light and the functional specifications of the target system were structured transparently. Since the reuse of library components in our real-life application was not trivial, we emphasize on the need for guidelines that support knowledge engineers to apply libraries of PSMs during the development of real-life KBSs.
π SIMILAR VOLUMES
In this paper we investigate the reuse of tasks and problem-solving methods and we propose a model of how to organize a library of reusable components for knowledgebased systems. In our approach, we first describe a class of problems by means of a task ontology. Then we instantiate a generic model o
The paper discusses an iterative scheme for solving large-scale three-dimensional linear elasticity problems, discretized on a tensor product of two-dimensional and one-dimensional meshes. A framework is chosen of the additive AMLI method to develop a preconditioner of a `black-box' type which is ro
This article describes a knowledge-based application in the domain of road traffic management that we have developed following a knowledge modelling approach and the notion of problem-solving method. The article presents first a domain-independent model for a real-time decision support as a structur
Different libraries of problem-solving methods have been described in the past few years. But they have mostly been defined at an informal or operational level and rarely at the formal level. Since their components lack a clear definition and rigorous structuration, it is difficult to ensure that a