Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2024/2025
NOTICE: Study plans for the following academic year are available.

Knowledge Engineering

Display time-table
Code Completion Credits Range
W31OZ012 ZK 26P+52C
Course guarantor:
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 2024/2025:
Time-table is not available yet
Time-table for summer semester 2024/2025:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2025-03-19
For updated information see http://bilakniha.cvut.cz/en/predmet6689206.html