Основы фундаментальной теории искусственного интеллекта в 20-и кн. Кн.1 Введение в теорию систем искусственного интеллекта

Description

Титульный лист А. Е. Кононюк. Фото. Структурная схема развивающейся панмедийной системы наук Структурная схема парадигмы развития науки Аннотация Оглавление Введение 1. Интеллект (Основные положения) 1.1. Введение 1.2. Базовые понятия и определения 1.2.1.Ощущение 1.2.2. Восприятие 1.2.3. Память (значения) 1.2.4. Представление. 1.2.5. Понятие 1.2.6. Мышление 1.2.7. Воображение 1.2.8. Составляющие интеллекта и его роль 1.2.9. Различные взгляды на интеллект 1.2.10. Эмоциональный интеллект 1.2.11. Смешанная модель 1.3. Структура и качества интелекта 1.4. Мышление, его формы и виды 1.4.1. Общее понятие о мышлении 1.4.2. Мыслительные процессы 1.4.3. Виды и типы мышления 1.4.4. Классификация явлений мышления 1.4.5. Развитие мышления 2. Искусственный интеллект как решатель интеллектуальных задач 2.1. Искусственный интеллект и решение задач 2.2. Системы искусственного интеллекта 2.3. Искусственные органы чувств 2.4. Управление СИИ 2.5. Общая структура системы искусственого интеллекта и ее анализ 2.5.1. Состав и структура СИИ 2.5.2. Система решения задач 2.5.3. Система восприятия 2.5.4. Эффекторная система 3. Методы представления и решения задач в СИИ 3.1. Исходные понятия 3.2. Проблема формирования представлений 3.2.1. Общий подход 3.2.2. Пример 3.2.3. Методы исследований свойств пространства поиска решений 3.3. Краткая характеристика основных классов представлений 3.3.1. Декларативные методы формирования представлений 3.3.2. Процедуральные методы формирования представлений 3.3.3. Языковые (семантические методы) формирования представлений 3.4. Эвристические методы формирования представлений на основе декларативных методов формирования представлений 3.4.1. Общая постановка задачи 3.4.2. Формирование представлений в пространстве состояний (система продукций) 3.4.3. Представление в системе редукций. Пропозициональные графы 3.4.4. Механизмы сведения задач к подзадачам 3.5. Методы доказательства (обоснования) теорем на основе декларативных представлений 3.5.1. Язык исчисления предикатов 3.5.2. Применение метода доказательства теорем 4. Процедуральные и языковые (семантические) представления 4.1. Обобщенные декларативные методы формирования представлений 4.2. Проблема границ в декларативных представлениях 4.3. Процедуральные представления 4.3.1. Общие характеристики ПОЯ 4.3.2. База данных и механизмы сопоставления по образцу 4.3.3. Стандартные операторы 4.3.4. Механизм возврата к точке ветвления 4.3.5. Пример 4.3.6. Контекстный механизм 4.3.7. Проблема границ в процедуральных представлениях 4.4. Языковые (семантические) представления 4.4.1. Определения семантических сетей 4.4.2. Типы объектов 4.4.3. Типы отношений 4.4.4. Скелеты (фреймы) и сценарии 4.4.5. Процессы понимания и вывода в семантических представлениях 5. Отображения логики предикатов и логики высказываний в теории ИИ 5.1. Исчисление предикатов как язык искусственного интеллекта 5.2. Исчисление высказываний 5.3. Обучение и адаптация в системе логического вывода 5.4. Логические алгоритмы планирования 5.5. Алгоритмы распознавания ситуаций 6. Основы логики высказываний 6.1. Закон исключения третьего 6.2. Сентенциональные связки 6.3. Формулы и подстановки 6.4. Сложные высказывания и «здравый смысл» 6.5. Тавтологии 6.6. Законы логики высказываний 6.7. Равносильность 6.8. Логическое следствие 6.9. Правила вывода 6.10. Дедуктивный метод 6.11. Логика предикатов 6.12. Высказывания и предикаты 6.13. Кванторы 6.14. Связанные и свободные переменные 6.15. Категорические высказывания 6.16. Непосредственные заключения 6.17. Категорические силлогизмы 6.18. Символизация языка 6.19. Оценочная процедура 6.20. Общезначимость 6.21. Доказательство логического следствия 6.22. Моделирование внешней среды 6.23. Алгоритмы построения программных движений 6.24. Алгоритмы адаптивного управления движением 6.25. Об организации целесообразного поведения интеллектуального объекта 7. Решение задач методами эвристического поиска 7.1. Вводные замечания 7.2. Стратегии, основанные на поиске в графе вывода 7.2.1. Алгоритм поиска решающего графа 7.2.2. Свойства алгоритма 7.3. Поиск в пространстве состояний 7.3.1. Алгоритм и его свойства 7.3.2. Методы повышения эффективности поиска 7.4. Двунаправленный поиск решения в пространстве состояний 7.5. Поиск решения в пропозициональных графах 7.5.1. Алгоритм поиска минимального решающего графа 7.5.2. Свойства алгоритма поиска минимального решающего графа 7.5.3. Поиск решающего графа в аддитивном пропозициональном графе 8. Решения задач методами доказательства теорем 8.1. Структура процедур доказательства теорем 8.2. Теоретические основы построения программ доказательства теорем 8.2.1. Алфавитный порядок символов 8.2.2. Лексикографический порядок выражений 8.2.3. Подстановочные компоненты 8.2.4. Подстановки 8.2.5. Композиция подстановок 8.2.6. Унификация 8.2.7. Алгоритм унификации 8.2.8. Резольвента 8.2.9. Резолюция 8.3. Системы вывода в исчислении предикатов без равенства 8.3.1. Семантическая резолюция 8.3.2. Специализация семантической резолюции 8.3.3. Семантическая резолюция, использующая упорядоченные дизъюнкты 8.3.4. Выполнение семантической резолюции 8.3.5. Линейная резолюция, использующая упорядоченные литеры и информацию о резольвированных литерах 8.3.6. Линейный вывод 8.4. Правила вывода в исчислении предикатов с равенством 8.4.1. Парамодуляция 8.4.2. Гиперпарамодуляция 8.4.3. Линейная парамодуляция 8.5. Стратегии поиска 8.6. О машинном доказательстве теорем 9. Планирование и выпонение действий интеллектуальных объектах 9.1. Анализ систем решения задач 9.1.1. Миры и планы 9.1.2. Планы и действия 9.2. Планирующая система «Решатель задач STRIPS» 9.3. Обобщение планов и планирование с помощью макрооператоров 9.3.1. Представление планов 9.3.2. Обобщение планов 9.3.3. Особенности планирования с макрооператорами 9.4. Обобщение пространств поиска решений и планирование в абстрактных пространствах 9.4.1. Принцип образования иерархии пространств 9.4.2. Планирование в иерархии пространств 9.5. Стратегии выполнения действий 9.5.1. Исполнительные макрооператоры 9.5.2. Обобщенные процессы планирования и выполнения 10. Планирования при неполном описании мира 10.1. Особенности планирования при неполном описании мира 10.2. Планирование в процедуральных представлениях 10.2.1. Построение простых планов 10.2.2. Построение условных и циклических планов 10.3. Многоцелевое планирование 10.3.1. Общая постановка 10.3.2. Планирование с ограничениями 10.3.3. Кооперация ИИО 10.4. Особенности представления планов в динамическом пространстве 11. Языковые формы общения интеллектуального икусственного объекта 11.1. Структура и задачи подсистемы языковых форм общения 11.2. Формальные грамматики 11.2.1. Основные определения 11.2.2. Формальные грамматики 11.2.3. Трансформационные порождающие грамматики (ТПГ) 11.3. Классификация вопросно-ответных систем, понимающих естественный язык 11.3.1. Системы, использующие форматы частного вида 11.3.2. Системы, основанные на запоминании текста 11.3.3. Системы с ограниченной логикой 11.3.4. Системы с общим выводом 12. Синтаксический и семантический анализ предложений 12.1. Синтаксический анализ 12.1.1. Синтаксические анализаторы КС-языков 12.1.2. Анализаторы языков, описываемых трансформационными грамматиками 12.1.3. Анализ естественных языков, описываемых расширенными сетями переходов 12.2. Семантическая интерпретация 12.2.1. Общие сведения о семантической интерпретации 12.2.2. Семантическая интерпретация в системах с ограниченной логикой 12.2.3. Семантическая интерпретация в системах с общим выводом 12.3. Вывод ответа 12.3.1. Доказательство и извлечение ответа в системах с общим выводом 12.3.2. Вывод ответа в системах с ограниченной логикой 12.4. Формирование ответа в ограниченном естественном языке 13. Компьютеризация науки искусстеного интеллекта, ее проблемы и следствия 13.1. Эпистемология и когнитивная наука 13.2. Процесс решения задачи с и использованием компьютера 13.3. Основные виды систем разделения времени 13.4. Организация помощи пользователю в системах разделения времени 13.5. Автоматизированные обучающие системы 13.6. Анализ основных особенностей диалога человека и ЭВМ 13.7. Методология создания диалоговых систем 14. Основы теории «задачного» подхода к исследованию взаимодействия человека и компьютера 14.1. Требования «задачного» подхода к исследованию взаимодействия человека и ЭВМ 14.2. Базовые понятия и их определения 14.3. Процедуры и алгоритмы 14.4. Обобщенная модель задачи и решающей системы 14.5. Типы задач 14.6. Язык описания формулировок задач 14.7. Основные операторы решающей системы 14.8. Количественные характеристики задач и процессов их решения 14.9. Примеры применения проблемологических категорий к описанию протоколов решения задач 15. Методы визуального отображения сцен 15.1.Структура и задачи визуального отображения сцен 15.2. Формальное описание структуры понятия «сцена» 15.2.2.1. Синтаксические описания 15.2.2. Семантические сети 15.2.3. Трехмерными модели объектов 15.2.4. Разбиение сцены на отдельные объекты 15.2.4.1. Семантика линий 15.2.4.2. Объединение областей в объекты 15.2.5. Монокулярное определение трехмерной структуры сцены 15.2.6. Формирование моделей, опознавание объектов и описание сцены 15.2.7. Распознавание образов ЗАКЛЮЧЕНИЕ Литература