Student se seznámí s metodami uchování a použití znalostí metodami umělé inteligence, zvláště znalostní podpora inženýrského navrhování.
•Data, informace a znalosti.
•Formální a neformální znalosti.
•Druhy znalostních systémů.
•Formální logika, dokazování teorémů, resoluční metoda, Prolog.
•Reprezentace znalostí a usuzování.
•Nejistota znalostí.
•Expertní systémy
•Životní cykly a metodologie znalostí, KADS model.
•Ontologie.
•Druhy inženýrského návrhu.
•Model konfiguračního a parametrického konstruování.
•Model transformačních světů

•Mařík, V. a kol.: Umělá inteligence 1-7, Academia, Praha 1993-2015
•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 2007Kevin Warwick:
Artificial Intelligence: The Basics, Springer 2011
•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/