Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions
A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

MI-UMI Artificial intelligence Extent of teaching: 2P+1C
Instructor: Completion: Z,ZK
Department: 18105 Credits: 5 Semester: Z

Annotation:
The subject deals in depth with modern approaches and algorithms used in contemporary artificial intelligence. Students will be introduced to advanced problem-solving techniques based on search and inference. A comprehensive overview of formal systems for problem modeling, related solving algorithms, and their practical applications will be presented. Emphasis will be placed on logical reasoning in artificial intelligence, which provides various guarantees, such as the completeness of the decision process or the precise justification of the decision. The lecture is based on the classical textbook of artificial intelligence [1]. The extra material on satisfiability, constraint programming, automated planning and robotics can be found in specialized textbooks [2], [3], [4], and [6]. Czech textbooks [5] are a suitable study material for the lecture as well.

Lecture syllabus:
1. Solving problems by searching
2. Constraint satisfaction [2]
3. Consistency techniques in constraint satisfaction [2]
4. Propositional satisfiability (SAT) [4]
5. Decision making in logical theories [4]
6. Automated planning [3]
7. Problem modeling
8. Reasoning in first order logic
9. Knowledge representation
10. Reasoning under uncertainty
11. Decision making in games
12. Robotics [6]

Seminar syllabus:
1. Search
2. Constraint programming
3. Satisfiability
4. Planning
5. Problem modeling
6. Games

Literature:
[1] Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach (3rd Edition), Prentice Hall, 2009.
[2] Decher, R.: Constraint Processing, Morgan Kaufmann, 2003.
[3] Ghallab, M., Nau, D., Traverso, P.: Automated Planning and Acting, Cambridge University Press, 2016.
[4] Biere, A., Heule, M., Van Maaren, H., Walsh, T.: Handbook of Satisfiability, IOS Press, 2009.
[5] Lažanský, J., Mařík, V., Štěpánková, O., a kolektiv: Umělá inteligence (1) - (6), Academia, 2000 - 2013.
[6] LaValle, S.: Planning Algorithms / Motion Planning. Cambridge University Press, 2006.

Requirements:
Background from BI-ZUM: Fundamentals of Artificial Intelligence is assumed.

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/MI-UMI/

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
MI-ZI.2018 Knowledge Engineering PO 1
MI-SPOL.2016 Unspecified Branch/Specialisation of Study VO 1

Page updated 19. 4. 2024, semester: L/2020-1, L/2021-2, Z/2023-4, Z/2024-5, Z/2019-20, Z/2022-3, L/2019-20, L/2022-3, Z/2020-1, Z/2021-2, L/2023-4, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška