Мивар: Линейный логический вывод
Автор Варламов, Олег Олегович
()
Об этой электронной книге
Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем.
На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем.
Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием "Миварная активная энциклопедия".
Читать больше произведений Варламов, Олег Олегович
Роль миваров в искусственном интеллекте Рейтинг: 0 из 5 звезд0 оценокПрактикум по созданию миварных систем Рейтинг: 0 из 5 звезд0 оценокМиварный виртуальный консультант Рейтинг: 0 из 5 звезд0 оценокМиварное понимание смысла через концепты Рейтинг: 0 из 5 звезд0 оценокМивары: 25 лет создания искусственного интеллекта Рейтинг: 0 из 5 звезд0 оценокМиварные системы принятия решений для автономных роботов Рейтинг: 0 из 5 звезд0 оценокОсновы миварного подхода Рейтинг: 0 из 5 звезд0 оценок
Связано с Мивар
Похожие электронные книги
Миварные системы принятия решений для автономных роботов Рейтинг: 0 из 5 звезд0 оценокОсновы миварного подхода Рейтинг: 0 из 5 звезд0 оценокРабота с BigData в облаках. Обработка и хранение данных с примерами из Microsoft Azure Рейтинг: 0 из 5 звезд0 оценокКвантово-устойчивый блокчейн Рейтинг: 0 из 5 звезд0 оценокСистемная и программная инженерия. Словарь-справочник Рейтинг: 0 из 5 звезд0 оценокРаспределенные системы. Паттерны проектирования Рейтинг: 0 из 5 звезд0 оценокМасштабируемые данные. Лучшие шаблоны высоконагруженных архитектур Рейтинг: 0 из 5 звезд0 оценок40 алгоритмов, которые должен знать каждый программист на Python Рейтинг: 0 из 5 звезд0 оценокНаука о данных: Базовый курс Рейтинг: 0 из 5 звезд0 оценокЛокальные вычислительные сети : учебное пособие Рейтинг: 0 из 5 звезд0 оценокPython для сложных задач: наука о данных и машинное обучение Рейтинг: 5 из 5 звезд5/5Руби: 100 пакетов за час - Руководство 2024 года Рейтинг: 0 из 5 звезд0 оценокMeasurement Studio: практика разработки систем измерения и управления на С# Рейтинг: 0 из 5 звезд0 оценокСоздаем динамические веб-сайты с помощью PHP, MySQL, JavaScript, CSS и HTML5. 5-е изд. Рейтинг: 0 из 5 звезд0 оценокUML. Проектирование систем реального времени, параллельных и распределенных приложений Рейтинг: 0 из 5 звезд0 оценокЦифровая схемотехника и архитектура компьютера: RISC-V Рейтинг: 0 из 5 звезд0 оценокПроектное управление в сфере информационных технологий Рейтинг: 0 из 5 звезд0 оценокLabVIEW: практический курс для инженеров и разработчиков Рейтинг: 0 из 5 звезд0 оценокSystem Design. Машинное обучение. Подготовка к сложному интервью Рейтинг: 0 из 5 звезд0 оценокИскусственный интеллект, аналитика и новые технологии Рейтинг: 0 из 5 звезд0 оценокРоман с Data Science. Как монетизировать большие данные Рейтинг: 0 из 5 звезд0 оценокПрограммное Обеспечение «Tamer» Математическая Модель Time’s Auto-Mathematical Exposure Ring Рейтинг: 0 из 5 звезд0 оценокПроектный менеджмент : практическое пособие Рейтинг: 0 из 5 звезд0 оценокGolang для профи: Создаем профессиональные утилиты, параллельные серверы и сервисы Рейтинг: 0 из 5 звезд0 оценокЧистая архитектура. Искусство разработки программного обеспечения Рейтинг: 0 из 5 звезд0 оценокСемь безопасных информационных технологий Рейтинг: 0 из 5 звезд0 оценокИТ Архитектура практическое руководство от А до Я Рейтинг: 0 из 5 звезд0 оценокC--. Практика многопоточного программирования Рейтинг: 0 из 5 звезд0 оценокKali Linux в действии. Аудит безопасности информационных систем. 2-е издание Рейтинг: 0 из 5 звезд0 оценокМашинное обучение и TensorFlow Рейтинг: 0 из 5 звезд0 оценок
«Интеллект (искусственный) и семантика» для вас
Искусственный интеллект и компьютерное зрение. Реальные проекты на Python, Keras и TensorFlow Рейтинг: 0 из 5 звезд0 оценокКомпьютерное зрение. Теория и алгоритмы Рейтинг: 0 из 5 звезд0 оценокГлубокое обучение на Python Рейтинг: 0 из 5 звезд0 оценокГлубокое обучение с fastai и PyTorch: минимум формул, минимум кода, максимум эффективности Рейтинг: 0 из 5 звезд0 оценокМонетизация ChatGPT — используйте возможности ИИ: Russian Рейтинг: 0 из 5 звезд0 оценокКак учится машина: Революция в области нейронных сетей и глубокого обучения Рейтинг: 0 из 5 звезд0 оценокГрокаем алгоритмы искусcтвенного интеллекта Рейтинг: 0 из 5 звезд0 оценокКлиентоцентричность: Отношения с потребителями в цифровую эпоху Рейтинг: 0 из 5 звезд0 оценокСоздание приложений машинного обучения: от идеи к продукту Рейтинг: 0 из 5 звезд0 оценок
Отзывы о Мивар
0 оценок0 отзывов
Предварительный просмотр книги
Мивар - Варламов, Олег Олегович
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].
Будем понимать под системами искусственного интеллекта активные самообучающиеся логически рассуждающие системы. В прошлом веке были разработаны технологии создания экспертных систем по отдельным узконаправленным предметным областям. Это