Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
Úvodní kurz pokrývající základní koncepty a metody umělé inteligence. Předpokládány jsou znalosti logiky a
pravděpodobnosti na bakalářské úrovni.
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
An introductory course covering basic concepts and methods of artificial intelligence. The course assumes
knowledge of logic and probability theory at the undergraduate level.
Podmínky zakončení předmětu -
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
Podmínkou pro zakončení předmětu je získání zápočtu a složení zkoušky. Zápočet je udělen za vypracování úkolů na cvičení. Povaha kontroly získání zápočtu vylučuje možnost jejího opakování. Zkouška je ústní s časem na písemnou přípravu. Požadavky odpovídají sylabu předmětu v rozsahu, který byl přednesen na přednášce. Součástí zkoušky může být i návrh algoritmu aplikovaného na konkrétní problém.
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
In order to pass the course, the student must obtain the credit for the seminar and pass an exam. The credit is given for solving assignments from the seminar. The nature of study verification excludes the possibility of its repetition. The exam is oral with time for written preparation. The requirements correspond to the syllabus in the extent presented during the lectures. A part of the exam may be the design of an algorithm for a given problem.
Literatura -
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 2010
V. Mařík, O. Štepánková, J. Lažanský a kol.: Umělá Inteligence, 1-6. Academia, Praha
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 2010
V. Mařík, O. Štepánková, J. Lažanský a kol.: Umělá Inteligence, 1-6. Academia, Praha
Sylabus -
Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)
1. Zavedení pojmů, historie
2. Řešení úloh prohledáváním (A* a spol.)
3. Splňování podmínek
4. Logické uvažování (dopředné a zpětné řetězení, rezoluce, SAT)