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

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

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

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

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

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

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

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

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

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

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

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

Для каждого из нас не секрет, что наше личное время не то, которое отстукивают часы, а то, которое мы ощущаем внутренне, которое как бы встроено в наши мысли и чувства, ведет себя загадочно.

Оно не двигается равномерно, как стрелки по циферблату: оно то мчится, как гепард, то вдруг останавливается и зависает, как лемур.

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

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

Время тянется и тянется.

Люди гибнуть ие хотят.

С тихим криком - "Навсегданьица!" -

Никударики летят.

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

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

Несходство времени-длительности и времени-изобретения обсуждает в одной из недавних своих работ советский математик Ю. Шрейдер. "В сущности, - пишет он, - самое насыщенное время (отношение собственного времени к длительности) возникает в нормальной маленькой библиотеке, где читатель может долго и со вкусом рыться в книгах". Это замечание имеет прямое отношение к Искинту.

Память вычислительной машины легко набить до отказа фактами, организованными, скажем, в семантическую сеть. Умеем мы и организовать диалог человека с машиной. Как будет чувствовать себя человек во время такого диалога? - вот главный вопрос.

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

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

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

А впереди главное - события. До сих пор семантическая сеть вмещала только понятия, логику и время. Эта тройка хорошо рисует неподвижные картинки: семья расположилась в комнате и смотрит телевизор; хирург делает операцию, склонился над больным, в руке скальпель; поршни двигателя внутреннего сгорания заняли положение, соответствующее третьему такту его работы. Наша сеть справляется с ситуациями, но робеет пока перед событиями.