МИВАР
sergey shishkinМиварные технологии включают в себя эволюционные базы данных и логико-вычислительную обработку с линейной вычислительной сложностью логического вывода ... Мивар (Многомерная Информационная Варьирующаяся Адаптивная Реальность) – наименьший структурный элемент дискретного информационного пространства. Он используется при создании искусственного интеллекта для семантического анализа ... Мивар описывается формулой VSO, где V обозначает объект; S – его свойства; O – отношения с другими объектами ... В рамках миварного подхода к обработке информации объекты разделены на параметры и классы, связи – на отношения и правила, а кроме того введены ограничения. Все окружающие нас объекты обладают иерархическими связями, которые, в свою очередь, содержат в себе дополнительную информацию, позволяющую отличить один объект от другого. Для реализации подобных взаимоотношений и введено разбиение на параметры и классы ... Параметр – единичный на данном уровне абстракции объект, обладающий значением ...Введение классов позволяет упростить описание моделей, содержащих несколько однотипных объектов. Еще одним отличием класса от параметра является то, что он может содержать в себе список правил, действительных только для объектов данного класса. Такое внутреннее правило класса использует только параметры, являющиеся дочерними для данного класса. Введение классов и введение внутренних классов позволяет упростить создание схожих объектов – не нужно вводить каждый раз новые параметры, а внутренние правила будут автоматически генерироваться и для нового элемента класса ... Еще одним элементом миварного пространства являются отношения. Отношение описывает взаимосвязь между абстрактными переменными. В отношении хранится тип, список входных и выходных переменных, типы использованных переменных и описание ...
Отношения бывают: математическими (a = b – c); условными (Если …, то …, иначе…); программируемыми (программный код со своими входами и выходами); строковыми (… связан с …); системными (часть ? Целое); местоположения (над, справа).
Отличием правил от отношений является то, что правило содержит в себе ссылку на отношение и связывает конкретные объекты в модели. Правила содержат перечень входных переменных, перечень выходных переменных и идентификатор отношения ...
Помимо этого, в миварном пространстве есть ограничения. Этот элемент накладывает ограничения на значения параметров ... В миварном подходе можно строить прецеденты в виде отдельного правила. Прецедент – особая запись некогда рассчитанного алгоритма, длиною более одного шага, позволяющая рассматривать прецедент как новое правило миварного подхода ... В каждом шаге алгоритма присутствует список входных параметров, информация о запущенном правиле и список выходных правил. При этом на вход последующего шага могут передаваться параметры, являющиеся выходами одного из предыдущих шагов. Такие параметры называются «рассчитанными». Если же на вход передается параметр, который не является выходом одного из предыдущих параметров, такой параметр называется «уникальным». Прецедент, как и правило, содержит список входных и выходных параметров и идентификатор отношения. Для правильной работы прецедента необходимо гарантировать, что все уникальные входные параметры будут переданы на вход прецедента ...
Выходные параметры прецедента могут образовываться:
1. Только выходными параметрами последнего шага алгоритма.
2. Только параметрами, отмеченными как «искомые» при расчете алгоритма, по которым создается прецедент.
3. Всеми параметрами, являющимися выходными параметрами шагов алгоритма внутри прецедента.
В качестве идентификатора отношения может выступать отдельно сохраненный алгоритм и отношение, в котором объединены все шаги алгоритма, по которому создан прецедент ...
Формирование правила-прецедента не отличается от формирования обычного правила по структуре и позволяет использовать их наряду с другими правилами при логическом выводе. Прецеденты могут обрабатываться в том же месте и алгоритме, что и простые правила, но для некоторых задач допускается их отдельное использование ... По сути, компьютерное устройство может рассматриваться как материальная реализация миварной машины логического вывода. Также допускается программно-аппаратная реализация миварной машины логического вывода в виде соответствующим образом сконфигурированного блейд-сервера ... На основе миварного подхода разработана информационно-технологическая платформа, предназначенная для создания специализированных информационных систем, способных в режиме реального времени решать сложные логические задачи, связанные с обработкой больших массивов информации. Экспертные системы, основанные на миварных принципах, представляют данные в виде семантического миварного графа VSO. Такие системы после описания всех элементов и связей между ними генерируют модель рассматриваемой ситуации ... Кроме того, миварная система преобразования текста переводит граф в универсальный семантический граф. В первую очередь речь идет о переходе от попыток понять суть в рамках одного предложения к полноценному пониманию смысла на уровнях «абзац», «текст», «глава», «книга» ... Система состоит из модулей, осуществляющих синтаксический разбор, семантическое преобразование, построение графа, снятие контекстных неопределенностей. Таким образом, происходит поэтапное осмысление текста системой и достигается максимальное понимание естественного языка искусственным интеллектом ...
https://top-technologies.ru/ru/article/view?id=35856
https://mivar.org/ru/technologies/mivar-technologies-presentation
https://www.youtube.com/@user-wl7ef1ov4h
Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры
https://www.litres.ru/book/oleg-varlamov/mivar-lineynyy-logicheskiy-vyvod-24430294/chitat-onlayn