Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
Конспект лекций предназначен для использования студентами специальности 010503 «Математическое обеспечение и администрирование информационных систем» в процессе изучения дисциплины «Рекурсивно-логическое программирование». Конспект содержит описание языка программирования Пролог, способов управления абстрактными типами данных на Прологе и примеры применения Пролога в задачах искусственного интеллекта.
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All |
![]() ![]() ![]() |
||||
External organizations N2 | All |
![]() |
||||
External organizations N1 | All |
![]() |
||||
Internet | Authorized users SPbPU |
![]() ![]() ![]() |
||||
Internet | Authorized users (not from SPbPU) |
![]() |
||||
![]() |
Internet | Anonymous |
Table of Contents
- Содержание
- 1. Технология логического программирования
- 2. Рекурсия как форма записи вычислительного процесса
- 3. Алфавит языка программирования. Термы. Структуры данных. Факты, правила, вопросы
- 4. Цели. Предложения. Предикаты. Конъюнкция и дизъюнкция целей в теле предложения
- 5. Сопоставление как форма логического вывода. Правила сопоставления. Механизм конкретизации переменных
- 6. Арифметические действия. Операторная запись правил. Приоритет исполнения операторов
- 7. Списки. Представление списка в среде программирования. Функторная и перечислительная форма описания списков
- 8. Управление перебором. Отсечение. Отрицание. Цели true и fail
- 9. Предикаты типизации, ввода-вывода, загрузка правил из внешней базы, динамического добавления правил в базу
- 10. Операции на списках. Сортировки. Способ представления данных и форма записи программы. Технология выполнения сортировки
- 11. Структура представления данных двоичного дерева. Рекурсивное определение дерева. Двоичное дерево поиска. Построение и поиск в двоичном дереве
- 12. Операции на графах
- 13. Остовные деревья на графе. Процедура нахождения остовного дерева. Отыскание остовного дерева минимального веса
- 14. Стратегии решения задач. Пространство состояний. Переборные и эвристические стратегии
- 15. Стратегии поиска в глубину
- 16. Стратегия поиска в ширину
- 17. Усовершенствованные способы представления деревьев. 2-3 деревья
- 18. Приближенно сбалансированные деревья
- 19. И-ИЛИ графы. Технология построения
- 20. Понятие игры. Классификация игр. Игры с полной информацией о позиции. Примеры игр
- 21. Минимаксный принцип
- 22. Альфа-Бета алгоритм
- 23. Задача о ханойской башне. Постановка задачи. Технология построения пространства состояний
- 24. Представление игровой задачи в форме И-ИЛИ графа
- 25. Процедуры поиска на графе И-ИЛИ
- 26. Поиск на графе И-ИЛИ с предпочтением (на основе эвристической оценки)
- 27. Функции экспертной системы
- 28. Продукционная модель представления правил и схема ее реализации на языке Пролог
Usage statistics
|
Access count: 6
Last 30 days: 0 Detailed usage statistics |