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
Number of ECTS credits
Mode of study
Guarantor
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Kim W.Tracy, Peter Bouthoorn: Object-oriented Artificial Intelligence Using C++
Recommended reading
Elearning
Classification of course in study plans
Type of course unit
Guided consultation in combined form of studies
Teacher / Lecturer
Syllabus
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