Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т. п.
С помощью аппарата логики показано что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающих в процессе управлений предприятиями.
Содержание учебника соответствует курсу лекций, который автор читает в МГТУ им. Н. Э. Баумана.
Для студентов, аспирантов, инженеров и научных работников технических специальностей.
Author(s): Девятков В.В.
Publisher: МГТУ
Year: 2001
Language: Russian
Pages: 346
Искусственный интеллект. Что же такое искусственный интеллект? Агенты – носители искусственного интеллекта. Среды и агенты.
Логические рассуждения. Рассуждения в пространстве состояний среды. Логика высказываний. Исчисление высказываний. Рассуждения в терминах интервалов.
Логика предикатов. Синтаксис и семантика. Переход от естественного языка к языку логики предикатов. Постановка задачи для среды чудовища в логике предикатов.
Вывод в логике предикатов. Исчисление предикатов. Прямой и обратный вывод. Полнота и непротиворечивость исчисления. Вывод на основе правила резолюции.
Среды и языки. Автомат и среда. Язык и автомат. Описание автомата на языке логики предикатов. Построение автомата методом детерминизации. Граф переходов состояний среды. Использование графа переходов для поиска в пространстве состояний. Построение графа состояний. Языки и грамматики. Грамматический анализ и автоматы. Перевод с одного языка на другой.
Стратегии поиска. Оценки успеха при поиске цели. Слепой поиск. Направленный поиск.
Ситуационное описание среды. Базовые понятия ситуационной модели. Среда логических электронных схем. Среда обезьяны и банана.
Ситуационное исчисление. Язык ситуационного исчисления. Аксиомы ситуационного исчисления. Охота на индейку.
Модальность в ситуационном исчислении. Модальность и модальная логика. Язык временной модальной логики. Модель параллельных процессов. Мультипрограммное выполнение параллельных процессов. Модальная логика и анализ параллельных процессов. Инвариантные свойства. Свойства живости (осуществимости). Свойства предшествования. Доказательство свойств корректности.
Дедуктивные базы данных. Реляционные базы данных. Реляционная алгебра. Триггеры. Реляционная база данных и логические исчисления. Переход от Дейталога к SQL. Ситуационное исчисление в дедуктивной базе данных. Проверка ограничений целостности.
Нечеткие знания и рассуждения. Нечеткое множество и функция принадлежности. Принцип обобщения и степень совместимости. Нечеткая база данных. Нечеткие действия (операторы). Нечеткозначное исчисление. Задача диагностики тепловых сетей. Проблемно-ориентированный язык. Переход от проблемно-ориентированного языка к языку нечеткозначного исчисления. Результаты решения задачи диагностики.
Планирование действий. Задачи планирования. Оценка плана.
Онтологии и их применение. Введение в онтологию. Постановка задачи создания онтологии. Использование онтологии.
Реализация систем. Архитектура. Извлечение знаний. Формализация. Выбор стратегии вывода. Реализация
