+
Онтология проектирования
2016. — Выпуск 3
Содержание:
+
Рассмотрено современное состояние вопроса синтеза технологических цепочек и процессов в рамках систем автоматизированного проектирования технологических процессов. Выполнен анализ публикаций по результатам современных исследований, рассмотрены особенности актуальных программных систем проектирования. Дана классификация САПР технологических процессов по отраслевому и целевому назначению с учётом нового направления в медицине, а также классификация методов, применяемых в САПР. Показано, что достигнутый современный уровень теории пока не позволяет создать универсальную технологию синтеза, единую для всех прикладных направлений. Перспективы решения вопроса связываются с построением интеллектуальных систем автоматизированного проектирования, реализующих наиболее общий подход к синтезу на основе имитации деятельности разработчиков и предназначенных для поддержки научно-технических и технологических решений в приоритетных направлениях науки и техники. Приведена общая схема многоуровневого итерационного процесса синтеза на основе баз знаний, хранящих прецеденты, процедуры выбора, настройки и оценивания варианта. В случае отсутствия подходящего образца в базе проводится прямой синтез нового технологического процесса с применением одного из возможных формальных подходов.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В работе приводится метод формирования библиотеки эталонов речевых команд с использованием предметной онтологии с целью повышения их дальнейшего распознавания. Представлена формальная модель предметной OWL-онтологии, используемой в качестве базы знаний в процессе формирования и расширения библиотеки эталонных команд в процессе распознавания речевых команд, а также описан алгоритм извлечения списка синонимов входных речевых команд на основе предметной OWL-онтологии. Статья содержит описание методики проведения, а также результаты экспериментов по формированию вариантов библиотеки эталонов и выбора библиотеки с наиболее различимыми командами с использованием OWL-онтологии предметной области управления гражданского самолета с помощью речевых команд. Приводятся результаты экспериментов, доказывающие эффективность подхода.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Статья посвящена разработке автоматизированного конвертера, преобразующего базу знаний в виде онтологии, представленной в одном из форматов, допустимых редактором онтологий OntoStudio (OWL или RDF), в объектно-ориентированную базу данных (ООБД) db4o. Впервые предложен подход, основанный на использовании компилятора компиляторов ANTLR (ANother Tool for Language Recognition). Это позволяет сократить трудозатраты и применить программное средство ANTLR для других онтологий, так как разработана грамматика языка описания онтологий, которая не зависит от предметной области базы знаний. Грамматика содержит не только лексические и синтаксические правила для проверки правильности текста, но и правила действий для преобразования элементов онтологии в изоморфные им элементы объектной базы данных.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В работе описана мета-онтология, предназначенная для накопления, классификации, контроля и поиска прецедентов, представляющих экземпляры конкретных ситуаций и сценариев, которые возникают при практической деятельности в той или иной предметной области. Особенностью онтологий, создаваемых на её основе, является наличие прагматических - алгоритмических, геометрических, предикатных, графовых - моделей понятий, с помощью которых, дополнительно к средствам логического вывода, можно осуществлять «анимацию» прецедентов для визуального контроля и поддержки принятия решений. Алгоритмические модели могут быть заданы формулой, программой, анимационным файлом в формате GIF. Геометрические модели задаются файлами в форматах XML, SVG, JPG и др. Графы также могут быть заданы в формате XML и ему подобных. Предикатные модели - это логические выражения, задаваемые в строковом виде. В результате синтаксического и семантического анализа текста формируется прагматическая семантическая модель, которая отображает атрибутивный граф ситуации или сценария. В этом графе вершинами являются предметы, процессы и отношения, а рёбрами - связи между ними. Описаны эксперименты с использованием системы Protege для разработки онтологий.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Рассматривается онтологический подход к проектированию подсистем оценки обстановки (ПОО) интеллектуальных агентов (ИА), функционирующих в динамических многоагентных средах, в том числе в условиях группового противодействия. Подход основан на выделении аспектов построения ПОО, инвариантных конкретным областям применения агентов и решаемым ими задачам. В качестве теоретического базиса процесса проектирования предложено семейство моделей, формализующих различные аспекты построения и функционирования ПОО, с учётом представления разных компонентов внутренней модели мира агента, особенностей организации процесса вычислений и этапов проектирования ПОО. Предложенные модели позволяют с единых позиций проектировать ПОО для разных ИА с использованием онтологий. Выделены два класса онтологий, поддерживающих процесс проектирования: онтология ПОО и онтологии конкретных предметных областей. Онтология ПОО обеспечивает интеграцию в инвариантный каркас программного кода, реализующего функции оценки обстановки для конкретного агента. Онтология предметной области расширяет онтологию ПОО и поддерживает автоматическую генерацию программного кода и его интеграцию в инвариантный каркас ПОО. Генерация программного кода ПОО для конкретного ИА обеспечивается предложенными отображениями онтологических классов и свойств в программные структуры. Рассмотрен прототип инструментальной платформы разработки ПОО, реализованный с использованием языков представления и обработки онтологий OWL, SPARQL, SPIN и языка программирования Java. Подход иллюстрируется построением ПОО агента, функционирующего в среде виртуального футбола.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В статье рассматривается проблема автоматизации формирования онтологических спецификаций предметных областей на основе измерений - стержневая проблема онтологического анализа данных. Представлены модели и методы, направленные на выявление понятийной структуры и, в конечном счете, формальной онтологии исследуемой предметной области. Фундаментальные реалии накопления эмпирической информации: многократные независимые измерения каждого свойства объекта обучающей выборки; конгруэнтность части процедур измерения; дифференциация доверия к различным источникам данных - отражены в модели обобщенной таблицы «объекты-свойства». Неполнота (неточность, противоречивость, неопределенность) этой информации влечет необходимость использования для её первичной обработки моделей многозначной логики. Результат такой обработки - нестрогий формальный контекст - должен быть аппроксимирован однозначным контекстом, из которого возможен вывод формальных понятий в рамках прикладной ветви теории решёток, известной как «анализ формальных понятий». Исследуется генезис «ограничений существования свойств», которые влияют на корректность аппроксимации нестрогого формального контекста. Предлагаются модели и метод учета этой дополнительной информации. Формулируются прагматически обоснованные принципы преобразования решетки формальных понятий в формальную онтологию. Приводится модельный пример использования разработанных моделей и методов онтологического анализа данных.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В статье рассмотрены задачи, связанные с вычислением производных от интервально-определён-ных функций. Эти задачи актуальны при изучении систем с той или иной степенью неопределённости (недетерминированные системы). Рассматриваются простейшие системы, описываемые элементарными интервально-определёнными функциями. Решаются задачи вычисления производных от элементарных интервально-определённых функций. Приведены основные определения, связанные с производными от интервально-определённых функций, и формулы двух типов, которые позволяют вычислять указанные интервальные производные. Формулы первого типа выражают производные в закрытой интервальной форме, которая для вычисления требует использования аппарата интервальной математики. Формулы второго типа выражают производные в открытой интервальной форме, т.е. в форме двух формул, первая из которых выражает нижнюю границу интервала, представляющего производную, а вторая - верхнюю границу интервала. В такой форме вычисление производной от интервально-определённой функции сводится к вычислению двух обычных функций. Получены производные для ряда элементарных интервальных функций: интервальной константы, степенной функции, показательной функции, экспоненциальной функции, логарифмической функции, функции натуральный логарифм, тригонометрических функций, обратных тригонометрических функций. Формулы всех производных представлены в открытой интервальной форме. Показано отличие производных интервальных элементарных функций от производных соответствующих неинтервальных элементарных функций.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В статье рассматриваются механизмы эволюционных процессов, составляющие конструктивно-ориентированную концепцию существования и развития живого и неживого мира - концепцию многоальтернативности. В рамках этой концепции обсуждаются взаимосвязанные и взаимодополняющие друг друга эволюционные принципы многообразия, дискретности и иерархии процессов и структур. Показано, что возможность эволюции определяется, прежде всего, гетерогенностью форм существования материи, порождающей многообразие их новых свойств. Отмечено, что указанное многообразие необходимо обеспечивается дискретностью элементов физических и биологических систем, образующей комбинаторное множество системных конфигураций и их состояний. Раскрывается взаимосвязь иерархии процессов и структур со свойствами их устойчивости и гомеостазисом. Приведены примеры использования изложенных принципов многоальтернативности в проектировании высоконадёжных систем электроснабжения космических станций и построении эволюционных алгоритмов систем принятия решений.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Рассмотрены когнитивные проблемы, возникающие при выполнении проектирования сложных систем на основе компьютерных моделей: когнитивный барьер и аберрация когнитивного процесса. Определены причины указанных проблем, которые носят как технический, так и социо-гуманитарный характер. В неолибералистском капитализме повысилась значимость финансового сектора. Сменяемость поколений технических устройств вызвана экономической, а не научно-технической задачей или потребностями человека. Инновационная экономика порождает дискурс изменений человека с целью создать потребителя, соразмерного темпам технического прогресса. Вызванный экономикой темп технических изменений не антропомерен, не соответствует темпу «счастливой жизни». Динамизация базиса приводит к динамизации морально-нравственной сферы, возникает транзиторная этика. Латентность когнитивных проблем проектирования - следствие потребности получить инновационный продукт в жёстких временных рамках. При главенстве техницизма в науке и неизбежности внедрения результатов проектирования в жизнь проектная деятельность должна сопровождаться философской рефлексией.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В статье рассматриваются понятие и проблема техники в работах Фридриха Дессауэра «Философия техники» (1927) и «Спор о технике» (1959). Анализируются способы постановки эпистемологических и онтологических вопросов, специфических для техники. Показывается, что концепция «четвёртого царства» является областью правил проективной, материально выраженной рефлексии, понимаемой в качестве техники в собственном смысле. Обосновывается тезис о том, что «четвёртое царство» выполняет для проективной деятельности те же функции, что и «мир идей» Платона - для традиционно исследуемой в истории философии рецептивной деятельности; тем самым платонистская философия техники демонстрируется в качестве перспективной области исследований в рамках анализа проективных правил с позиций трансцендентализма и общей семиотики.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Загружаем данные из библиотечной системы...
+
Загружаем данные из библиотечной системы...
+
Загружаем данные из библиотечной системы...
Вверх