Control by Artificial Intelligence

Course guarantor:

Lecturer:

Tutor:

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:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: