Интеллектуальные системы, учебное пособие, Иванов В.М., 2015

Интеллектуальные системы, учебное пособие, Иванов В.М., 2015.

Учебное пособие разработано на основе государственного образовательного стандарта высшего профессионального образования по направлению подготовки 231300 «Прикладная математика» с профилем подготовки «Применение математических методов к решению инженерных задач». Излагаются сведения по теории искусственного интеллекта, которые следует изучить при подготовке к испытаниям, установленным учебным планом.


1.2. Направления исследований в искусственном интеллекте.
Эвристическое, или информационное, направление исследований в искусственном интеллекте включает специалистов, занимающихся созданием машинных способов решения интеллектуальных задач, а также созданием программ для вычислительных машин, решающих такие задачи. При этом как будут устроены подобные программы, насколько близки или далеки будут те способы, которыми они достигают поставленной цели по сравнению с человеческими способами, абсолютно не имеет никакого значения. Главное — конечный результат, его совпадение с результатом, получаемым человеком при решении той же задачи. Приемы и методы, которыми получаются такие же результаты, могут быть совсем иными, не теми, что реально использует человек.





Оглавление
ГЛАВА 1
Введение в теорию искусственного интеллекта.
1.1. О понятии «искусственный интеллект».
1.2. Направления исследований в искусственном интеллекте.
1.3. Предмет и метод искусственного интеллекта.
1.4. Основные задачи искусственного интеллекта.
1.5. Теоретические основы искусственного интеллекта.
1.6. Основные понятия искусственного интеллекта.
1.7. О компьютерах пятого поколения.
ГЛАВА 2
Представление задач на естественном и формализованном языках.
2.1. Что такое «представление задачи».
2.2. Способы и средства представления задач.
2.2.1. Первый способ формализации задач.
2.2.2. Второй способ формализации задач.
2.2.3. Графическое представление пространства состояний.
2.2.4. Графическое представление пространства подзадач.
2.3. Общий подход к решению задачи.
2.4. Стратегии и процедуры решения задачи.
ГЛАВА 3
Стратегии решения задач.
3.1. Формализованное представление задачи.
3.2. Стратегия поиска в глубину.
3.3. Стратегия поиска в ширину.
3.4. Эвристический поиск.
3.5. Алгоритма.
3.6. Пример применения алгоритма.
3.7. Сравнение вариантов алгоритма.
3.8. Алгоритм программы GPS.
3.9. Пример использования алгоритма программы GPS.
ГЛАВА 4
Формальные системы.
4.1. Общее представление о формальной системе.
4.2. Аксиоматический метод в геометрии.
4.3. Определение и свойства формальной системы.
4.4. Определение понятия модели.
4.5. Свойства формальных теорий. Понятие метатеории.
4.6. Понятие алгоритма и разрешимости теории.
4.7. Доказуемость и истинность.
ГЛАВА 5
Примеры формальных систем.
5.1. Исчисление высказываний.
5.1.1. Определение исчисления высказываний.
5.1.2. Конъюнктивная и дизъюнктивная нормальные формы.
5.1.3. Алгоритм преобразования формулы в КНФ и ДНФ.
5.1.4. Интерпретация логики высказываний.
5.2. Исчисление предикатов первого порядка.
5.2.1. Определение логики предикатов.
5.2.2. Описание алфавита логики предикатов.
5.2.3. Синтаксис логики предикатов.
5.2.4. Семантика логики предикатов.
5.3. Формальная арифметика.
5.4. Продукционные системы.
Библиографический список.
Рекомендуемая литература.
Приложение
Вопросы к итоговому испытанию.

Купить .








Теги: Иванов :: искусственный интеллект :: 2015