Искусственный интеллект и Пролог на микроЭВМ

В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на практическое использование Пролога. Достаточно подробно описаны возможности этого языка. Для программистов и разработчиков систем искусственного интеллекта. Может быть использована как учебное пособие на курсах повышения квалификации соответствующих специалистов.

• О книге
• Предисловие редактора перевода
• Предисловие автора
• 1. Искусственный интеллект
  • 1.1. История развития искусственного интеллекта
  • 1.2. Основные задачи искусственного интеллекта
  • 1.3. Наиболее известные системы искусственного интеллекта
  • 1.4. Инженерия знаний
  • 1.5. Другие экспертные системы
  • 1.6. Японский проект создания ЭВМ пятого поколения
  • 1.7. Замечания для начинающих
• 2. Введение в Пролог
  • 2.1. Почему следует изучать Пролог?
  • 2.2. Основные понятия
  • 2.3. Отношения
  • 2.4. Синтаксис предложений Пролога
  • 2.5. Модульное программирование
  • 2.6. Информация для пользователей ЭВМ Spectrum
  • 2.7. Запросы
  • 2.8. Средства, позволяющие работать с числовой информацией
  • 2.9. Отношения, задаваемые пользователем
  • 2.10. Отношения, служащие для ввода данных
  • 2.11. На пути к естественному языку
  • Ответы к упражнениям
• 3. Списки и базы данных
  • 3.1. Список как структура данных
  • 3.2. Использование списков в базах данных
  • 3.3. Списки, состоящие из списков
  • 3.4. Правила или знания
  • 3.5. Модификация программы
  • 3.6. Увеличение скорости и эффективности программ
  • 3.7. Рекурсивные определения
  • 3.8. Хвостовая рекурсия и списки
  • Ответы к упражнениям
• 4. Логика
  • 4.1. Комбинации высказываний
  • 4.2. Булева алгебра
  • 4.3. Логическое следование (импликация)
  • 4.4. Логические символы
  • 4.5. Логические функции от двух переменных
  • 4.6. Использование Пролога для доказательства теорем
  • 4.7. Получение таблиц истинности с помощью Пролога
  • 4.8. Правила де Моргана
  • 4.9. Использование Пролога для реализации правил де Моргана
  • 4.10. Логическое следование в Прологе
  • 4.11. Пролог и цифровые логические устройства
  • 4.12. Использование логических элементов для доказательства теорем
  • Ответы к упражнениям
• 5. Базы знаний
  • 5.1. Реляционная база знаний
  • 5.2. Модификация записей
  • 5.3. Средства модификации записей
  • 5.4. Миниатюрная СУБД
  • 5.5. Инициализация базы данных
  • 5.6. Обновление базы данных
  • 5.7. Использование базы данных
  • Ответы к упражнениям
• 6. Экспертные системы
  • 6.1. Специализированная система
  • 6.2. Способность к обучению
  • 6.3. Использование экспертных систем для управления процессами
  • 6.4. Использование экспертных систем при принятии решений
  • 6.5. Системы, объясняющие логику своей работы
  • 6.6. Система, способная к обучению
  • Ответы к упражнениям
• Список литературы

Источник:
Макаллистер Дж. 'Искусственный интеллект и Пролог на микроЭВМ' \\Перевод с англ. Чукашова А.В., Сергиевского М.В., под редакцией канд. техн. наук Сергиевского М.В. - Москва: Машиностроение, 1990 - с.240