Course detail
Artificial Intelligence Algorithms
FSI-VAIAcad. year: 2013/2014
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
Luger, G.F. Artificial Intelligence. Structures and Strategies for Complex Problem Solving. Addison-Wesley 2008. (EN)
Negnevitsky, M. Artificial Intelligence. A Guide to Intelligent Systems. Pearson Education 2011. (EN)
Russel, S. and Norvig, P. Artificial Intelligence: A Modern Approach, Global Edition. Pearson Education 2021. (EN)
Recommended reading
Classification of course in study plans
Type of course unit
Lecture
Teacher / Lecturer
Syllabus
2. Problems solving: search in state space.
3. Problems solving: decomposition into sub-problems, games playing methods.
4. Formal logic systems, propositional and predicate logic.
5. Generalized resolution method.
6. Predicate logic and Prolog. Non-traditional logics.
7. Knowledge representation: predicate logic formulas and rules.
8. Knowledge representation: semantic networks, frames and scenarios. Declarative and procedural representation.
9. Machine learning.
10. Evolution techniques.
11. Intelligent and reactive agents.
12. Multiagent systems.
13. Other AI areas. Actual state, prospects.
Computer-assisted exercise
Teacher / Lecturer
Syllabus
2. Blind methods of state space search - implementation of selected algorithms using object oriented programming under .NET framework.
3. Heuristic methods of state space search - gradient algorithm, Dijkstra’s algorithm, best-first search algorithm, theoretical analysis.
4. A-star algorithm - theoretical analysis, implementation using object oriented programming under .NET framework.
5. Problem solving: implementation of concrete heuristic algorithm.
6. Decomposition of a problem into sub-problems, AND-OR graph.
7. Object design and implementation of AND-OR graph.
8. Games playing methods, minimax, alpha-beta pruning.
9. Solving AI problems by means of Prolog.
10. Intermediate test.
11. Solving problems by means of genetic algorithms.
12. Solving a selected practical problem by means of AI.
13. Presentation of semester projects.