Спонсоры


Учебно-методический комплекс по дисциплине
Автор:
Год:
Страниц: 0
Язык: русский
Формат: EXE
Размер: 1,5 МБ
Скачать




Тема 1. Введение в дисциплину.

Зарождение и развитие искусственного интеллекта /ИИ/. Задачи ИИ как науки. Области деятельности, относящиеся к сфере ИИ, их особенности. Характеристика языков программирования, используемых для разработки систем ИИ. Теоретические основы логического программирования. Общие сведения о языке логического программирования Пролог. Области применения.

 

Тема  2. Основные элементы Visual Prolog.

Термы, атомы, константы, переменные, структуры. Типы данных. Способы создания атомов. Свободные, связанные и анонимные переменные. Функтор и компоненты сложных термов.

 

Тема  3. Структура программы Visual Prolog.

Разделы программы. Ограничения при построении программы. Способы объявления типов данных в разделе доменов. Раздел предикатов. Раздел утверждений. Факты и правила. Вопросы. Внешние и внутренние цели.

 

Тема  4. Этапы программирования на Visual Prolog.

Декларативный  и процедурный смысл программы. Сопоставление. Схема согласования целевых утверждений. Поиск с возвратом.

 

Тема  5. Арифметика в Visual Prolog. Рекурсия.

Арифметические функции. Приоритет операций в арифметических выражениях. Логические операторы. Рекурсия. Примеры использования рекурсии.  

                                   

Тема  6. Стандартные предикаты. Отсечение. Отрицание.

Входные и выходные параметры предиката. Поточный шаблон предиката. Стандартные предикаты ввода-вывода. Форматный вывод. Использование предикатов ввода-вывода в программах. Основные случаи использования отсечения. Примеры использования отсечения и отрицания в программах.

 

Тема  7. Списки.

Голова и хвост списка. Изображение списка в виде двоичного дерева-графа. Примеры программ со списками.

 

Тема  8. Использование строк.

Управляющие символы в строке. Стандартные предикаты для работы со строками. Формирование атомов из строк. Предикаты преобразования данных. Преобразования, определяемые пользователем. Преобразование строк в списки атомов с функторами.

 

Тема  9. Составные объекты.

Использование составных объектов. Описание составных объектов в разделе программы domains. Способы извлечения информации из составных объектов. Структурные диаграммы. Использование альтернативных доменов. Рекурсивное объявление доменов.

 

Тема  10. Использование файлов на внешних носителях.

Описание файловых доменов. Переадресация внешних устройств. Предикаты для работы с файлами. Запись в файл.  Чтение из файла. Дружественные пользователю программы для обработки файлов. Дозапись в конец  существующего файла.

 

Тема  11. Создание меню средствами Visual Prolog.

Предикаты для работы с окнами. Создание меню при помощи окон.

 

Тема  12. Создание динамических баз данных.

Предикаты для работы с утверждениями баз данных. Предикаты для работы с базой данных в целом. Примеры проектирования баз данных. Возможности улучшения систем управления базами данных.

 

Тема 13. Создание внешних баз данных.

Внешние базы данных /БД/. Цепочки БД. Создание внешних БД. Включение термов в связанные списки. Извлечение термов из внешней БД. Предикаты для работы с внешней БД.

 

Тема 14. B+ деревья.

Понятие В+ дерева. Создание B+ дерева. Открытие и закрытие дерева. Уничтожение B+ деревья. B+ дерева и получение информации о нем. Изменения в B+ дереве. Поиск в B+ дереве.

 

Тема 15. Рекурсивные домены.

Рекурсивное объявление доменов. Пример программы.

 

Тема 16. Визуальное программирование в Visual Prolog.

Основы работы в среде визуального  программирования Visual Prolog.

 

Тема  17. Введение в функциональное программирование.

Введение в функциональное программирование. Теоретические основы функционального программирования.

 

Тема 18. Представление данных в Лисп.

Символьное представление данных и базовые функции Лисп.

 

Тема  19. Основы программирования на языке Лисп.

Управляющие структуры Лиспа. Построение рекурсивных функций и основные приемы функционального программирования. Нисходящая и восходящая рекурсия.

 

Тема 20. Приемы программирования в Лисп.

Использование промежуточных функций. Двумерная рекурсия. Примеры определения функций с двумерной рекурсией.

 

Тема 21. Списки пар, простейший ввод-вывод.

Ассоциативные списки. Простейший ввод-вывод. Строковые функции.

 

Тема 22. Декларативные языки и искусственный интеллект.

Языки Пролог и Лисп в решении задач искусственного интеллекта. Основные стратегии решения проблем: поиск в глубину и итеративное углубление, поиск в ширину, эвристический поиск по заданному критерию. Представление знаний и экспертные системы. Решение логических задач.

Вверх