Subject description - A4B33ZUI

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
A4B33ZUI Introduction to Artificial Intelligence Extent of teaching:2+2c
Guarantors:  Roles:PO,V Language of
teaching:
CS
Teachers:  Completion:Z,ZK
Responsible Department:13136 Credits:6 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.

Webpage:

http://cw.felk.cvut.cz/doku.php/courses/a4b33zui/start

Keywords:

rational agent, state space, reasoning, knowledge representation, planning, decision making

Subject is included into these academic programs:

Program Branch Role Recommended semester
BPKYR1 Robotics V 4
BPKYR_BO Common courses V 4
BPKYR3 Systems and Control V 4
BPKYR2 Sensors and Instrumentation V 4
BPKME1 Communication Technology V 4
BPKME5 Komunikace a elektronika V 4
BPKME_BO Common courses V 4
BPKME4 Network and Information Technology V 4
BPKME3 Applied Electronics V 4
BPKME2 Multimedia Technology V 4
BPEEM1 Applied Electrical Engineering V 4
BPEEM_BO Common courses V 4
BPEEM2 Electrical Engineering and Management V 4
BMI(ECTS) Manager Informatics V 4
BWM(ECTS) Web and Multimedia V 4
BIS(ECTS) Intelligent Systems V 4
BSI(ECTS) Software Engineering V 4
BPOI2 Computer and Information Science PO 4


Page updated 22.7.2019 05:52:58, semester: Z,L/2020-1, L/2018-9, Z,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)