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

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

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

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

До свидания, 20 век – век исчисления предикатов, реляционных и объектно-ориентированных баз данных. Здравствуй, 21 век – век развития баз данных и продукционных систем до миварных баз данных и правил, многоагентных интеллектуальных систем и сервисно-ориентированных архитектур! Конечно, перечислены далеко не все технологии, но в ближайшее время состоится объединение различных очень сильно сегментированных научных направлений в компьютерных науках в нечто единое. А миварные технологии сыграют в этом важную, а, возможно, и решающую роль. Даже если их, по западной традиции откроют заново и будут называть другими словами и терминами; – )!