Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
Web page:
http://cw.felk.cvut.cz/doku.php/courses/a4b33zui/start
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.
Keywords:
rational agent, state space, reasoning, knowledge representation, planning, decision making
Subject is included into these academic programs:
Program |
Branch |
Role |
Recommended semester |
Page updated 13.5.2024 09:53:38, semester: Z,L/2023-4, Z/2024-5, Send comments about the content to the Administrators of the Academic Programs |
Proposal and Realization: I. Halaška (K336), J. Novák (K336) |