Основы искусственного интеллекта

Учебно-тематический план курса "Основы искусственного интеллекта"

Структура курса  Кол-во часов 
Аудиторные часы  16 
Самостоятельная работа  12 
Контрольные работы 
Всего  32 


 

Разделы курса  Кол-во учебных часов 
Всего  Аудиторные часы  Самостоятельная работа  Контрольные работы 
I  Введение в Лисп. Лисп – язык программирования искусственного интеллекта  2 1  1   
1.1  Символьная обработка и искусственный интеллект (Символьное и численное вычисление. Эвристическое и алгоритмическое вычисление.). Применения искусственного интеллекта. (Обработка естественного языка. Экспертные системы. Символьные и алгебраические вычисления. Программирование игр. Моделирование. Обработка сигналов и распознавание образов. Машинное зрение и обработка изображений.) Работа интерпретатора Лиспа. (Символьная обработка. Одинаковая форма данных и программы. Автоматическое и динамическое управление памятью. Возможности различных методов программирования. Лисп – безтиповый язык программирования).         
II  Обзор базовых функций Лиспа  2 2  1   
2.1  Функция quote (‘). Основные функции обработки списков (Функции car, cdr, cons, объединение функций car и cdr в одной функции, first, second, third, fourth, nth, last). Функции предикатов (Функции atom, eq, eql, предикат =, equal, equalp, null, not).         
III  Имя и значение символа. Списки  3  2  1   
3.1  Значение константы. Символ может обозначать произвольное выражение. Установка значений символов (Функции set, setq, symbol_value, setf). Вызов интерпретатора Лиспа (Функция eval). Список как средство представления знаний. Организация памяти Лиспа. Точечная пара. Управление памятью и сборка мусора.         
IV  Понятие функции. Определение функций  3  2  1   
4.1  Понятие функции. Тип аргументов и функций. Определение и вызов функции. Иерархия вызовов. Лямбда-выражение. Defun – дает имя описанию функции. Символ может иметь значение и функциональное определение (Функция symbol_function). Передача параметров. Установка значений параметров по умолчанию. Обязательные и необязательные параметры. Вспомогательные параметры. Условная функция if.          
V  Введение в функциональное программирование. Основы рекурсии  5  1  2  2 
5.1  Функциональная программа. Чистое и нечистое функциональное программирование. Понятие рекурсивного процесса. Определение списка имеет рекурсивный вид. Варианты рекурсивных функций (Простая рекурсия. Накапливающие параметры. Параллельная рекурсия. Взаимная рекурсия. Рекурсия более высокого порядка. Эффективность вычислений).         
VI  Организация циклов  2  1  1   
6.1  Итерация. Форма do в Лиспе.         
VII  Пролог – язык логического программирования. Общий обзор языка  2  1  1   
7.1  Пример программы на языке Пролог: родственные отношения. Факты. Вопросы. Переменные. Конъюнкция целей. Правила. Конъюнкция в правилах. Переменные в теле правила. Структура пролог-программы.         
VIII  Синтаксис языка Пролог. Арифметические операции. Сопоставление  2  1  1   
8.1  Константы. Переменные. Структуры. Операторы. Арифметические выражения. Операции сравнения. Сопоставления. Примеры сопоставления структур.         
IX  Семантика языка Пролог  2  1  1   
9.1  Декларативная семантика Пролог-программ. Дизъюнкция целей. Процедурная семантика. Пример вычисления. Формальное описание процедуры вычисления целей. Соотношение между процедурным и декларативным смыслом.         
X  Списки. Встроенные предикаты  5  2  1  2 
10.1  Представление списка диаграммой. Выделение головы и хвоста списка. Шаблоны списков. Процедуры обработки списков (member, append, reverse). Длина списка. Встроенные предикаты. Простые встроенные предикаты ввода-вывода. Процедурный смысл встроенных предикатов ввода – вывода. Ввод - вывод списков. Ввод-вывод списка как терма. Поэлементный ввод-вывод списка.         
XI  Отсечение. Сортировка списков  2  1  1   
11.1  Отсечение. Графическая иллюстрация действия cut. Пример действия cut. Применение cut при выборе альтернатив. Формальное описание действия отсечения. Применение отсечения. Добавление элемента без дублирования. Классификация. Отсечение в численной рекурсии. Сортировка списков. Метод наивной сортировки. Метод пузырька. Метод вставки. Быстрая сортировка quick.         
XII  Встроенные предикаты. Поиск на Прологе  2  1  1   
12.1  Отрицание как неудача. Алгоритм поиска на Прологе. Чтение и запись информации с файлов. Обработка входных потоков. Обработка выходных потоков. Обработка символов (put(X), get(X), get0(X)).          
XIII  Встроенные предикаты обработки термов  2  1  1   
13.1  Встроенные предикаты. Repeat. Проверка типа терма. Метапредикаты. Создание и декомпозиция термов. Functor, Arg. Предикаты работы с базой данных.         
XIV  Операции в Прологе. Поиск  3  1  2   
14.1  Основные операторы языка Пролог. Приоритет оператора. Тип оператора. Объявление операций. Поиск в Прологе. Поиск в глубину. Поиск в ширину.          
  ВСЕГО  32  16  12  4 

 



В этом разделе:
Обучение
Контакты
Наш адрес:
г. Орел, Наугорское шоссе, 40
Посмотреть на карте
Телефон/факс:
(4862) 43-49-56
Обратная связь
Поиск