МИВАР: ПЕРЕХОД ОТ ПРОДУКЦИЙ К ДВУДОЛЬНЫМ МИВАРНЫМ СЕТЯМ И ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ АВТОМАТИЧЕСКОГО КОНСТРУКТОРА АЛГОРИТМОВ, УПРАВЛЯЕМОГО ПОТОКОМ ВХОДНЫХ ДАННЫХ И ОБРАБАТЫВАЮЩЕГО БОЛЕЕ ТРЕХ МИЛЛИОНОВ ПРАВИЛ
В книге показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве правил могут использоваться различные сервисы и модули. Конструктор алгоритмов применим для поиска логического вывода в экспертных системах.
На основе миварных сетей создан программный комплекс УДАВ, обрабатывающий более 3,5 миллионов правил. Приведены результаты практических расчетов, подтверждающие линейную сложность. Комплекс используется для решения логических и вычислительных задач. Описаны практические реализации нескольких миварных экспертных систем.
Миварные сети позволяют создавать новое поколение интеллектуальных систем. Реализованы обучаемые эволюционные активные логические системы. В перспективе будет создана мультипредметная активная экспертная система Миварная активная энциклопедия.
Описана теоретическая и практическая часть метода перехода от продукционных исчислений к двудольпым муварным информационными сетями, а также дана реализация автоматического конструирования муварных алгоритмов с помощью формализма матриц и представлен программный транс "Удав", реализующий данный метод. Рассмотрены практические примеры использования данных сетей при решении различных прикладных пртблем.
Электронная Книга «Мивар: Линейный логический вывод» написана автором Олег Варламов в году.
Минимальный возраст читателя: 12
Язык: Русский
Серии: MIVAR
ISBN: 9785990338838
Описание книги от Олег Варламов
МИВАР: ПЕРЕХОД ОТ ПРОДУКЦИЙ К ДВУДОЛЬНЫМ МИВАРНЫМ СЕТЯМ И ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ АВТОМАТИЧЕСКОГО КОНСТРУКТОРА АЛГОРИТМОВ, УПРАВЛЯЕМОГО ПОТОКОМ ВХОДНЫХ ДАННЫХ И ОБРАБАТЫВАЮЩЕГО БОЛЕЕ ТРЕХ МИЛЛИОНОВ ПРАВИЛ. Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем. На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем. Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием Миварная активная энциклопедия.
