Students will learn about basic problems in the field of artificial
intelligence and methods of solving them. The content of the course is:
State space, its search methods and their complexity; Genetic
algorithms; Basic machine learning algorithms; Clustering; Learning from
classified data; Combination of classifiers; Fundamentals of formal
propositional and predicate logic as problem solving tools; Automatic
theorem proving - resolution method; Neural networks (MLP, CNN, RNN,
LSTM), Deep learning.
- Teacher: Hlaváč Vladimír
- Teacher: Kuchař Michal
- Teacher: Oswald Cyril
- Teacher: Štěpánková Olga
- Teacher: Vitoušek Martin