Artificial intelligence

Course guarantor:

Pavel Surynek

Lecturer:

Pavel Surynek

Tutor:

Kristýna Janovská, Pavel Surynek

Supervisor:

Department of Applied Mathematics

Synopsis:

The course covers search and inference algorithms in major formal paradigms used in artificial intelligence such as logic theories, constraint programming and automated planning. The main principles and practical applications of discussed techniques will be illustrated.

Requirements:

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

Syllabus of lectures:

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]

Syllabus of tutorials:

1. Search

2. Constraint programming

3. Satisfiability

4. Planning

5. Problem modeling

6. Games

Study Objective:

The aim of the course is to provide students with a deeper insight into modern areas of artificial intelligence related to problem solving. To show in detail selected important algorithms and methods. Lead the students to further independent study of problems in artificial intelligence.

Study materials:

[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.

Note:

Further information:

https://courses.fit.cvut.cz/MI-UMI/

Time-table for winter semester 2024/2025:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue	roomJP:B-671 Surynek P. 14:30–16:00 (lecture parallel1) Jugoslávských partyzánů 3
Wed
Thu	roomT9:351 Surynek P. 12:45–14:15 ODD WEEK (lecture parallel1 parallel nr.101) Dejvice roomT9:351 Surynek P. 14:30–16:00 ODD WEEK (lecture parallel1 parallel nr.102) Dejvice roomT9:351 Janovská K. 12:45–14:15 EVEN WEEK (lecture parallel1 parallel nr.103) Dejvice roomT9:351 Janovská K. 14:30–16:00 EVEN WEEK (lecture parallel1 parallel nr.104) Dejvice
Fri

Time-table for summer semester 2024/2025:

Time-table is not available yet

The course is a part of the following study plans:

• Master specialization Computer Security, in Czech, 2020 (elective course)
• Master specialization Design and Programming of Embedded Systems, in Czech, 2020 (elective course)
• Master specialization Computer Systems and Networks, in Czech, 202 (elective course)
• Master specialization Management Informatics, in Czech, 2020 (elective course)
• Master specialization Software Engineering, in Czech, 2020 (elective course)
• Master specialization System Programming, in Czech, version from 2020 (elective course)
• Master specialization Web Engineering, in Czech, 2020 (elective course)
• Master specialization Knowledge Engineering, in Czech, 2020 (PS)
• Master specialization Computer Science, in Czech, 2020 (elective course)
• Mgr. programme, for the phase of study without specialisation, ver. for 2020 and higher (VO, elective course)
• Master Specialization Digital Business Engineering, 2023 (VO)
• Master specialization System Programming, in Czech, version from 2023 (elective course)
• Master specialization Computer Science, in Czech, 2023 (elective course)