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

Тщетные жалобы; материал книги вышел из-под контроля автора. Диалог прорывался на эти страницы, еще когда речь шла о программе УЧЕНИК, он требовал подробного рассказа о себе, когда мы обсуждали систему доказательства теорем, и наконец объявился здесь, "как незаконная комета в кругу рассчитанных светил". Нам остается только смириться. Что ж, пронумеруем шаги диалога (шаг состоит из вопроса и ответа) и попробуем обсудить некоторые его любопытные черты.

Начнем с шага 3. Наша хозяйка пожелала делать беляши. ДУНЯ, прежде чем отозваться, проверяет, являются ли беляши пирожками, то есть на формальном языке:

? беляш -> (входит в состав) -> пирожки.

Способов проверки, естественно, два: или начать с понятия "беляш" и обратиться к спискам-рецептам, авось беляши относятся к образцам, или начать с понятия "пирожки" и просмотреть списки, содержащие их перечень, авось там среди прочих содержатся беляши.

В нашем случае к успеху привел путь "от беляшей". ДУНЯ убедилась: беляши - это пирожки, и сразу получила из семантической сети сведения об их начинке.

Если бы хозяйка сообщила, что она хочет делать хин-кали, а не беляши, тогда ДУНЕ пришлось бы испытать запись:

? хинкали -> (входит в состав) -*- пирожки с обеих сторон. Оба испытания не обнаруживают согласия между двумя понятиями. ДУНЯ, когда так случается, честно признается: "Я не знаю, являются ли хинкали пирожками". Ее поведение похоже на поведение человека.

Шаг 5 диалога. Теперь хозяйка предлагает в качестве начинки вермишель. Машина вежливо отвергает вермишель. Она опирается на списки продуктов, входящие в семантическую сеть, просматривает все продукты, пригодные для начинки. Вермишели среди них не оказывается.

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

В семантическую сеть включаются только основные, "чистые", начинки и лишь некоторые смеси. В остальном ДУНЯ копирует рассуждения обычного человека.

Если среднего человека, невеликого знатока географии, спросить, является ли Донецк портом, он станет рассуждать примерно так: "Видимо, речь идет о любых портах - и морских и речных. Я знаю другие, менее важные, чем Донецк, города, являющиеся портами. Если б Донецк был портом, я бы что-нибудь об этом слышал. Скорее всего Донецк не порт!"

Аналогично ДУНЯ решает, что скорее всего вермишель не начинка, и просит хозяйку выбрать что-нибудь подходящее. Шаг 14 диалога подтверждает сообразительность ДУР1И.

Хозяйка призналась, что у нее. нет скалки для разделки теста. ДУНЯ посоветовала выход из положения - использовать бутылку. Совет достался ей почти даром: в списки семантической сети, относящиеся к кухонным приборам, входит отношение имеет заместителем; для противня, помните, заменой была сковородка, а для скалки припасена бутылка. Если бы ДУНЯ не нашла заместителя, она отделалась бы стандартной репликой:

"Пожалуйста, одолжите его (ее) у соседки - иначе дело не пойдет!"

Наше обсуждение диалога ДУНИ с хозяйкой показало, как разнообразно используется семантическая сеть в оценках и выводах программы. Если б была возможность посмотреть не один, а хотя бы с полдесятка протоколов диалога, впечатление оказалось бы гораздо более сильным: ДУНЯ утюжит свою сеть вдоль и поперек, напролет и от факта к факту, не торопясь.

Самым удивительным, однако, является не интенсивность движения по сети, а способы этого движения. ДУНЕ свойственна оригинальная, еще не встречавшаяся нам, манера вывода. ДУНЯ обладает негативной логикой.

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

Они не капризные и не упрямые, эти "нет", они полезные, работящие, благодетельные. Они поглощают пустые альтернативы, как фагоциты микробов, они избавляют ДУНЮ от лишней работы и берут на себя ответственность за сомнительные случаи.

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