Umělá inteligence II | Seminář z umělá inteligence

Umělá inteligence I / Artificial Intelligence I
NAIL069, 2/1 Z+Zk, zimní semestr

Roman Barták, KTIML


Zdroje  |  Přednáška  |  Zkouška  |  Kontakt

Umělá inteligence je věda o vytváření strojů nebo systémů, které budou při řešení určitého úkolu užívat takového postupu, který - kdyby ho dělal člověk - bychom považovali za projev jeho inteligence.

Marvin Minsky, 1967


Zdroje (References):

Přednáška je připravena podle knihy S. Russell, P. Norvig: Artificial Intelligence. A Modern Approach, Prentice Hall (aktuálně čtvrté vydání, 2020). Materiály ke knize jsou dostupné na webu, kde najdete spousty odkazů na další zdroje.

V roce 2015 bylo možno (z fakutních počítačů) přistupovat na PDF všech knih ze série Synthesis Lectures on Artificial Intelligence and Machine Learning vydavatelství Morgan & Claypool Publishers.

Z literatury dostupné v českém jazyce je možné čerpat například ze série knih V. Mařík, O. Štěpánková, J. Lažanský (eds.): Umělá inteligence 1-6, vycházející v nakladatelství Academia.

Některé kapitoly z přednášky jsou tématem samostatných přednášek, kde je možné své znalosti prohloubit: Programování s omezujícími podmínkami, Plánování a rozvrhování. Pro zájemce o UI je užitečný také Seminář z umělé inteligence.


Přednáška (Lectures) ZS 2025/2026:
Pondělí 14:00 - 15:30, posluchárna S3, Malá Strana - lekce v češtině
Tuesday 9:00 - 10:30, lecture room S3, Malá Strana - lectures in English

This is a prelimary program that may change during the semester.

date topic lecture quiz
29.09. 2025
30.09. 2025
Introduction, major topics, context, history, and applications of AI.
(Chapter 1.1-1.4)
06.10. 2025
07.10. 2025

Intelligent agents, environment, structure of agents.
(Chapter 2)

13.10. 2025
14.10. 2025

Problem solving, uninformed search algorithms.
(Chapter 3.1-3.4)

20.10. 2025
21.10. 2025
Informed search algorithms and heuristics.
(Chapter 3.5-3.6)
17.11. 2025
28.10. 2025

Canceled!

 
 
27.10. 2025
04.11. 2025
Local and on-line search algorithms.
(Chapter 4.1, 4.3, 4.5)
03.11. 2025
11.11. 2025
Constraint satisfaction.
(Chapter 6.1-6.3)
10.11. 2025
18.11. 2025
Adversarial search (games).
(Chapter 5)
24.11. 2025
25.11. 2025
Knowledge representation, propositional logic.
(Chapter 7)
01.12. 2025
02.12. 2025

First-order logic.
(Chapter 8)

08.12. 2025
09.12. 2025
First-order logic: Inference Techniques.
(Chapter 9)
15.12. 2025
16.12. 2025
Knowledge representation.
(Chapter 10.1-10.3)
05.01. 2026
06.01. 2026
Automated planning.
(Chapter 11.1-11.2)

There is a practical workshop accompanying the lectures. There are two language-variants of workshops, one given in English (web pages) and one in Czech (web pages) given by Jiří Švancara. Materials from past years are also available (Adam Dingle web pages, Otakar Trunda web pages, Jakub Gemrot web pages).

Slajdy v českém jazyce z předchozích let.

Úvod, témata a vymezení UI, pohled do historie, úspěšné aplikace.

Inteligentní agenti, jejich prostředí a základní struktury.

Řešení problémů prohledáváním (DFS, BFS,ID).

Informované prohledávání (heuristiky, A*).

Lokální a on-line prohledávání.
Splňování omezujících podmínek.
Hry (minimax, alfa-beta prohledávání).
Logické odvozování.
Logika prvního řádu a reprezentace znalostí.
Odvozování v logice prvního řádu (unifikace, skolemizace, řetězení, rezoluce).
Reprezentace znalostí.
Plánování (v prostoru stavů, v prostoru plánů).

 


Zkouška (Exam):

During exam, student will randomly select a question from topics covered by lectures (see Exam Requirements below). Then there will be 15 minutes to write the answer (bring a pen) followed by 15 minutes for oral explanation of the answer and side questions. No external sources of information are allowed (use only your own brain)! The exam dates are published before the exam period and students register to exams via SIS.

Exam Requirements


Kontakt:
 

prof. RNDr. Roman Barták, Ph.D.

Katedra teoretické informatiky a matematické logiky
Matematicko-fyzikální fakulta Univerzity Karlovy

Malostranské nám. 2/25, 118 00 Praha 1
Czech Republic

e-mail: bartak (AT) ktiml.mff.cuni.cz
tel: +420 951 554 242

V případě potřeby je možné domluvit individuální konzultace k přednášce, případně témata projektů, bakalářských či diplomových prací vycházejících z témat přednášky.

Samozřejmě veškeré komentáře k přednášce, hlášení chyb, nejasných pasáží apod. jsou vítány.