Abstract | ||
---|---|---|
Problem solving methods (PSM's) are important in constructing modular and reusable knowledge-based systems, as they specify the different types of knowledge used in knowledge-based reasoning, as well as under what circumstances what knowledge is to be applied. We argue that the formal modeling of PSM's is a useful means for clarifying, communicating and comparing problem-solving knowledge. This paper shows how such PSM's can be formally defined. We illustrate this by developing a formal model for the Cover- and-Differentiate method for diagnosis, and comparing this to Heuristic Classification. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/3-540-55546-3_36 | EKAW |
Keywords | Field | DocType |
differentiating problem,knowledge based system,knowledge base | Data mining,Mathematical optimization,Heuristic,Descriptive knowledge,Computer science,Adaptive reasoning,Artificial intelligence,Modular design,General Group Problem Solving (GGPS) Model | Conference |
ISBN | Citations | PageRank |
0-38755546-3 | 3 | 1.03 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guus Schreiber | 1 | 1448 | 150.58 |
Bob Wielinga | 2 | 617 | 52.73 |
Hans Akkermans | 3 | 261 | 45.88 |