Искусственный разум - [47]
"Является ли индеец лордом?" - пытаем мы сеть. Ответ снова "нет", хотя и по другой причине. "Индеец" и "лорд" порознь связаны отношением "является частью" с понятием "человек", оба они люди, но на этом сходство кончается, начинаются суровые различия - географические, государственные, расовые; рассматривать их все нет резона, достаточно и одного различия, чтобы вывести индейца из аристократической палаты лордов.
Однородная сеть скора на решения, зато слаба в описаниях. Мало у нее выразительных средств. Включить в сеть понятия и их характеристики - только нанести карандашом контуры мира. Цвет и объем отсутствуют. Цвет, объем, полноту изображения мира мы получим, если сеть охватит логику, время и действия.
Условия задач для ЛЮБОЗАРа и многих других программ излагались на языке исчисления предикатов, компактном и удобном логическом языке. Удастся ли сопрячь его с семантической сетью? Например, включить в сеть следующий факт: "Этого полицейского кусают все собаки в городе" (на языке логики: "Существует такой полицейский, и он живет в городе, что каждая из собак, живущих в том же городе, укусила его хотя бы один раз"). Трудность восприятия сетью этого факта в том, что его описание содержит слова "существует" и "каждый", священные для исчисления предикатов слова. Их благоговейно называют кванторами и обозначают заглавными перевернутыми буквами: ∃ и ∀. У кванторов, как у местных властей, своя область подчинения: ∃ выхватывает одно понятие из целого круга; ∀, наоборот, распространяет все влияние на все понятия в определенной области.
Неприятности начинаются тогда, когда в семантической сети оказывается много кванторов, когда происходит пересечение сфер их влияния, областей действия кванторов. Скажем, в понятие "собака" незаконно включается признак "имеет оружие револьвер", а в понятие "полицейский" - признак "число ног четыре". Возникает путаница, кавардак вместо логической строгости и сетевой четкости.
Чтобы восстановить порядок, недавно придуман способ деления семантической сети на автономные области, в каждой из которых владыка - данный квантор и отношения между которыми регулируются особыми правилами. Логические переменные, логические связки и кванторы - все население математической логики - получили доступ в семантическую сеть.
Логика у нас в сетке; на очереди - время. Описывая мир, приходится говорить о его прошлом, настоящем и будущем. В реальной жизни, точнее, в рассказах о жизни, времена могут смещаться, пересекаться, спутывая все "до" и "после", все "сначала" и "потом".
Придуманы довольно тонкие приемы, чтобы вплести время в семантическую сеть, чтобы отделить предполагаемое время от действительного, обязательные интервалы от желательных, физическое время от психологического.
Для каждого из нас не секрет, что наше личное время не то, которое отстукивают часы, а то, которое мы ощущаем внутренне, которое как бы встроено в наши мысли и чувства, ведет себя загадочно.
Оно не двигается равномерно, как стрелки по циферблату: оно то мчится, как гепард, то вдруг останавливается и зависает, как лемур.
- День прошел, а я и не заметил! - говорит человек, погруженный в любимое дело.
- День тянется, конца ему нет! Не знаю, как убить время, - говорит другой, и по скучному выражению лица видно, что его психологическое время вправду остановилось, что каждое мгновение растягивается до бесконечности, как у С. Кирсанова:
Время тянется и тянется.
Люди гибнуть ие хотят.
С тихим криком - "Навсегданьица!" -
Никударики летят.
Неподвижно летят эти никударики, пока не вспыхнет интерес, увлеченность, неожиданность, риск. Тогда психологические часы срываются с места, тогда несутся они вдоль тракта напропалую, подобно екатерининскому курьеру, шпага которого, если верить его словам, отбивала дробь по верстовым столбам.
Психологическое время зависит от числа свободных, непринужденных решений-выборов, которые принимает человек в единицу физического времени, например в час. Читая увлекательную книгу, мы по своей воле втягиваемся в решения-выборы героев книги, мы выбираем решения вместе с ними, даже за них, - и собственное наше время растет, вмещая в себя всю жизнь героев.
Несходство времени-длительности и времени-изобретения обсуждает в одной из недавних своих работ советский математик Ю. Шрейдер. "В сущности, - пишет он, - самое насыщенное время (отношение собственного времени к длительности) возникает в нормальной маленькой библиотеке, где читатель может долго и со вкусом рыться в книгах". Это замечание имеет прямое отношение к Искинту.
Память вычислительной машины легко набить до отказа фактами, организованными, скажем, в семантическую сеть. Умеем мы и организовать диалог человека с машиной. Как будет чувствовать себя человек во время такого диалога? - вот главный вопрос.
Если из-за размеренности, тупости и узости машины время станет для человека нескончаемо тянуться, то он прервет диалог, пренебрежет компьютерным всезнайством и пойдет советоваться к другу, который меньше знает, да лучше понимает собеседника.
