Алексей Чачко - Искусственный разум

В главе "Пойди туда, сам не знаю куда" мы обсуждали порождающую грамматику - с ее помощью ребенок быстро овладевал родным языком. Предложенная Н. Хомским, эта грамматика носила сугубо теоретический характер.

Д. Поспелов и Ю. Клыков смело перенесли идею Хомского из лингвистической теории в пекло морской практики. Они добавили к своей сети сразу три грамматики: одна разворачивает ситуации во всем их своеобразии, другая обобщает их, собирая в классы, а третья находит должные, осуществимые на практике, действия.

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

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

"Пора, - говорит Д. Поспелов, - давно пора отказаться от трактовки человеческих решений как движений по лабиринту. Мол, открывается множество различных коридоров - возможностей, а человек блуждает по ним в поисках выхода. Так не поступает даже кольчатый червь, не то что человек. И у червя имеется, пусть примитивная, но модель окружающего мира".

Для Искинта модель мира - основа решения и действий. Специалисты стремятся вместить в семантические сети самые разнообразные вещи. Когда смысловое разнообразие сети умеренное, тогда работа с нею проста и прозрачна.

"Является ли трамвай желанием?" - спрашиваем мы. И получаем ответ "нет", ибо понятия "трамвай" и "желание" не связаны друг с другом, существуют раздельно, не пересекаются.

"Является ли индеец лордом?" - пытаем мы сеть. Ответ снова "нет", хотя и по другой причине. "Индеец" и "лорд" порознь связаны отношением "является частью" с понятием "человек", оба они люди, но на этом сходство кончается, начинаются суровые различия - географические, государственные, расовые; рассматривать их все нет резона, достаточно и одного различия, чтобы вывести индейца из аристократической палаты лордов.

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

Условия задач для ЛЮБОЗАРа и многих других программ излагались на языке исчисления предикатов, компактном и удобном логическом языке. Удастся ли сопрячь его с семантической сетью? Например, включить в сеть следующий факт: "Этого полицейского кусают все собаки в городе" (на языке логики: "Существует такой полицейский, и он живет в городе, что каждая из собак, живущих в том же городе, укусила его хотя бы один раз"). Трудность восприятия сетью этого факта в том, что его описание содержит слова "существует" и "каждый", священные для исчисления предикатов слова. Их благоговейно называют кванторами и обозначают заглавными перевернутыми буквами: ∃ и ∀. У кванторов, как у местных властей, своя область подчинения: ∃ выхватывает одно понятие из целого круга; ∀, наоборот, распространяет все влияние на все понятия в определенной области.

Собаки, кусающие полицейского

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

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