Кононюк А.Е. Истины и информации. В 16 кн. Книга 7. Фундаментальная теория представления истин и информации. Фреймы как средства представления истин и информации

К.: Освіта України, 2016. — 618 с. — (Парадигма развития науки). — ISBN 978-966-373-694-11.Многотомная работа посвящена систематическому изложению общих формализмов, математических моделей и алгоритмических методов, которые могут быть исспользуемы при моделировании и исследованиях математических моделей истин и информации. Развиваются представления и методы решения, основанные на теориях эвристического поиска и автоматическом доказательстве теорем, а также процедуральные методы, базирующиеся на классе проблемно-ориентированных языков, сочетающих свойства языков программирования и автоматических решателей задач отображения истин и информации различными математическими средствами.
В работе излагаются основы теории формализованного отображения истин и информации такими средствами математики как: множества, отношения, поверхности, пространства, алгебраические системы, матрицы, графы, математическая логика и др.
Для бакалавров, специалистов, магистров, аспирантов, докторантов всех специальностей.Предисловие
Введение
Введение в теорию фреймов
Локальная и общая теории зрительного восприятия
Параллелизм
Искусственный интеллект и процессы решения задач человеком
Отслеживание образа куба
Носит ли зрительное восприятие символьную форму
Видение комнаты
Анализ сцен и субфреймы
Перспективы и перемена точек наблюдений
Заслонения
Образы и системы фреймов
Априорное означивание
Системы фреймов и конкретные мыслительные операции Пиаже
Язык, понимание и сценарии
Слова, предложения и смысл
Рассуждение
Смысловая структура рассуждений
Перевод
Активная и пассивная формы интеллектуальной деятельности
Сценарии
Более сложные сценарии
Вопросы, системы и концептуальные случаи
Обучение, память и парадигмы
Требования к памяти
Сопоставление образцов
Оправдание
Суждения и сети подобия
Группы, классы и географические аналогии
Аналогии и альтернативные описания
Использование фреймов в эвристическом поиске
Фреймы в качестве парадигм
Управление
Централизация управления
Фреймы и процесс согласования
Пространственные образы
Местоположение и ориентация
Глобальная система пространственных фреймов
Совершенствование системы
Эволюция
Вопросы измерений и количественных оценок
Критика логистического подхода
Суть проблемы представления знаний
Характерные особенности фрейм-подхода к проблеме представления знаний
Фрейм - визуальный образ
Фрейм-сценарий
Способ формализации фреймов
Примеры формализованного представления фреймов-сценариев
Механизмы "приспособления" фрейма к реальной ситуации
Анализ общей структуры интеллектуальной системы фреймов
Что такое интеллектуальная система фреймов?
Система решения задач
Система восприятия
Эффекторная система
Планирование и выполнение действий в интеллектуалных системах фреймов
Анализ систем решения задач
Планирующая система «Решатель задач»
Обобщение планов и планирование с помощью макрооператоров
Представление планов
Обобщение планов
Особенности планирования с макрооператорами
Обобщение пространств поиска решений и планирование в абстрактных пространствах
Принцип образования иерархии пространств
Планирование в иерархии пространств
Стратегии выполнения действий
Исполнительные макрооператоры
Обобщенные процессы планирования и выполнения
Особенности планирования при неполном описании мира (пространства, среды)
Планирование в процедуральных предписаниях
Построение простых планов
Построение условных и циклических планов
Многоцелевое планирование
Общая постановка
Планирование с ограничениями
Кооперация отправителей
Особенности представления планов в динамическом пространстве
Языковые формы представления фреймов
Структура и задачи подсистемы языковых форм представления фреймов
Формальные грамматики
Основные определения
Формальные грамматики
Трансформационные порождающие грамматики (ТПГ)
Классификация вопросно-ответных систем фреймов, понимающих естественный язык
Системы, использующие форматы частного вида
Системы, основанные на запоминании текста
Системы с ограниченной логикой
Системы с общим выводом
Синтаксический анализ
Синтаксические анализаторы КС-языков
Анализаторы языков, описываемых трансформационными грамматиками
Анализ естественных языков, описываемых расширенными сетями переходов
Семантическая интерпретация
Общие сведения о семантической интерпретации
Семантическая интерпретация в системах с ограниченной логикой
Семантическая интерпретация в системах с общим выводом
Вывод ответа
Доказательство и извлечение ответа в системах с общим выводом
Вывод ответа в системах с ограниченной логикой
Формирование ответа в ограниченном естественном языке
Компьютеризация науки, ее проблемы и следствия
Эпистемология и когнитивная наука
Методы и средства образования фреймов
Метод формального образования фреймов
Методы визуального отображения сцен
Структура и задачи визуального отображения сцен
Формальное описание структуры понятия «сцена»
Трехмерные модели объектов (истин)
Разбиение сцены на отдельные объекты
Монокулярное определение трехмерной структуры сцены
Формирование моделей, опознавание объектов и описание сцены
Образовывающие операторы понятий
Предпосылки создания автоматизированных систем образования фреймов
Системный характер сложных объектов (истин) и процессов образования фреймов
Связи системных объектов и процессов с окружающей средой и их функция
Структура САОФ и процессов образования фреймов
Функционально-структурные свойства объектов и процессов образования фреймов
Методические основы построения теории автоматизированного образования фреймов
Многоуровневый итерационый метод образования фреймов
Многоуровневая декомпозиция процессов образования фреймов
Примеры образования фреймов технологических операций
Фрейм операции «Поиск решений аналогов»
Фрейм операции «Преобразование процессов-аналогов»
Фрейм операции «Синтез технологических процессов»
Фрейм операции «Имитационное моделирование»
Фрейм операции «Анализ проектных вариантов»
Фрейм операции «Оценка вариантов»
Фрейм операции «Корректировка и улучшение» проектного варианта
Диалоговые процедуры многоуровневого итерационного метода образования фреймов
Рациональное разделение функций между разработчиком фреймов и ЭВМ
Взаимодействие разработчика фреймов с ЭВМ при различных формах диалога
Формализованный язык образования фреймов (ФЯОФ)
Математическое моделирование при автоматизированном образовании фреймов
Иерахическая систеа математического моделирования объктных фреймов
Образование типовых структурно-логических фреймов моделей объектов
Математическое моделирование процессов образования фреймов
Автоматизированное образование фреймов процессов по типовым структурно-логическим моделям
Построение моделей элементов технических устройств и формализованный язык их описания для автоматизированного образования фреймов
Виды моделей элементов технических устройств и способы их декомпозиции
Структурно-кинематические модели и методы кодирования поверхностей
Операции и отношения используемые при образовании фреймов формы детали и размерных сязей ее элементов
Модели формы деталей машин
Математическая модель размерных связей элементов детали
Формализованный входной язык САОФ и правила образования на нем фреймов
Синтез схем процесса образования фреймов
Некоторые закономерности образования фреймов
Фрейм функциональной структуры принципиальной схемы технологического процесса
Этапы (подфреймы) технологического процесса
Фреймы алгоритмов назначения заготовительного этапа
Фреймы алгоритмов формировании черновых и чистовых этапов (подфреймов)
Формирование чистовых этапов (подфреймов) принципиальной схемы технологического процесса
Образование фреймов моделирования процесса проектирования технологических маршрутов
Закономерности синтеза фрейма маршрута механической обработки деталей
Общая структура фреймов алгоритмов синтеза маршрута обработки деталей
Фреймы алгоритмов формирования маршрута обработки основных поверхностей деталей класса «тела вращения»
Дифференциация укрупненных операций в черновых этапах (подфреймах)
Дифференциация укрупненных операций в получистовых этапах (подфреймах)
Дифференциация укрупненных операций в чистовых этапах (подфреймах) програм
Системная математическая модель перехода
Синтез траекторий фрезерной обработки сложных областей на станках с ЧПУ
Образование фреймов процессов сборки технических устройств
Основные конструктивно-технологические свойства технических устройств
Образование фрейма принципиальной схемы сборки
Образование фрейма операционного технологического процесса сборки
Литература