Мивар: Линейный логический вывод
Автор Варламов, Олег Олегович
()
Об этой электронной книге
Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем.
На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем.
Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием "Миварная активная энциклопедия".
Читать больше произведений Варламов, Олег Олегович
Миварные системы принятия решений для автономных роботов Рейтинг: 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 оценокМиварный виртуальный консультант Рейтинг: 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 оценок
«Интеллект (искусственный) и семантика» для вас
Грокаем алгоритмы искусcтвенного интеллекта Рейтинг: 0 из 5 звезд0 оценокМонетизация ChatGPT — используйте возможности ИИ: Russian Рейтинг: 0 из 5 звезд0 оценокКомпьютерное зрение. Теория и алгоритмы Рейтинг: 0 из 5 звезд0 оценокГлубокое обучение на Python Рейтинг: 0 из 5 звезд0 оценокИскусственный интеллект и компьютерное зрение. Реальные проекты на Python, Keras и TensorFlow Рейтинг: 0 из 5 звезд0 оценокСоздание приложений машинного обучения: от идеи к продукту Рейтинг: 0 из 5 звезд0 оценокКак учится машина: Революция в области нейронных сетей и глубокого обучения Рейтинг: 0 из 5 звезд0 оценокГлубокое обучение с fastai и PyTorch: минимум формул, минимум кода, максимум эффективности Рейтинг: 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].
Будем понимать под системами искусственного интеллекта активные самообучающиеся логически рассуждающие системы. В прошлом веке были разработаны технологии создания экспертных систем по отдельным узконаправленным предметным областям. Это