Compositional verification of knowledge-based systems: A case study for diagnostic reasoning

Knowledge Acquisition, Modeling and Management - Lecture Notes in Computer Science ◽

10.1007/bfb0026778 ◽

1997 ◽

pp. 65-80 ◽

Cited By ~ 13

Author(s):

Frank Cornelissen ◽

Catholijn M. Jonker ◽

Jan Treur

Keyword(s):

Diagnostic Reasoning ◽

Knowledge Based Systems ◽

Compositional Verification ◽

Knowledge Based

Download Full-text

THE USE OF KNOWLEDGE-BASED SYSTEMS FOR EVALUATING THE CONSERVATION AND AMENITY VALUE OF WOODLANDS: A CASE STUDY FROM SOUTHERN SCOTLAND

Arboricultural Journal ◽

10.1080/03071375.1996.9747124 ◽

1996 ◽

Vol 20 (3) ◽

pp. 299-312

Author(s):

G. Edwards-Jones ◽

E. E. Carlyle ◽

O. Howells

Keyword(s):

Knowledge Based Systems ◽

Amenity Value ◽

Knowledge Based ◽

Use Of Knowledge

Download Full-text

A case study of technology transfer in the field of knowledge-based systems: the 9-ingredients approach

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century ◽

10.1109/icsmc.1995.538278 ◽

2002 ◽

Author(s):

P. Baroni ◽

G. Guida ◽

S. Mussi

Keyword(s):

Technology Transfer ◽

Knowledge Based Systems ◽

Knowledge Based

Download Full-text

TESTING KNOWLEDGE BASED SYSTEMS: A CASE STUDY AND IMPLICATIONS

Safety of Computer Control Systems 1992 (Safecomp ' 92) ◽

10.1016/b978-0-08-041893-3.50054-9 ◽

1992 ◽

pp. 305-310

Author(s):

P. Heino ◽

H. Jaakkola ◽

J. Tepandi

Keyword(s):

Knowledge Based Systems ◽

Knowledge Based

Download Full-text

Knowledge-based systems and operational hydrology

Canadian Journal of Civil Engineering ◽

10.1139/l91-001 ◽

1991 ◽

Vol 18 (1) ◽

pp. 1-11 ◽

Cited By ~ 10

Author(s):

Slobodan P. Simonovic

Keyword(s):

Expert System ◽

Flow Measurement ◽

Knowledge Based Systems ◽

Flow Measurements ◽

Knowledge Based ◽

Original Concept ◽

System Water ◽

Potential Use ◽

Selection Of

Knowledge-based systems were brought to the attention of hydrologists almost a decade ago. The application of knowledge-based systems technology is natural and appropriate for the field of hydrology because it contains numerous procedures developed from theory, actual practice, and experience. The emphasis of the present paper is on demystifying knowledge-based systems of artificial intelligence. After a detailed review of the most important applications to the field of hydrology, the original concept for applying knowledge-based technology is presented. The discussion ends with the list of possible benefits from the application of knowledge-based technology. An expert system for the selection of a suitable method for flow measurement in open channels is used as a case study to illustrate the discussion in the paper. The system has been designed for potential use in Environment Canada. Key words: expert system, water resources, hydrology, flow measurements.

Download Full-text