SubjectsSubjects(version: 978)
Course, academic year 2025/2026
   Login via CAS
Artificial Intelligence - NAIL033
Title: Umělá inteligence
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2004
Semester: winter
E-Credits: 6
Hours per week, examination: winter s.:2/0, --- [HT]
summer s.:2/0, Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: cancelled
Language: Czech
Teaching methods: full-time
Guarantor: Mgr. Marta Vomlelová, Ph.D.
Class: Informatika Mgr. - Teoretická informatika
Classification: Informatics > Theoretical Computer Science
Pre-requisite : NAIL023
Annotation -
The introductory course on artificial intelligence with the stress on basic concepts and methods. Attention is paid to theoretical background (problem solving, knowledge representation, theorem proving, reasoning under uncertainty) so as to some application areas (perception, natural language processing, plan generation, machine learning).
Last update: T_KTI (16.05.2003)
Literature - Czech

S. Russell, P. Norvig: Artificial Intelligence; A Modern Approach, 1995

V. Mařík, O. Štěpánková, J. Lažanský a kol.: Umělá Inteligence (1). Academia, Praha

V. Mařík, O. Štěpánková, J. Lažanský a kol.: Umělá Inteligence (2). Academia, Praha

F.V. Jensen: Bayesian Networks and Decision Graphs

T. Mitchell: Machine Learning

Havel I.M.: Robotika. SNTL Praha, 1980

Renc Z.: Vybrané partie z umělé inteligence. Skriptum MFF UK Praha, 1987

V. Mařík, O. Štěpánková, J. Lažanský a kol.: Umělá Inteligence (3). Academia, Praha

Last update: T_KTI (15.05.2003)
Syllabus -

1 History of AI: Turing test, MYCIN, Eliza, production systems

2 Solving problems by searching (A* algorithm, IDA*, Branch and bound, AND/OR graphs)

3 Games (Minimax, Alpha-Beta Pruning, nondeterministic games)

4 Knowledge representation (semantic networks, frame systems, first-order logic)

5 Resolution

6 Planning (situation calculus, STRIPS, partial-order planning, hierarchical decomposition)

7 Uncertain knowledge and reasoning (Bayesian networks, Dempster-Shafer theory, Markov processes)

8 Machine learning (decision trees, concept learning as search, neural networks, genetic algorithms)

9 Perception (image processing, scene analysis, speech recognition, natural language processing)

Last update: T_KTI (16.05.2003)
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html