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

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

Серия: "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электронная книга
Миварное понимание смысла через концептыМиварные технологии создания логического искусственного интеллекта: логическая обработка с линейной… — Aegitas, электронная книга Подробнее...129электронная книга

См. также в других словарях:

  • Шафаренко, Олег Леонидович — Олег Шафаренко игрок ХК Донбасс  Олег Леонидович Шафаренко …   Википедия

  • Романцев, Олег Иванович — Олег Романцев …   Википедия

  • Полковников, Олег Олегович —  Олег Олегович Полковников Позиция …   Википедия

  • Яшин, Олег Олегович — В Википедии есть статьи о других людях с такой фамилией, см. Яшин.  Олег Яшин …   Википедия

  • Шведов, Олег Юрьевич — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/19 июля 2012. Пока процесс обсуждения …   Википедия

  • Список серий «Ералаша» (1980-е годы) — Аннотированный список серий детского киножурнала «Ералаш», созданных с 1980 года по 1989 год. За это десятилетие были выпущены 55 серий (с 23 по 77). Содержание 1 1980 год 2 1981 год 3 1982 год 4 …   Википедия


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

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