Control by Artificial Intelligence

Lecturer:

Michael Valášek (gar.), Václav Bauma, Zbyněk Šika

Tutor:

Michael Valášek (gar.), Václav Bauma, Zbyněk Šika

Supervisor:

Department of Mechanics, Biomechanics and Mechatronics

Synopsis:

History, definition. Production systems, problem solving methods, search in state space. Formal logic, theorem proving, resolution method, Prolog. Expert systems, backward and forward chaining, uncertainty reasoning, Rete algorithm, frames, examples - clasification, diagnostics, configuration, planning. Fuzzy sets, linguistic variables, Fuzzy control. Neuron and its model, kinds of neuron nets and their learning. Fuzzy regulator. Control by neuron nets. Genetic algorithms.

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

Note:

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 2011/2012:

Time-table is not available yet

The course is a part of the following study plans: