Course detail

Artificial Intelligence Algorithms

FSI-VAI-AAcad. 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

English

Number of ECTS credits

5

Guarantor

prof. RNDr. Ing. Tomáš Březina, CSc.

Department

Institute of Automation and Computer Science (ÚAI)

Offered to foreign students

Of all faculties

Learning outcomes of the course unit

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

Prerequisites

The knowledge of basic relations of the graphs theory and object oriented technologies is expected.

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: submitting a functional software project which uses implementation of selected AI method. Project is specified in the first seminar. Systematic checks and consultations are performed during the semester. Each student has to get through two tests and complete all given tasks. Student can obtain 100 marks (40 marks during seminars, 60 marks during exam).

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

Russel, S. and Norvig, P. Artificial Intelligence: A Modern Approach, Global Edition. Pearson Education 2021. (EN)
Negnevitsky, M. Artificial Intelligence. A Guide to Intelligent Systems. Pearson Education 2011. (EN)
Bratko, I. Prolog Programming for Artificial Intelligence. Pearson Education Canada 2011. (EN)

Recommended reading

Russel, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice Hall 2010. https://people.engr.tamu.edu/guni/csce421/files/AI_Russell_Norvig.pdf (EN)
Poole, D.L. and Mackworth, A.K. Artificial Intelligence: Foundations of Computational Agents. Cambridge University Press 2023. https://artint.info/3e/html/ArtInt3e.html (EN)

Type of course unit

 

Lecture

26 hours, optionally

Teacher / Lecturer

prof. RNDr. Ing. Tomáš Březina, CSc.

Syllabus

1. Introduction, AI areas.
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

26 hours, compulsory

Teacher / Lecturer

prof. RNDr. Ing. Tomáš Březina, CSc.

Syllabus

1. Blind methods of state space search - breadth first search, depth first search, theoretical analysis.
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. Intermediate test.
6. Problem solving: implementation of concrete heuristic algorithm.
7. Decomposition of a problem into sub-problems, AND-OR graph, object design and implementation.
8. Games playing methods, minimax, alpha-beta pruning.
9. Solving AI problems by means of Prolog.
10. Solving problems by means of genetic algorithms.
11. Intermediate test.
12. Solving a selected practical problem by means of AI.
13. Presentation of semester projects.