Мивар: Линейный логический вывод
()
About this ebook
Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем.
На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем.
Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием "Миварная активная энциклопедия".
Read more from Варламов, Олег Олегович
Практикум по созданию миварных систем Rating: 0 out of 5 stars0 ratingsМиварное понимание смысла через концепты Rating: 0 out of 5 stars0 ratingsМиварный виртуальный консультант Rating: 0 out of 5 stars0 ratingsОсновы миварного подхода Rating: 0 out of 5 stars0 ratingsМивары: 25 лет создания искусственного интеллекта Rating: 0 out of 5 stars0 ratingsРоль миваров в искусственном интеллекте Rating: 0 out of 5 stars0 ratingsМиварные системы принятия решений для автономных роботов Rating: 0 out of 5 stars0 ratings
Related to Мивар
Related ebooks
Роль миваров в искусственном интеллекте Rating: 0 out of 5 stars0 ratingsМиварные системы принятия решений для автономных роботов Rating: 0 out of 5 stars0 ratingsРабота с BigData в облаках. Обработка и хранение данных с примерами из Microsoft Azure Rating: 0 out of 5 stars0 ratingsКвантово-устойчивый блокчейн Rating: 0 out of 5 stars0 ratingsСистемная и программная инженерия. Словарь-справочник Rating: 0 out of 5 stars0 ratingsРаспределенные системы. Паттерны проектирования Rating: 0 out of 5 stars0 ratingsМасштабируемые данные. Лучшие шаблоны высоконагруженных архитектур Rating: 0 out of 5 stars0 ratings40 алгоритмов, которые должен знать каждый программист на Python Rating: 0 out of 5 stars0 ratingsНаука о данных: Базовый курс Rating: 0 out of 5 stars0 ratingsЛокальные вычислительные сети : учебное пособие Rating: 0 out of 5 stars0 ratingsPython для сложных задач: наука о данных и машинное обучение Rating: 5 out of 5 stars5/5Measurement Studio: практика разработки систем измерения и управления на С# Rating: 0 out of 5 stars0 ratingsСоздаем динамические веб-сайты с помощью PHP, MySQL, JavaScript, CSS и HTML5. 5-е изд. Rating: 0 out of 5 stars0 ratingsUML. Проектирование систем реального времени, параллельных и распределенных приложений Rating: 0 out of 5 stars0 ratingsЦифровая схемотехника и архитектура компьютера: RISC-V Rating: 0 out of 5 stars0 ratingsПроектное управление в сфере информационных технологий Rating: 0 out of 5 stars0 ratingsLabVIEW: практический курс для инженеров и разработчиков Rating: 0 out of 5 stars0 ratingsSystem Design. Машинное обучение. Подготовка к сложному интервью Rating: 0 out of 5 stars0 ratingsИскусственный интеллект, аналитика и новые технологии Rating: 0 out of 5 stars0 ratingsРоман с Data Science. Как монетизировать большие данные Rating: 0 out of 5 stars0 ratingsПрограммное Обеспечение «Tamer» Математическая Модель Time’s Auto-Mathematical Exposure Ring Rating: 0 out of 5 stars0 ratingsПроектный менеджмент : практическое пособие Rating: 0 out of 5 stars0 ratingsGolang для профи: Создаем профессиональные утилиты, параллельные серверы и сервисы Rating: 0 out of 5 stars0 ratingsЧистая архитектура. Искусство разработки программного обеспечения Rating: 0 out of 5 stars0 ratingsСемь безопасных информационных технологий Rating: 0 out of 5 stars0 ratingsИТ Архитектура практическое руководство от А до Я Rating: 0 out of 5 stars0 ratingsC--. Практика многопоточного программирования Rating: 0 out of 5 stars0 ratingsKali Linux в действии. Аудит безопасности информационных систем. 2-е издание Rating: 0 out of 5 stars0 ratingsМашинное обучение и TensorFlow Rating: 0 out of 5 stars0 ratingsВеб-разработка с применением Node и Express: Полноценное использование стека JavaScript. 2-е издание Rating: 0 out of 5 stars0 ratings
Intelligence (AI) & Semantics For You
Клиентоцентричность: Отношения с потребителями в цифровую эпоху Rating: 0 out of 5 stars0 ratingsГрокаем алгоритмы искусcтвенного интеллекта Rating: 0 out of 5 stars0 ratingsКомпьютерное зрение. Теория и алгоритмы Rating: 0 out of 5 stars0 ratingsМонетизация ChatGPT — используйте возможности ИИ: Russian Rating: 0 out of 5 stars0 ratingsКак учится машина: Революция в области нейронных сетей и глубокого обучения Rating: 0 out of 5 stars0 ratingsГлубокое обучение с fastai и PyTorch: минимум формул, минимум кода, максимум эффективности Rating: 0 out of 5 stars0 ratingsИскусственный интеллект и компьютерное зрение. Реальные проекты на Python, Keras и TensorFlow Rating: 0 out of 5 stars0 ratingsСоздание приложений машинного обучения: от идеи к продукту Rating: 0 out of 5 stars0 ratingsГлубокое обучение на Python Rating: 0 out of 5 stars0 ratings
Reviews for Мивар
0 ratings0 reviews
Book preview
Мивар - Варламов, Олег Олегович
O.O. Варламов
Мивар: переход от продукций к двудольным миварным сетям и практическая реализация автоматического конструктора алгоритмов, управляемого потоком входных данных и обрабатывающего более трех миллионов правил
Варламов Олег Олегович, Московский автомобильно-дорожный государственный технический университет (МАДИ), Московский физико-технический институт (государственный университет) (МФТИ) (ovar@narod.ru; ovarlamov@gmail.com)
Аннотация
Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных-объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем.
На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем.
Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием Миварная активная энциклопедия
.
Ключевые слова: мивар, миварные сети, логический вывод, вычислительная сложность, искусственный интеллект, интеллектуальные системы, экспертные системы, представление знаний, продукционные системы, сети Петри, Универсальный решатель задач, интеллектуальные пакеты прикладных программ, логический вывод с линейной вычислительной сложностью.
Введение
Проблема создания интеллектуальных систем остается актуальной и практически значимой. Создание экспертных систем нового поколения позволит автоматизировать решение различных сложных интеллектуальных задач и повысит конкурентоспособность своих пользователей. Миварный подход позволил предложить новые модели и методы обработки информации и управления [1-22]. Миварные технологии накопления и обработки информации разрабатываются в России достаточно давно. Первые статьи были посвящены исследованию некоторых задач теории графов и разработке линейного матричного метода определения маршрута логического вывода на адаптивной сети правил [1-3]. Затем были работы по созданию миварного информационного пространства и эволюционных баз данных и правил [4-5]. Наиболее строгое формализованное и теоретическое оформление мивары получили в работах [6-7]. Затем были рассмотрены вопросы развития миваров [8-10] и их применения для создания различных тренажеров и обучающих систем [11-22]. Наиболее полно обзор теории и последних достижений миваров приведен в работах [4, 6, 10, 15, 18].
Будем понимать под системами искусственного интеллекта активные самообучающиеся логически рассуждающие системы. В прошлом веке были разработаны технологии создания экспертных систем по отдельным узконаправленным предметным областям. Это