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

"Миварные сети: пересечение традиционных и инновационных подходов в области экспертных систем и информационных технологий. В этой книге рассматривается теоретический переход от устаревших однодольных продукционных систем к эффективным двудольным миварным логико-вычислительным сетям. Авторы представляют примеры практической реализации миварных сетей в формализмах матриц и графов, а также объясняют линейную вычислительную сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. Основываясь на огромном объеме данных - более трех миллионов правил, автоматический конструктор алгоритмов, контролируемый потоком входных данных, позволяет использовать различные сервисы и модули для поиска логического вывода. Программный комплекс УДАВ, разработанный на базе миварных сетей, успешно обрабатывает более 1,17 миллиона переменных и более 3,5 миллиона правил на стандартных компьютерах и ноутбуках. Книга также представляет результаты практических расчетов и решений прикладных задач, подтверждающих линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Учебник рассматривает различные прикладные области, в которых могут быть применены миварные сети, начиная от решений логических задач до сложных вычислительных задач. Основанные на миварных сетях экспертные системы представляют новое поколение технологий, способных революционизировать интеллектуальные пакеты прикладных программ. Авторы также представляют практическую реализацию нескольких миварных экспертных систем и обсуждают перспективу создания глобальной мультипредметной активной экспертной системы под названием 'Миварная активная энциклопедия'."