+
Онтология проектирования
2021. — Выпуск 4
Содержание:
+
We are at the edge of colossal changes. This is a critical moment of historical choice and opportunity. It could be the best 5 years ahead of us that we have ever had in human history or one of the worst, because we have all the power, technology and knowledge to create the most fundamental general-purpose technology (GPT), which could completely upend the whole human history. The most important GPTs were fire, the wheel, language, writing, the printing press, the steam engine, electric power, information and telecommunications technology, all to be topped by real artificial intelligence technology. Our study refers to Why and How the Real Machine Intelligence or True AI or Real Superintelligence (RSI) could be designed and developed, deployed and distributed in the next 5 years. The whole idea of RSI took about three decades in three phases. The first conceptual model of Trans-AI was published in 1989. It covered all possible physical phenomena, effects and processes. The more extended model of Real AI was developed in 1999. A complete theory of superintelligence, with its reality model, global knowledge base, NL programing language, and master algorithm, was presented in 2008. The RSI project has been finally completed in 2020, with some key findings and discoveries being published on the EU AI Alliance/Futurium site in 20+ articles. The RSI features a unifying World Metamodel (Global Ontology), with a General Intelligence Framework (Master Algorithm), Standard Data Type Hierarchy, NL Programming Language, to effectively interact with the world by intelligent processing of its data, from the web data to the real-world data. The basic results with technical specifications, classifications, formulas, algorithms, designs and patterns, were kept as a trade secret and documented as the Corporate Confidential Report: How to Engineer Man-Machine Superintelligence 2025. As a member of EU AI Alliance, the author has proposed the Man-Machine RSI Platform as a key part of Transnational EU-Russia Project. To shape a smart and sustainable future, the world should invest into the RSI Science and Technology, for the Trans-AI paradigm is the way to an inclusive, instrumented, interconnected and intelligent world.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Обсуждаются перспективы развития фотоники, показана значимость и актуальность проведения исследований в данной области. Раскрыт потенциал, которым обладает фотоника при ответе на социально-экономические вызовы цифровой трансформации. Продемонстрированы возможности, открывающиеся при внедрении устройств на основе фотоники в различных технических системах, предназначенных для повышения безопасности среды обитания и качества жизни человека. Рассмотрены структуры и устройства на базе фотоники для таких ключевых приложений как спектроскопия, аналоговые оптические вычисления, оптические нейронные сети. Указаны возможные приложения фотонных сенсоров и спектрометров нового типа, раскрыты их назначение и конкурентные преимущества. Рассмотрены сверхточные компактные фотонные спектрометры различных конфигураций. Обсуждаются преимущества аналоговых вычислителей перед традиционными электронными устройствами. Рассмотрены структуры нанофотоники, предназначенные для вычисления дифференциальных и интегральных операторов, показаны решения для задачи выделения контуров на изображении. Проанализирована концепция реализации искусственного интеллекта на платформе фотоники в виде оптических нейронных сетей. Рассмотрены структуры, состоящие из последовательности дифракционных элементов и основанные на принципе Гюйгенса-Френеля, а также структуры, состоящие из волноводов, взаимодействующих по принципу интерферометров Маха-Цендера. Приведена оценка мирового рынка фотоники, которая показывает, что фотоника прочно займёт своё место в индустрии будущего.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В предыдущих частях статьи предпринята попытка начать описание подхода к созданию сильного искусственного интеллекта, основанного на смысле информации. Была предложена модель, в которой понятия описывались через связанные с ними точки зрения. Точка зрения задавалась как контекст, меняющий исходное описание на его трактовку. Было показано, что об осмысленности трактовки можно судить по её адекватности памяти предыдущего опыта. Описано пространство контекстов, задающее систему понятий, покрывающих определённую предметную область. В этой части статьи описан алгоритм, позволяющий создать исходную систему понятий, опирающуюся на наблюдаемые признаки явлений, и перейти от неё к соответствующим этим понятиям контекстам. Для пространства контекстов предложен способ создания кодов понятий, позволяющий кодами понятий передать систему их внутренней близости, проведено сравнение со свёрточными сетями. Пояснения предлагаемого подхода рассмотрено на примере обучения зрительной коры.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В настоящее время проводится большое количество исследований по применению онтологий при разработке автоматизированных систем. Онтологическое моделирование позволяет повысить эффективность процесса разработки программного обеспечения. Разделение труда при разработке автоматизированных систем способствует появлению семантических разрывов между фазами проектного процесса. Практика использования широкого спектра артефактов проектирования, пригодных для повторного применения, является фактором риска нарушения концептуальной целостности, непротиворечивости и полноты разрабатываемых проектных решений. В статье предлагаются: новый подход к онтологическому моделированию автоматизированных систем, который обслуживает проектный процесс их разработки на всех стадиях проектирования вплоть до реализации; новая структура метаданных онтологических спецификаций автоматизированных систем, которая позволяет учитывать семантически важные сущности и особенности разрабатываемой системы. Показано, что применение данного подхода значительно снижает трудозатраты при проектировании сложной автоматизированной системы в условиях изменения требований на различных стадиях создания системы. Применение онтологических моделей в проектном процессе способствует повышению концептуальной целостности, непротиворечивости и полноты разрабатываемых проектных решений.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Представлен анализ подходов и решений к прогнозу состояний, развития заболеваний и оценке рисков. Показано, что реализация программных сервисов на различных платформах затрудняет возможность их комплексного использования и выбор между имеющимися решениями. Это обусловило актуальность создания единой семантической модели заболеваний, интегрирующей различные методы и подходы и аккумулирующей знания о рисках и прогнозе в едином информационном пространстве. Предложена новая семантическая модель для учёта влияния комплекса факторов на развитие различных событий, угрожающих здоровью и жизни. Особенностью модели является независимость от конкретного заболевания либо группы заболеваний, что позволяет использовать её в различных разделах медицины. Данная модель апробирована на платформе IACPaaS, реализован программный решатель, позволяющий на основе базы знаний и анализа электронной медицинской карты пациента генерировать понятное для врачей объяснение. Применение новой модели для формирования знаний показано на примере оценки рисков и прогноза сердечно-сосудистых событий.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Одним из ключевых направлений современной мировой космонавтики является разработка кластерных космических систем различного назначения, состоящих из большого количества функционирующих космических аппаратов. Это стало возможным благодаря уменьшению массы космических аппаратов за счёт создания и использования новых материалов, развития электроники и микроэлектромеханических систем, применения метода группового запуска, развития мультиагентных технологий и систем межспутниковой связи. Существуют проекты систем, состоящих из большого количества космических объектов, таких как «OneWeb», «Planet», «Starlink», «Satellogic» и др. Основными классами устройств, используемых для создания таких многоспутниковых систем, являются малые спутники, в том числе микро (до 100 кг) и нано (до 10-15 кг) классов, которые имеют значительные преимущества перед тяжелыми космическими аппаратами, особенно с точки зрения сроков и стоимости их создания. Развёртывание многоспутниковых группировок, включающих сотни и тысячи спутников, требует принципиально новых подходов к созданию космических аппаратов и системы в целом на всех этапах жизненного цикла. В статье рассматриваются ключевые технологии, используемые для создания многоспутниковых орбитальных группировок на базе малых спутников на разных стадиях жизненного цикла - от ранних стадий проектирования до стадии эксплуатации и утилизации (сведения с орбиты). Приведён опыт совместного проекта Самарского университета и Ракетно-космического центра «Прогресс» по созданию группировки малых космических аппаратов серии «АИСТ».
Загружаем данные из библиотечной системы...
Ключевые слова
+
В настоящее время онтологии признаны наиболее эффективным средством формализации и систематизации знаний и данных в научных предметных областях (НПрО). Однако разработка онтологии является сложным и трудоёмким процессом. Практика показала, что при разработке онтологий НПрО, особенно эффективно применение паттернов онтологического проектирования. Это связано с тем, что в онтологии НПрО, как правило, содержится большое количество типовых фрагментов, которые хорошо описываются паттернами онтологического проектирования. Благодаря тому, что использование паттернов онтологического проектирования значительно облегчает разработку онтологии НПрО, к ней можно привлечь экспертов в моделируемой НПрО, не владеющих навыками онтологического моделирования. Для получения онтологии НПрО, необходимо обработать огромное количество публикаций, релевантных моделируемой НПрО. Облегчить и ускорить процесс пополнения онтологии информацией из таких источников можно за счёт использования лексико-синтаксических паттернов онтологического проектирования. В статье представлен подход к автоматизированному построению онтологий НПрО на основе системы разнородных паттернов ОП. Система включает паттерны ОП, предназначенные для разработчиков онтологий, и автоматически построенные на их основе лексико-синтаксические паттерны, с помощью которых может выполняться автоматическое пополнение онтологии информацией, извлекаемой из текстов на естественном языке.
Загружаем данные из библиотечной системы...
Ключевые слова
+
В рамках технологии программирования в ограничениях широко применяются табличные ограничения: обычные таблицы, compressed -таблицы, smart -таблицы, сегментированные таблицы и т.п. С их помощью могут быть представлены любые другие виды ограничений, а алгоритмы распространения табличных ограничений (логического вывода на табличных ограничениях) позволяют отфильтровывать «лишние» значения из доменов переменных, обладая при этом низкой вычислительной сложностью. В предыдущих исследованиях автора было предложено smart -таблицы подразделять на структуры С - и D -типов. Общепринятая методология решения задач удовлетворения ограничений заключается в совместном применении методов распространения ограничений и методов поиска в глубину с возвратами. В настоящем исследовании предлагается интегрировать методы поиска в ширину с авторским методом распространения табличных ограничений. Smart -таблицы D -типа предлагается представлять как соединение нескольких ортогонализованных smart -таблиц С -типа. Шаг поиска заключается в выборе пары smart -таблиц С -типа для соединения и последующем распространении ограничений. Для определения порядка соединения ортогонализованных smart -таблиц на каждом шаге поиска используется специализированная эвристика, которая обеспечивает сокращение пространства поиска с учётом дальнейших вычислений. При распространении ограничений ускорение процесса вычислений достигается за счёт применения разработанных правил редукции для случая smart -таблиц C -типа. Разработанный гибридный метод позволяет отыскивать все решения задач удовлетворения ограничений, моделируемых с помощью одной или нескольких smart -таблиц D -типа, без разложения табличных ограничений в элементарные кортежи.
Загружаем данные из библиотечной системы...
Ключевые слова
+
Загружаем данные из библиотечной системы...
Вверх