Introduction to Artificial Intelligence

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

Anotace:

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.

Požadavky:

Témata probíraná v předmětu A0B01LGR.

Osnova přednášek:

1. Introduction to artificial inteligence

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

10. Resolution. Theorem proving.

11. Resolution, resolution strategies, theorem proving tools.

12. Introduction to uncertainty in knowledge representation. Markov models.

13. Markov chains.

14. Back-up class.

Osnova cvičení:

1. Review of mathematical logic.

2. Knowledge representation in first-order logic I.

3. Knowledge representation in first-order logic II.

4. Resolution principle I.

5. Resolution principle II.

6. Non-informed state space search.

7. Informed state space search.

8. A* algorithm.

9.-12. Implementation of state space search problem in Lisp programming language.

Cíle studia:

Cílem předmětu je přehledově seznámit studenty se základy symbolické umělé inteligence.

Studijní materiály:

Stuart Russell and Peter Norvig: Artificial Intelligence: A Modern Approach,

Prentice Hall, Second Edition, 2003

Poznámka:

Rozsah výuky v kombinované formě studia: 14p+6c

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Open Informatics - Computer and Information Science (povinný předmět oboru)