1. Intelligent Control Methods Lecture 8: Knowledge Engineering Slovak University of Technology Faculty of Material Science and Technology in Trnava

2. 2 Establishing of knowledge base The most important and most toilsome part of ES building. Knowledge sources:  experts  another sources: own knowledge of knowledge engineer textbooks annual reports, statistics books, reports, encyclopedias databases

3. 3 Phases of knowledge base establishing: Similar to SW-waterfall model (planning, analysis, design, implementation, tests, operation, maintenance), adapted to knowledge engineering specifics. Identification Conceptualization Formalization Realization Tests

4. 4 Identification participants identification problem identification sources estimation goals definition

5. 5 Conceptualization data types estimation what is given, what should be derived relations, hierarchical relations knowledge types

6. 6 Formalization Tasks, subtasks and characteristics from above mentioned phases are formalized into chosen knowledge representation schema

7. 7 Realization Prototype of KB Tests KB supplementation by type tasks

8. 8 Knowledge acquisition from experts Difficult. Experts are not able to formulate their inference.  Expertise-paradox: The more is the expert competent, so less is he able to describe his thinking. Expert must be not only asked, but also observed by task solutions. Expert used different glossary as knowledge engineer.

9. 9 Expert knowledge Express- able expert knowledge Express- able expert knowledge, which is the KE able to understand Express- able expert knowledge, which is the KE able to formalize KB

10. 10 Example for KB design Insurance company Damage compensation

11. 11 Time consumption: Taskpeopletime (years) simple2 - 40,5 – 1,5 middle3 - 51 – 1,5 difficult4 - 63 - 5

12. 12 Tools for KB design and maintenance: Editors Complex systems for  KB filling  KB modification  KB supervision: syntactic checkout undefined objects redundant objects unmeetable conditions tautological conditions inaccessible objects type mismatch cyclic reference inconsistent weighting