Course detail

Artificial Intelligence Algorithms

FSI-VAI-KAcad. year: 2019/2020

The course introduces basic approaches to artificial intelligence algorithms and classical methods used in the field. Main emphasis is given to automated formulas proves, knowledge representation and problem solving. Practical use of the methods is demonstrated on solving simple engineering problems.

Language of instruction

Czech

Number of ECTS credits

Mode of study

Not applicable.

Guarantor

prof. Ing. Radomil Matoušek, Ph.D.

Department

Institute of Automation and Computer Science (ÚAI)

Learning outcomes of the course unit

Understanding of basic methods of artificial intelligence and ability of their implementation.

Prerequisites

Knowledge of algorithmization, programming and the basics of mathematical logic and probability theory are assumed.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

The course is taught through lectures explaining the basic principles and theory of the discipline. Exercises are focused on practical topics presented in lectures.

Assesment methods and criteria linked to learning outcomes

Course-unit credit requirements: passing partial tests and submitting a functional software project which uses implementation of selected AI method. Student can obtain 100 marks, 40 marks during seminars (20 for tests and 20 for project; he needs at least 20), 60 marks during exam (he needs at least 30).

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

The course objective is to make students familiar with basic resources of artificial intelligence, potential and adequacy of their use in engineering problems solving.

Specification of controlled education, way of implementation and compensation for absences

The attendance at lectures is recommended, at seminars it is obligatory. Education runs according to week schedules. The form of compensation of missed seminars is fully in the competence of a tutor.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Edward A. Bender: Mathematical Methods in Artificial Intelligence
Kim W.Tracy, Peter Bouthoorn: Object-oriented Artificial Intelligence Using C++

Recommended reading

F.Zbořil a kol.: Umělá inteligence (skriptum VUT)

Elearning

eLearning: currently opened course

Classification of course in study plans

  • Programme M2I-K Master's

    branch M-AIŘ , 1 year of study, summer semester, compulsory
    branch M-AIŘ , 1 year of study, summer semester, compulsory

Type of course unit

 

Guided consultation in combined form of studies

17 hod., optionally

Teacher / Lecturer

RNDr. Jiří Dvořák, CSc.

Syllabus

1. Introduction to artificial intelligence.
2. Uninformed search in state space.
3. Informed search in state space.
4. Problem solving by decomposition into sub-problems, AND/OR search methods.
5. Game playing methods.
6. Predicate logic and resolution method. Non-traditional logics.
7. Horn logic and Prolog.
8. Knowledge representation by rules and corresponding methods of reasoning.
9. Non-rule and hybrid knowledge representation and corresponding methods of reasoning.
10. Classical approaches to handling uncertainty (pseudo-bayesian approach, certainty factors).
11. Theoretical approaches to handling uncertainty (bayesian nets, fuzzy approach).
12. Machine learning.
13. Agents and multiagent systems.

Elearning

eLearning: currently opened course