Примерные вопросы экзамена

1. Формальная логика. Понятие. Суждение. Высказывание. Формальный язык, грамматика формального языка.
2. Логика предикатов. Интерпретация и унификация. Фразы Хорна. Принцип резолюции.
3. Парадигма декларативного программирования. Представление знаний с помощью фактов и правил. Управление вычислениями.
4. Простые и составные запросы. Понятие анонимной переменной.
5. Объекты данных. Структурирование множества объектов данных.
6. Рекурсивные вычисления.
7. Итерационные вычисления.
8. Рекурсивные структуры данных: списки. Способы обработки и примеры использования.
9. Рекурсивные структуры данных: деревья. Способы обработки и примеры использования.
10. Встроенные предикаты обработки символьных данных.
11. Встроенные предикаты управления вычислениями.
12. Способы представления баз знаний.
13. Представление баз знаний с использованием рекурсивных структур данных.
14. Создание графических изображений средствами языка Пролог.
15. Средства организации динамических баз данных. Внутренние базы данных.
16. Средства организации динамических баз данных. Внешние базы данных.
17. Поиск на графах пространства состояний. Поиск в глубину и ширину.
18. Поиск на графах пространства состояний. Эвристический поиск.
19. Применение Пролога в естествознании.
20. Разработка интерфейсов на естественном языке.
21. Структура и назначение экспертных систем. Примеры ЭС.
22. Экспертные системы на правилах.
23. Экспертные системы на логике.