Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions

---

AD4B33ZUI	Introduction to Artificial Intelligence
Roles:	PO, V	Extent of teaching:	14KP+6KC
Department:	13133	Language of teaching:	CS
Guarantors:		Completion:	Z,ZK
Lecturers:		Credits:	6
Tutors:		Semester:	L

Anotation:

This course provides introduction to symbolic artificial intelligence. It presents the algorithms for informed and non-informed state space search, nontraditional methods of problem solving, knowledge representation by means of formal logic, methods of automated reasoning and introduction to markovian decision making.

Study targets:

This course provides an overview of the key issues of symbolic artificial intelligence.

Course outlines:

1.		Introduction to artificial intelligence.
2.		Problem solving using state space search.
3.		Non-informed state space search.
4.		Informed state space search - A* algorithm.
5.		Nontraditional state space search methods.
6.		Knowledge representation and rule-based systems reasoning.
7.		Introduction to two-player games.
8.		Logics and knowledge representation.
9.		Reasoning in first-order predicate logic, situation calculus.
10.		Introduction to uncertainty in knowledge representation. Markov models.
11.		Markov chains and decision processes.
12.		Modal logic - definitions and applications.
13.		Temporal logic - definitions and applications.
14.		Back-up class.

Exercises outline:

1.		Non-informed state space search.
2.		Informed state space search.
3.		A* algorithm.
4.		Constraint satisfaction problem.
5.		Two-player games.
6.		Two-player games.
7.		Genetic algorithms and neural networks.
8.		Review of mathematical logic, resolution principle.
9.		Automated theorem provers.
10.		Markov chains and decision processes.
11.		Markov Decision Process toolbox.
12.		Modal logic - examples.
13.		Temporal logic - examples.
14.		Back-up class, credits.

Literature:

Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach, Prentice Hall, Second Edition, 2003.

Requirements:

Topics contained in course A0B01LGR.

Subject is included into these academic programs:

Program	Branch	Role	Recommended semester
BKOI2	Computer and Information Science	PO	4
BKEEM1	Applied Electrical Engineering	V	4
BKEEM_BO	Common courses	V	4
BKEEM2	Electrical Engineering and Management	V	4
BKKYR1	Robotics	V	4
BKKYR_BO	Common courses	V	4
BKKYR3	Systems and Control	V	4
BKKYR2	Sensors and Instrumentation	V	4
BKKME1	Communication Technology	V	4
BKKME_BO	Common courses	V	4
BKKME4	Network and Information Technology	V	4
BKKME3	Applied Electronics	V	4
BKKME2	Multimedia Technology	V	4
BIS(ECTS)-D	Intelligent Systems	V	4
BKSTMWM	Web and Multimedia	V	4
BKSTMSI	Software Engineering	V	4
BKSTMMI	Manager Informatics	V	4
BKSTMIS	Intelligent Systems	V	4
BKSTM_BO	Common courses	V	4
BSI(ECTS)-D	Software Engineering	V	4
BWM(ECTS)-D	Web and Multimedia	V	4
BMI(ECTS)-D	Manager Informatics	V	4

---

Page updated 3.7.2020 17:51:56, semester: Z,L/2020-1, L/2019-20, Send comments about the content to the Administrators of the Academic Programs

Proposal and Realization: I. Halaška (K336), J. Novák (K336)