Subject description - AD4B33ZUI
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
AD4B33ZUI | Introduction to Artificial Intelligence | Extent of teaching: | 14KP+6KC | ||
---|---|---|---|---|---|
Guarantors: | Roles: | PO,V | Language of teaching: | CS | |
Teachers: | Completion: | Z,ZK | |||
Responsible Department: | 13133 | 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. Subject is included into these academic programs:Page updated 6.12.2019 17:52:32, 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) |