An introductory course covering basic concepts and methods of artificial intelligence. The course assumes
knowledge of logic and probability theory at the undergraduate level.
Last update: Hric Jan, RNDr. (30.04.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.
Last update: Hric Jan, RNDr. (30.04.2018)
Aim of the course -
The aim of the course is to give students an overview of fundamental methods and concepts of artificial intelligence and to make students familiar with practical usage of them.
Last update: Hric Jan, RNDr. (30.04.2018)
Cílem předmětu je poskytnout studentům přehled základních metod a konceptů umělé inteligence a ukázat studentům, jak se představené techniky prakticky používají.
Last update: Hric Jan, RNDr. (30.04.2018)
Course completion requirements -
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. In exceptional cases, the exam can be on-line. 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.
Last update: Barták Roman, prof. RNDr., Ph.D. (28.04.2020)
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; ve výjimečných případech může být zkouška distanční. 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.
Last update: Barták Roman, prof. RNDr., Ph.D. (28.04.2020)
Literature -
S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 2010
Last update: Töpfer Pavel, doc. RNDr., CSc. (25.05.2022)
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
Last update: Töpfer Pavel, doc. RNDr., CSc. (25.05.2022)
Requirements to the exam -
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.
Last update: Barták Roman, prof. RNDr., Ph.D. (07.06.2019)
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.
Last update: Barták Roman, prof. RNDr., Ph.D. (07.06.2019)
Syllabus -
1. Basic terminology, history, background
2. Problem solving via search (A* and others)
3. Constraint satisfaction
4. Logical reasoning (forward and backward chaining, resolution, SAT)