|
|
|
||
Last update: prof. RNDr. Roman Barták, Ph.D. (10.05.2011)
|
|
||
Last update: BARTAK/MFF.CUNI.CZ (31.03.2008)
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: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)
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 homework, writing essays, and tournaments. Credit cannot be repeated. |
|
||
Last update: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)
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: prof. RNDr. Roman Barták, Ph.D. (06.10.2017)
lecture and practical exercise |
|
||
Last update: prof. RNDr. Roman Barták, 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: BARTAK/MFF.CUNI.CZ (18.02.2008)
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. |