๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods

โœ Scribed by Frank Cornelissen; Catholijn M. Jonker; Jan Treur

Book ID
106280154
Publisher
Springer-Verlag
Year
2003
Tongue
English
Weight
501 KB
Volume
5
Category
Article
ISSN
0219-1377

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A library of problem-solving components
A library of problem-solving components based on the integration of the search paradigm with task and method ontologies
โœ ENRICO MOTTA; ZDENEK ZDRAHAL ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 601 KB

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

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