Тщетные жалобы; материал книги вышел из-под контроля автора. Диалог прорывался на эти страницы, еще когда речь шла о программе УЧЕНИК, он требовал подробного рассказа о себе, когда мы обсуждали систему доказательства теорем, и наконец объявился здесь, "как незаконная комета в кругу рассчитанных светил". Нам остается только смириться. Что ж, пронумеруем шаги диалога (шаг состоит из вопроса и ответа) и попробуем обсудить некоторые его любопытные черты.
Начнем с шага 3. Наша хозяйка пожелала делать беляши. ДУНЯ, прежде чем отозваться, проверяет, являются ли беляши пирожками, то есть на формальном языке:
? беляш -> (входит в состав) -> пирожки.
Способов проверки, естественно, два: или начать с понятия "беляш" и обратиться к спискам-рецептам, авось беляши относятся к образцам, или начать с понятия "пирожки" и просмотреть списки, содержащие их перечень, авось там среди прочих содержатся беляши.
В нашем случае к успеху привел путь "от беляшей". ДУНЯ убедилась: беляши - это пирожки, и сразу получила из семантической сети сведения об их начинке.
Если бы хозяйка сообщила, что она хочет делать хин-кали, а не беляши, тогда ДУНЕ пришлось бы испытать запись:
? хинкали -> (входит в состав) -*- пирожки с обеих сторон. Оба испытания не обнаруживают согласия между двумя понятиями. ДУНЯ, когда так случается, честно признается: "Я не знаю, являются ли хинкали пирожками". Ее поведение похоже на поведение человека.
Шаг 5 диалога. Теперь хозяйка предлагает в качестве начинки вермишель. Машина вежливо отвергает вермишель. Она опирается на списки продуктов, входящие в семантическую сеть, просматривает все продукты, пригодные для начинки. Вермишели среди них не оказывается.
Означает ли это, что вермишель вовсе не пригодна для начинки пирожков. Да, если набор начинок, включенных в сеть, полный и исчерпывающий. Однако сделать набор полным трудно. Бывают пирожки с орехами, с вишней, с вязигой, с репой, с брынзой, с печенкой, с маком, с яблоками, с самыми диковинными начинками - смесями, попробуй, назови их все.
В семантическую сеть включаются только основные, "чистые", начинки и лишь некоторые смеси. В остальном ДУНЯ копирует рассуждения обычного человека.
Если среднего человека, невеликого знатока географии, спросить, является ли Донецк портом, он станет рассуждать примерно так: "Видимо, речь идет о любых портах - и морских и речных. Я знаю другие, менее важные, чем Донецк, города, являющиеся портами. Если б Донецк был портом, я бы что-нибудь об этом слышал. Скорее всего Донецк не порт!"
