Knowledge Engineering

Garant předmětu:

Ivo Bukovský, Michael Valášek

Lecturer:

Václav Bauma, Ivo Bukovský, Zbyněk Šika, Michael Valášek

Tutor:

Václav Bauma, Ivo Bukovský, Zbyněk Šika, Michael Valášek

Supervisor:

Department of Mechanics, Biomechanics and Mechatronics

Synopsis:

The student will be acquainted with the methods of storage and reuse of knowledge by means of artificial intelligence, especially knowledge support of engineering design.

•Data, information and knowledge.

•Formal and informal knowledge.

•Types of knowledge systems.

•Formal logic, proving theorems, resolution method, Prolog.

•Knowledge representation and reasoning.

•Uncertainty of knowledge.

•Expert systems

•Life cycles and methodology of knowledge, KADS model.

•Ontology.

•Types of engineering design.

•Model of configuration and parametric design.

•Model of transformation worlds.

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

•Kevin Warwick: Artificial Intelligence: The Basics, Springer 2011

•Stuart Russell, Peter Norvig: Artificial Intelligence: A Modern Approach, Springer 2009

•Simon Kendal, Malcolm Creen: An Introduction to Knowledge Engineering, Springer 2007

•Zdráhal, Z.; Mulholland, P.; Valášek, M.; Bernardi, A.: Worlds and Transformations: Supporting the Sharing and Reuse of Engineering Design Knowledge, International Journal of Human-Computer Studies. 2007, 65(12), pp. 959-982.

•odkaz: https://moodle-vyuka.cvut.cz/

Note:

Time-table for winter semester 2023/2024:

Time-table is not available yet

Time-table for summer semester 2023/2024:

Time-table is not available yet

The course is a part of the following study plans: