𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A library of system-derived problem-solving methods for planning

✍ Scribed by ANDRÉ VALENTE; V.RICHARD BENJAMINS; LELIANE NUNES DE BARROS

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
440 KB
Volume
48
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

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 contribution of this paper concerns an approach to provide concrete support for engineering planning systems. We use modern knowledge modeling approaches to analyse planning systems described in the literature. The analysis yields a detailed description of these planning systems in terms of the domain knowledge they use and the problem-solving methods they comprise. We show how the result of the analysis can be considered as a library of system-derived problem-solving methods for planning. This library consists of planning problem-solving methods along with their assumptions, which describe the applicability conditions on the domain knowledge of the methods. We describe how the library supports knowledge engineers in building planning systems and present two implemented tools based on the approach.

📜 SIMILAR VOLUMES

Applying a library of problem-solving me
Applying a library of problem-solving methods on a real-life task
✍ PIET-HEIN SPEEL; MANFRED ABEN 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 755 KB

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

Hierarchical representation of problem-s
Hierarchical representation of problem-solving knowledge in a frame-based process planning system
✍ Dana S. Nau; Tien-Chien Chang 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 928 KB

In most frame-based reasoning systems, the information being manipulated is represented using frames, but the problem-solving knowledge that manipulates the frames is represented as production rules. One problem with this approach is that rules are not always a natural way to represent knowledge; an

Supporting organization and use of probl
Supporting organization and use of problem-solving methods libraries by a formal approach
✍ CHRISTINE PIERRET-GOLBREICH 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 410 KB

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

A Decomposition Method for Solving Nonli
A Decomposition Method for Solving Nonlinear Systems of Compartment Models
✍ Elias Deeba; Jeong-Mi Yoon 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 80 KB

In this paper we consider a two-compartment model and analyze the underlying nonlinear system of differential equations that arises from studying such models. In particular, we apply a decomposition method to solve the system numerically and then compare the results with other well-known methods suc