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

Введение

Миварный подход относится к научному направлению "искусственный интеллект" и развивается уже около 25 лет. Вместе с тем, миварный подход объединяет и другие научные области компьютерных наук, информатики и дискретной математики, включая: базы данных, экспертные системы, системы логического вывода на основе развития продукций, теорию графов, матрицы, параллельное выполнение программ на кластерах, проектирование новых архитектур компьютеров, массовое суммирование чисел, техническую защиту информации и информационную безопасность, гносеологию (частично и в плане создания новой наиболее мощной модели данных на основе "тройки" "вещь-свойство-отношение"), сервисно-ориентированные архитектуры, компьютерные сети, информационные инфраструктуры, теоретическую робототехнику, многоагентные системы и некоторые другие. Напомним, что по классике в компьютерных науках (информатике) выделяют 5 основных видов действий:

1) сбор (получение, ввод, создание);

2) накопление (хранение);

3) передача;

4) обработка и

5) представление информации.

С точки зрения искусственного интеллекта (ИИ), первый и пятый пункты отражают взаимодействие с внешней средой. Существует модель [72, 229], которая обобщает и показывает единство процессов накопления и передачи информации. Совсем кратко, суть такого подхода в том, что выделяют три основных сущности: отправитель информации, время передачи информации и получатель информации. Тогда, в зависимости от того, кто кому и за какое время передает информацию, единообразно описываются и хранение информации (передача самому себе за длительное время), и передача информации (отправитель и получатель разные, а время передачи мало), и другие возможные комбинации. Таким образом, получаем, что самыми важными для внутреннего развития ИИ являются два основных действия: обработка и накопление информации.

Миварный подход объединяет две основные технологии накопления данных и обработки информации:

1) миварное информационное пространство: накопление данных на основе эволюционной самоорганизующейся миварной модели данных с изменяющейся структурой в теории баз данных, и

2) миварные сети: обработка информации на основе развития продукционного подхода к логическому выводу с учетом включения возможности автоматического конструирования алгоритмов для "решателей задач" и традиционной вычислительной обработки, а также с использованием идей отношений, правил и процедур, которые теперь принято относить к сервисно-ориентированным архитектурам и многоагентным системам.

Суть миварного подхода в объединении баз данных и систем логико-вычислительной обработки в единые эволюционно развивающиеся системы, позволяющие собрать воедино все различные научные разработки на основе сервисно-ориентированных архитектур и технологий интеллектуальных агентов – многоагентных систем. Про такое возможное объединение писали очень многие ученые [1-23, 46-126, 134-137, 226, 245, 264, 273, 450-525] и теперь, с появлением миварного подхода, это становится реальностью. Ранее в наших работах было показано [46-126, 303, 354-355, 503-504], что такое миварное объединение позволит создать глобальные самоорганизующиеся программно-аппаратные комплексы с эволюционной структурой для познающе-диагностических систем, экспертных систем и систем оперативной диагностики.

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

Миварная модель данных является более мощной, чем модель "сущность-связь" (ER-модель), и поэтому позволяет описывать и объединить в своем формализме все традиционные структурные и бесструктурные модели данных, включая семантические сети, онтологии и гипертекст. Реляционные таблицы представляются в многомерном миварном пространстве в виде двумерных таблиц, объединяемых в трехмерное пространство с возможностью и дальнейшего наращивания измерений. Сетевые модели, семантические сети и онтологии представляются в миварном пространстве в виде неких графов, помещенных в дискретное многомерное пространство, что также только усиливает возможности подобных сетевых моделей. В книге Варламова О.О. [72] подробно в виде формул и цифр показано подобное представление и возможность перехода из одного представления данных в другое через миварное пространство или одномерные таблицы представления данных, которые являются упрощением миварного представления. Более того, миварное пространство основано именно на том факте, что пользователи могут одновременно использовать различные модели данных, от реляционных и гипертекстовых, постепенно вводя все больше структурированности и переходя к сетевым, семантическим сетям и онтологиям, а уже через них – далее к миварному пространству. Миварное пространство по самой своей сути является эволюционным и предназначено для изменения структур хранения данных и перехода к разным моделям!!!

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

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

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

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

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

Несмотря на достаточно большое количество научных работ [46-126], в настоящее время все еще очень сильно разделяются мнения российских ученых о миварах. Доходит до крайностей: от заявлений, что научной общественности это направление не известно, до признания новой научной школы и даже классичности миварных технологий. Этому есть несколько объяснений. Достаточно долгое время мы развивали миварные технологии в узком кругу специалистов, имеющих допуск к определенным работам. Но, начиная с 2002 года, после разработки и подтверждения работоспособности наших теорий на практике (и выходе за пределы одной предметной области), количество наших публикаций резко возросло. По своей сути миварные технологии являются очень простыми и понятными, что подтверждает наш опыт преподавания дискретной математики студентам московских вузов.

Разнообразие материала в этой книге объясняется достаточной универсальностью миварного подхода и возможностью его применения к очень разным областям. В книге Варламова О.О. [72] изложены теоретические основы миварного подхода, которые за прошедшее время получили свое подтверждение и практическое развитие в различных предметных областях.

Необходимо отдельно подчеркнуть, что необходимо помнить и о том, что кроме положительной стороны стремительного развития информатики и искусственного интеллекта есть и обратная сторона медали. К отрицательным сторонам ИИ можно отнести многие проблемы информационной безопасности и технической защиты информации. Поэтому этим вопросам также уделено внимание в данной работе. Есть и другие потенциальные отрицательные последствия, о которых достаточно широко известно по катастрофическим прогнозам фантастов и режиссеров кино, включая фильмы "Терминатор", "Матрица" и т.п. Как бы скептически ни относиться к такому роду прогнозам, но учитывать и исследовать такие последствия необходимо заранее. В работе предложено ввести три уровня исследований в области ИИ, на одном из которых (третьем) и должны проводиться исследования отрицательных последствий и разработка предложений по их недопущению.

Отметим, что помимо хорошо известной всем основной задачи ИИ, как заставить машину думать, существует и малоизвестная обратная задача, которая в шутливой манере формулируется так: "как заставить человека НЕ думать, а выполнять приказы". Как известно, в каждой шутке есть доля истины, но данные вопросы относятся к области психологии и не рассматриваются в нашей работе. Хотя надо помнить, что одно из направлений области ИИ – моделирование человеческого мышления, позволит успешно решить и эту грустную задачу.

Итоги дискуссий и разнообразных Круглых столов на научных конференциях однозначно показывают, что многие ученые понимают как важность и необходимость, так и возможные различные последствия создания ИИ. Здесь будет уместно обратиться к одному интересному вопросу: создан ли уже ИИ?

В настоящее время (2010 год) ответы на этот вопрос прямо противоположны: от категоричного отрицания самой возможности создания ИИ, до утверждений, что он уже создан. С нашей точки зрения, этот вопрос неявно подразумевает необходимость введения шкалы измерений интеллектуальности различных систем. Эти вопросы поднимались нами еще в [72] при обосновании необходимости перехода от ИИ к "Теории активного отражения". Постепенно данное положение находит все большую поддержку у научного сообщества, т.к. только такой подход позволяет свести споры о создании ИИ к единой базе, шкале и точке отсчета.

Как известно, изначально область ИИ занималась автоматизацией разумной деятельности человека. На наш взгляд, все западные компьютерные науки и российская информатика также направлены на это. По мере развития достижений ИИ компьютерам передавалось все большее количество функций и возможностей. Говоря компьютеры, мы подразумеваем и программы, и аппаратные устройства, которые все создаются человеком. При этом наблюдается забавная закономерность: как только программистам удавалось создать новую автоматическую систему решения творческих человеческих задач, так сразу же находились ученые, которые переводили эту задачу в разряд НЕтворческих. И опять продолжали утверждать, что ИИ не существует. За последние 50 лет развития компьютеров осталось не так уж много задач, которые люди решают все еще лучше, чем компьютеры. С нашей точки зрения, компромисс возможен при следующих условиях:

1) широкое признание того, что область ИИ и сам ИИ – это усилитель человеческих мыслительных возможностей, помощник, и он нужен, прежде всего, для автоматизации различных функций при работе с информацией;

2) возможности введения некой шкалы автоматизации, активности или интеллектуальности человеко-машинных систем;

3) признания того, что некие достаточно простые формы усиления мышления или его автоматизации уже созданы, т.е. некие прототипы ИИ уже существуют: новое поколение двадцатилетних студентов уже не мыслит своей жизни без компьютеров, которые в любом случае уже создают преимущества для своих хозяев по сравнению с людьми без компьютеров;

4) остается вопрос и проблема создания полностью автоматического ИИ, который по своим возможностям будет превосходить как "типового" человека, так и самого умного – это традиционная трактовка противников возможности создания полноценного ИИ, которая остается для дальнейших исследований;

5) возможно, что с этим еще не все согласятся, но, на наш взгляд, уже совершен переход от гомо сапиенса к гомо сапиенсу с компьютером – "гомо компьютерусу". Вполне возможно, что именно следующей ступенью развития человека и будет полноценный ИИ, возможность создания которого еще находится под вопросом.

Существует грустная шутка, что новые идеи получают одобрение и развитие по мере вымирания предыдущего поколения ученых. С учетом улучшения условий жизни, увеличения ее продолжительности и ускорения прогресса в области ИИ, очень хочется надеяться, что новые идеи будут приживаться и активно внедряться еще при предыдущих поколениях ученых и при их одобрении (ну хотя бы при молчаливом непротивлении; – ))) ). Как бы не относится к технологиям компьютерных наук и ИИ, но всеми серьезными учеными признается такой факт: создание ИИ – это может быть страшнее и гораздо хуже ядерной бомбы. Может исчезнуть как все человечество, так и "только" отдельные страны… Оставаясь оптимистами, но реально учитывая худшее, продолжим исследования по созданию ИИ; – ))).

Разделы 1, 2 и 7 данной монографии написаны Варламовым О.О. Раздел 3 написан Санду Р.А. Остальные разделы монографии написаны авторами совместно.

Кроме того, разделы 5.9.3, 6.5.1, 6.5.2, 6.5.3 и 7.5 данной монографии написаны авторами вместе с Сергушиным Г.С. Разделы 1.5, 2.1, 2.3, 7.1.1, 7.1.3, 7.1.7, 7.2.1, 7.2.3, 7.2.4 и 7.5 данной монографии написаны авторами вместе с Васюговой С.А. Разделы 7.2.1, 7.2.2, 7.2.3, 7.2.4 и 7.5 данной монографии написаны авторами вместе с Белоусовой А.И. Раздел 2.5 оформлен рисунками Варламовой Л.О.

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

Спасибо!

1. Мивары и искусственный интеллект

1.2. Для каких систем создан миварный подход

Практика общения с коллегами на научных конференциях и дискуссиях показала, что необходимо сразу и четко формулировать, для каких систем был создан миварный подход. Дело в том, что, по признанию многих авторитетных ученых, их работы направлены на решение "игрушечных задач" с очень ограничивающими требованиями, например: замкнутость описания предметной области, не более 20-30 логических правил и т.п. На ранних этапах исследований такие постановки имели право на жизнь. Но миварный подход создавался для принципиально других систем, которые можно кратко называть глобальными познающе-диагностическими системами реального времени. По указанным выше примерам, для миварного подхода сразу было поставлено условие работы с открытыми и достаточно большими предметными областями, где счет логическим правилам идет на десятки тысяч. При этом стоит отметить, что были практически сняты ограничения на вычислительные ресурсы и прочие материальные ограничения, т.к. стояла задача оценки определения предельных возможностей таких систем.

Глобальные познающе-диагностические системы (ГПДС) должны решать задачу мониторинга и прогнозирования сложной предметной области. Обобщенная схема таких систем показана на рисунке 1.

Рисунок 1 – Схема познающе-диагностических систем реального времени

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