Historie - příklady, architektura, pravidlové systémy, zpětné a dopředné řetězení, usuzování s nejistotou a vágností, Rete algoritmus, OPS, CLIPS, formální logika, resoluční metoda, Prolog, rámce a objektově orientované programování, modelování znalostí, OCML, znalostní inženýrství, příklady - klasifikace, diagnostika, konfigurace, plánování.(Pro oborové studium Mechatronika)