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

Description

Титульный лист А. Е. Кононюк. Фото Структурная схема развивающейся панмедийной системы наук Структурная схема парадигмы развития науки Аннотация Оглавление Введение 1. Определения в истории понятий 1.1. Определение у Платона 1.2. Теория определений по Аристотелю 1.3. Логика стоиков и определение 1.4. Определение в эпоху поздней античности и средневековья 1.5. Конвенционализм Томаса Гоббса 1. 6. Значение и определение у Джона Локка 1.7. Определение и геометрическое доказательство у Блеза Паскаля 1.8. Определение в логике Пор-Рояля 1.9. Теория определений у Жозефа Д. Жергонна 1.10. Денотат, коннотат и определение у Дж. Ст. Милля 1.11. Август де Морган о номинальных и реальных определениях 1.12. Тория определений Г. Фреге 2. Введение в теорию определений понятий 2.1.Общие положения 2.1.1. О термине «понятие» 2.1.2. Критерии определения понятия 2.2. Характеристика признаков объектных и процесных понятий 2.2.1. Объект как предмет понятия 2.2.2. Процесс как предмет понятия 2.2.3. Вещество как предмет понятия 2.2.4. Корректные формы образования понятий 2.2.5. Последовательность выявления отличительных признаков в научно-технической разработке 2.2.6. Методика и последовательность выявления признаков, используемых при разработке понятий 2.3. Описания понятий 2.3.1. Описание разрабатываемого понятия 2.3.2. Графические изображения 2.4. Определение понятия как его формула 2.4.1. Назначение формулы определения понятия 2.4.2. Основные требования, предъявляемые к формуле определения понятия и его разработки 2.4.3. Правила составления многозвенной формулы определения понятия 2.4.4. Общие правила составления первого пункта формулы определения понятия или однозвенной формулы определения понятия 2.4.5. Структура первого пункта формулы определения понятия или однозвенной формулы 2.4.6. Структура дополнительных пунктов формулы определения понятия 2.4.7. Формула определения дополнительного понятия 2.4.8. Особенности составления формулы определения понятия на различные предметы понятия 2.4.9. Использование функциональных признаков в формуле определения понятия для характеристики предметов понятий 2.4.10. Отражение в формуле определения понятия альтернативных признаков 2.4.11. Отражение в формуле определения понятия математических зависимостей 2.4.12. Теория эквивалентов и формула определения понятия 2.4.13. Выбор вида предмета понятия для отображения его в формуле определения понятия 2.4.14. Единство понятия 2.4.15. Комплексные понятия 3. Виды определений 3.1. Номинальные и реальные определения 3.2. Семантические и синтаксические определения 3.3. Аналитические и синтетические определения 3.4. Явные и неявные определения 3.5. Дескрипции и дескриптивные определения 3.6. Контекстуальные определения 3.7. Классификационные и генетические определения 3.8. Определения через абстракцию 3.9. Непредикативные и предикативные определения 3.10. Экстенсиональные и интенсиональные определения 3.11. Остенсивные и вербальные определения 3.12. Лингвистические и концептуальные определения 3.13. Повседневные и теоретические определения 3.14. Полные и неполные определения 3.15. Различные подходы к значению понятия «определение» 3.16. О дефиниции определения в широком и узком смысле 3.17. Правила формирования определения 4. Семиотическая теория определений 4.1. Язык, идиолект, речь 4.2. Исходный язык и язык расширенный 4.3. Расширение естественных языков 4.4. Семиотическая интерпретация акта определения 4.5. Остенсивное усвоение имени 4.6. Составные элементы и этапы остенсивного определения 4.7. Познавательная ценность и функции остенсивных определений 4.8. Различные взгляды на остенсивные определения 4.9. Семиотический подход к остенсивным определениям 5. Операциональные определения 5.1. Операциональные определения и операционализм П. У. Бриджмена 5.2. О понятиях теории действия 5.3. Теория действия и составные элементы операциональных определений 5.4. Операциональные определения и предложения редукции 5.5. Операциональные определения и измерения 6. Познавательные функции определений 6.1. Альтернативные оценки роли определений 6.2. Определение и практическая деятельность 6.3. Определение, язык и познание 6.4. Определение и исчисление 6.5. Определение и аксиоматизация 6.6. Определение и обучение 7. Методы формулирования аналитических определений 7.1. Методы формулирования аналитических определений на уровне естественного языка 7.2. Методы формулирования творческих синтетических определений 7.3. Процессы конструктивизации действительности и трудности формулирования определений 7.4. Экземплярные определения 7.5. Экстенсиональное равенство определений и его ограниченность 7.6. Определение и проблема более существенного и менее существенного признака 8. О применимости к определениям истинностных оценок 8.1. Постановка вопроса о применимости к определениям истинностных оценок в истории философии 8.2. Различные виды определений и применимость к ним истинностных оценок 8.3. Неистинные реальные определения 9. Правила введения и удаления знаковых выражений вводимых посредством определений 9.1. Правила введения и удаления на уровне естественного языка 9.2. Правила введения и удаления на уровне науки 9.3. О строгости определения 9.3.1. Понятие строгости определения на различных уровнях познания 9.3.2. Относительный характер строгости определений 10. Методы формирования определений 10.1. Исходные понятия 10.2. Проблема преобразования определений 10.2.1. Общий подход 10.2.2. Пример 10.2.3. Методы исследований свойств пространства поиска решений 10.3. Краткая характеристика основных классовопределений 10.3.1. Декларативные методы формирования определений 10.3.2. Процедуральные методы формирования определений 10.3.3. Семантические методы формирования определений 10.4. Эвристические методы формированияопределений на основе декларативных методовформирования определений 10.4.1. Общая постановка задачи 10.4.2. Формирование определений в пространствесостояний (система продукций) 10.4.3. Определения в системе редукций.Пропозициональные графы 10.4.4. Механизмы сведения задач к подзадачам 10.5. Методы доказательства определений на основе декларативных методов формирования определений 10.5.1. Применение метода доказательстваопределений 10.6. Обобщенные декларативные методыформирования определений 10.7. Проблема границ в декларативно представляемых определениях 10.8. Процедуральные определения 10.8.1. Общие характеристики ПОЯ 10.8.2. База данных и механизмы сопоставления по образцу 10.8.3. Стандартные операторы 10.8.4. Механизм возврата к точке ветвления 10.8.5. Пример 10.8.6. Контекстный механизм 10.8.7. Проблема границ в процедуральныхопределениях 10.9. Семантические сети определений 10.9.1. Определение семантических сетей 10.9.2. Типы объектов 10.9.3. Типы отношений 10.9.4. Скелеты и сценарии 10.9.5. Процессы понимания и вывода в семантических определениях 11. Решение задач формирования определений методами эвристического поиска 11.1. Вводные замечания 11.2. Стратегии формирования определений, основанные на поиске в графе вывода 11.2.1. Алгоритм поиска решающего графа 11.2.2. Свойства алгоритма 11.3. Поиск решений в пространстве состояний 11.3.1. Алгоритм и его свойства 11.3.2. Методы повышения эффективности поиска 11.4. Двунаправленный поиск решения в пространстве состояний 11.5. Поиск решения в пропозициональных графах 11.5.1. Алгоритм поиска минимального решающего графа 11.5.2. Свойства алгоритма поиска минимального решающего графа 11.5.3. Поиск решающего графа в аддитивном пропозициональном графе 12. Решения задач формирования определений методами доказательства определений 12.1. Структура процедур доказательства определений 12.2. Теоретические основы построенияпрограмм доказательства определений 12.2.1. Алфавитный порядок символов 12.2.2. Лексикографический порядок выражений 12.2.3. Подстановочные компоненты 12.2.4. Подстановки 12.2.5. Композиция подстановок 12.2.6. Унификация 12.2.7. Алгоритм унификации 12.2.8. Резольвента 12.2.9. Резолюция 12.3. Системы вывода в исчислении предикатовбез равенства 12.3.1. Семантическая резолюция 12.3.2. Специализация семантической резолюции 12.3.3. Семантическая резолюция, использующая упорядоченные дизъюнкты 12.3.4. Выполнение семантической резолюции 12.3.5. Линейная резолюция, использующая упорядоченные литеры и информацию о резольвированных литерах 12.3.6. Линейный вывод 12.4. Правила вывода в исчислении предикатов сравенством 12.4.1. Парамодуляция 12.4.2. Гиперпарамодуляция 12.4.3. Линейная парамодуляция 12.5. Стратегии поиска 12.6. О машинном доказательстве определений 13. Теорема о существовании недоказуемых истинных определений 13.1. О форме доказуемости существования корректно толкуемых понятий 13.1.1. Язык определений понятий 13.1.2. О доказательстве определений понятий 13.1.3. Уточнения формулировки теоремы 13.1.4. Непротиворечивость и полнота доказательства определения понятия 13.2. Начальная теория алгоритмов и ее применения при доказательстве определений понятий 13.3. Некоторые критерии неполноты определений понятий 13.4. Язык арифметики понятий как средство формального отображения понятий и их определений 13.5. Некоторые аксиомы из теории алгоритмов 13.6. Синтаксическая и семантическая формулировки базовой теоремы, определяющей толкование определения понятия 13.7. Арифметические множества понятий 13.8. Язык адресных программ 13.8.1. Язык адресных программ 13.8.2. Расширенный арифметический язык понятий 13.8.3. Выразимость адресно вычислимых функций в расширенном арифметическом языке понятий 13.8.4. Сведение расширенного арифметического языка понятий к обычному 13.8.5. Первый способ построения арифметического кодирования понятий 13.8.6. Второй способ построения арифметического кодирования понятий 13.9. Языки понятий, связанные с ассоциативными исчислениями Заключение Литература