Мивары: 25 лет создания искусственного интеллекта - [2]

Миварные сети основаны на продукционном подходе "если, то…" с переходом к более сложной структуре правил с предусловиями, условиями, ограничениями, действиями и последействиями. Это позволяет записывать все причинно-следственные отношения, включая и все возможные формы предикатов и т.п. логических выражений. Мы не отрицаем значение предикатов и поиска истинных выражений, а только создаем возможность и для их реализации, и для реализации всех возможных других представлений правил в виде: сервисов, процедур, продукций, подпрограмм и т.п. Такой подход позволяет работать одновременно с разными описаниями предметных областей, прибавляя к предикатам и продукции, и нейросети, и генетические алгоритмы, и традиционные вычислительные процедуры, и все другие в виде универсальных миварных отношений, которые представляются и хранятся перед обработкой в нашем миварном пространстве. Мы создаем разнообразие представлений и разных подходов к решению задач для самых различных предметных областей. Миварный подход изначально является очень хорошо распараллеливаемым и может работать в ГРИД-системах, компьютерных сетях и на многопроцессорных вычислительных комплексах. Это все реализация традиционных подходов в едином формализме миварных сетей. Здесь важно подчеркнуть, что знания в виде процедур, правил и отношений хранятся вместе с фактами в едином миварном пространстве – больше нет противоречий между базами данных и базами знаний, т.к. они красиво объединены в эволюционном миварном пространстве. Это касается ХРАНЕНИЯ данных и правил в едином формате. Но, кроме хранения, миварное пространство позволяет проводить и ОБРАБОТКУ информации в миварных сетях, которые фактически реализуют отношения из классической миварной "тройки" "вещь-свойство-отношение". А значит, больше нет противоречий и между хранением и обработкой информации!!!

Однако для решения реальных задач важна и форма представления знаний, т.к. разные формы позволяют с разной вычислительной сложностью и достоверностью решать одни и те же задачи. Как уже неоднократно подчеркивалось, миварный подход разрешает в своем формализме реализовывать все традиционные виды обработки. Но, при этом, он же предлагает и новые возможности… Сейчас уже никто не пойдет пешком из Москвы во Владивосток, хотя такая возможность для любителей и фанатов исчисления предикатов все еще сохраняется; – )! Если вам нравится исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами. Однако миварные сети предоставляют возможность сменить само представление графов, включая и многодольные и т.п., перевести их в матрицы, включая многомерные бинарные, и, если это получилось, то решать задачи с линейной вычислительной сложностью. Любители исчисления предикатов могут называть логический вывод в таких матрицах автоматическим конструированием алгоритмов, но суть от этого не изменится: линейная сложность и решение реальных задач с десятками тысяч правил и объектов, а также возможность параллельных решений и подключения новых возможностей: сервисов, правил, процедур, нейроподпрограмм, генетических и т.п. модулей, ГРИД-технологий, облачных вычислений, агентов и т.п. Мивары ничего не запрещают и не отвергают, а наоборот позволяют решать комплексные задачи различными методами, включая: предикатные, продукционные, нейроматематические, генетические, нечеткие, вероятностные и прочие методы работы как с полной, так и с неполной и противоречивой информацией. Более того, мивары позволяют одновременно решать одну задачу разными методами и на разных моделях, позволяя выбрать наиболее адекватное решение в заданные сроки и с необходимой точностью. Это новый МИВАРНЫЙ глобальный подход к одновременному решению многих реальных задач на разных моделях параллельно и в реальном времени на основе компьютерных сетей и кластеров с "облаками".

Миварный подход разрабатывается для создания глобальных информационных систем, принципиально открытых для постоянного наполнения новыми данными, с возможностью быстрой обработки и получения требуемых результатов для реальных ("интересных") задач. Некоторые миварные технологии позволяют гораздо быстрее обрабатывать информацию, например, сводя вычислительную сложность отдельных логических задач при определенных условиях и ограничениях c NP-полной до линейной. Как бы это не звучало фантастически на первый взгляд, но уже созданы несколько прототипов программ, основанных на движке "УДАВ", которые на практике реализуют этот подход и доказывают реальность внедрения миварного подхода и нашу правоту. Это утверждение не следует понимать дословно так, что мы решили NP-полную задачу с линейной вычислительной сложностью. Мы претендуем только на то, что решили некоторый класс задач в миварном представлении, в определенных условиях и с учетом ограничений с линейной вычислительной сложностью, т.е. именно эти задачи не могут более считаться NP-полными.

Более того, мы считаем, что миварный подход путем теоретического обобщения, синтеза и развития всех основных достижений компьютерных наук в базах данных и в базах знаний, объединяемых в единые миварные базы данных и правил, уже позволил создать эволюционный прототип глобальной активной обучаемой логически рассуждающей автоматической системы, способной решать логико-вычислительные задачи с несколькими десятками тысяч правил и объектов в реальном времени для неограниченного количества динамически изменяющихся предметных областей.