Изкуствен интелект. Представяне на знанията чрез логика. Логическо програмиране

Предговор

1. Увод в изкуствения интелект
1.1. Знания в изкуствения интелект
1.2. Специализирани и знания с общ смисъл
1.3. Представяне на знания
1.4. Агенти със знания
1.5. Една игра
1.6. Модел на играта
1.7. Що е Пролог
Обобщение

2. Логика. Съждителна логика
2.1. Основни понятия на математическата логика
2.2. Съждителна логика. Синтаксис
2.3. Съждителна логика. Семантика
2.4. Проверка на моделите и еквивалентности
2.5. Теореми на съждителната логика
2.6. Методът на резолюцията
2.7. Първо разширение на базовия модел

3. Предикатна логика
3.1. Увод в предикатната логика
3.2. Основи на предикатната логика
3.3. Терми и съждения
3.4. Квантори
3.5. Пример за „Юнакът и златната ябълка“
3.6. Субституция
3.7. Правила за изводи за квантори
3.8. Унификация
3.9. Резолюция
3.10. Унификация и резолюция в Пролог
3.11. Пример за „Юнакът и златната ябълка“ - продължение
3.12. Прецизни дефиниции
3.13. Рекурсия
3.14. Пролог: работа със списъци
3.15. Отсичане
3.16. Отрицание като неуспех
3.17. Потребителски интерфейс в Пролог

Заключение
Използвана литература