|
|
|
||
|
An introductory course on artificial intelligence with the focus on basic concepts and methods. The cources requires knowledge of logic at the level of undergraduate course.
Last update: Barták Roman, prof. RNDr., Ph.D. (10.05.2011)
|
|
||
|
The course gives an introduction to fundamental concepts and techniques of Artificial Intelligence. The students will learn several search techniques for problem solving, including informed search such as A* algorithm, methods of logical representation of knowledge, inference techniques, constraint satisfaction, and planning techniques. Last update: BARTAK/MFF.CUNI.CZ (31.03.2008)
|
|
||
|
To successfully complete the course, the student is required to do the exam and to get credit. The credit is not necessary for registration to exam. Credit is given for a given number of points (specified by a teacher at the beginning of semester) obtained for solving programming homework. Credit cannot be repeated. Last update: Barták Roman, prof. RNDr., Ph.D. (04.05.2023)
|
|
||
|
S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 2003 V. Mařík, O. Štepánková, J. Lažanský a kol.: Umělá Inteligence, 1-6. Academia, Praha Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
|
|
||
|
lecture and practical exercise Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
|
|
||
|
The exam consists of a written preparation and an oral part. The requirements are given by the course syllabus. Last update: Barták Roman, prof. RNDr., Ph.D. (06.10.2017)
|
|
||
|
Intelligent agents, environment, and structure of agents.
Problem solving by search (DFS, BFS, ID, A*, IDA*, local and on-line search, heuristics).
Constraint satisfaction.
Games (minimax, alfa-beta pruning).
Knowledge representation and inference techniques (forward and backward chaining, resolution).
Automated planning. Last update: BARTAK/MFF.CUNI.CZ (18.02.2008)
|