Historie, vymezení. Produkční systém, metody řešení úloh, prohledávání stavového prostoru. Formální logika, dokazování teorémů, resoluční metoda, Prolog. Expertní systémy, zpětné a dopředné řetězení, usuzování s nejistotou a vágností, Rete algoritmus, rámce, příklady - klasifikace, diagnostika, konfigurace, plánování. Fuzzy množiny, jazykové proměnné, Fuzzy řízení. Neuron a jeho model, druhy neuronových sítí a jejich učení. Fuzzy regulátor. Řízení neuronovou sítí. Genetické algoritmy.

Mařík, V. a kol.: Umělá inteligence 1-4, Academia, Praha 1993-2003
Valášek, M. a kol.: Mechatronika, Vydavatelství ČVUT, Praha 1996