Úvod do umělé inteligence - NAIL113

• Anglický název: Introduction to Artificial Intelligence
• Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2020
• Semestr: letní
• E-Kredity: 5
• Rozsah, examinace: letní s.:2/2, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: prof. RNDr. Roman Barták, Ph.D.

Anotace

čeština

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.

angličtina

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

čeština

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.

angličtina

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

čeština

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

čeština

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)

5. Pravděpodobnostní uvažování (Bayesovské sítě)

6. Reprezentace znalostí (situační kalkulus, Markovské modely)

7. Automatické plánování

8. Markovské rozhodovací procesy

9. Hry a teorie her

10. Strojové učení (rozhodovací stromy, regrese, zpětnovazební učení)

11. Filozofické a etické aspekty

angličtina

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (30.01.2018)

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)

5. Probabilistic reasoning (Bayesian networks)

6. Knowledge representation (situation calculus, Markovian models)

7. Automated planning

8. Markov decision processes

9. Games and theory of games

10. Machine learning (decision trees, regression, reinforcement learning)

11. Philosophical and ethical aspects