Мивар: Линейный логический вывод - электронная книгаМивар: Линейный логический вывод  - обложка
Поделиться с друзьями:

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

Олег Варламов
Возраст 16+ 43 страницы1 часРусскийEPUB9785990338838

Описание

МИВАР: ПЕРЕХОД ОТ ПРОДУКЦИЙ К  ДВУДОЛЬНЫМ МИВАРНЫМ СЕТЯМ И ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ АВТОМАТИЧЕСКОГО КОНСТРУКТОРА АЛГОРИТМОВ, УПРАВЛЯЕМОГО ПОТОКОМ ВХОДНЫХ ДАННЫХ И ОБРАБАТЫВАЮЩЕГО БОЛЕЕ ТРЕХ МИЛЛИОНОВ ПРАВИЛ. Показан теоретический переход от однодольных продукционных систем к двудольным миварным логико-вычислительным сетям. Приведены  примеры реализации миварных сетей в формализмах матриц и графов. Теоретически обоснована линейная вычислительная сложность  автоматического конструирования алгоритмов из переменных объектов и правил-процедур миварных сетей. В качестве миварных правил могут быть использованы различные сервисы, модули и вычислительные процедуры. Автоматический конструктор алгоритмов может использоваться для поиска логического вывода в области создания экспертных систем.На основе миварных сетей создан программный комплекс УДАВ, который обрабатывает более 1,17 млн переменных и более 3,5 млн правил на обычных компьютерах и ноутбуках. Приведены результаты практических расчетов и решений различных прикладных задач, которые на практике подтверждают линейную вычислительную сложность конструирования алгоритмов в формализме миварных сетей. Программный комплекс УДАВ используется как для решения логических, так и вычислительных задач. Приведены сведения о практической реализации нескольких миварных экспертных систем.Миварные сети позволяют перейти к новому поколению экспертных систем и интеллектуальных пакетов прикладных программ. Миварный подход позволил на практике создать автоматические обучаемые эволюционные активные логически рассуждающие информационные системы. В перспективе на основе миварных сетей будет создана глобальная мультипредметная активная экспертная система под названием Миварная активная энциклопедия.

Интернет-издательство "Aegitas"
Электронное издательство Aegitas предлагает услуги по созданию электронных книг. Интернет издательство Aegitas имеет большой опыт публикации и продвижения электронных книг.
Россия
Москва
Зубовский бульвар, 4
+7 (495) 118-36-03
mail@aegitas.ru
Логотип издательства

Логотип издательства