Электронная книга: Олег Варламов «Мивар: Линейный логический вывод»

Мивар: Линейный логический вывод

Серия: "MIVAR"

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

Издательство: "Aegitas"

ISBN: 9785990338838

электронная книга

Купить за 129 руб и скачать на Litres

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Development MIVAR encyclopaediaMIVAR technologies of the development of intelligent systems and the creation of the active multi-subject online MIVAR encyclopaedia. The basic results of 25 years of development of the MIVAR… — Aegitas, электронная книга Подробнее...129электронная книга
Mivar NETs and logical inference with the linear complexityMIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules. The theoretical… — Aegitas, электронная книга Подробнее...129электронная книга
Мивары: 25 лет создания искусственного интеллектаВ монографии профессора МФТИ, МАДИ, д.т.н. Варламова О.О. и д.т.н. Санду Р.А. предложен оригинальный подход в области искусственного интеллекта по созданию миварных глобальных обучаемых активных… — Aegitas, электронная книга Подробнее...260электронная книга
Миварное понимание смысла через концептыМиварные технологии создания логического искусственного интеллекта: логическая обработка с линейной вычислительной сложностью более 3 миллионов продукций и возможность понимания смысла через… — Aegitas, электронная книга Подробнее...129электронная книга

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»