Искусственный разум

"Вы просто пускаете людям пыль в глаза!" - сказал, выступая на семинаре по семантическим вопросам искусственного интеллекта, инженер из Рязани. "Вы, - продолжал он, - берете игрушечные, пустяковые, но броские, но бьющие на эффект задачи и показываете, как решает их вычислительная машина. Все в восторге, а вы, пользуясь попутным ветром, утверждаете: и другие серьезные проблемы тоже, мол, таковы... в принципе. Мы их вам решим... через 10 лет... в принципе. Ходжа Насреддин тоже брался обучить ишака шаха человеческому языку через 10 лет, рассчитывая, что или шах умрет, или ишак умрет. А вы на что надеетесь?"

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

Я, конечно, знал оправдания этому, данные одним из талантливейших исследователей в области Искинта, Марвином Минским: "Игры и математические задачи берутся не потому, что они просты и ясны, а потому что они при минимальных начальных структурах дают нам наибольшую сложность, так что мы можем заниматься* некоторыми действительно трудными ситуациями".

Легко было бы ошеломить рязанца "минимальными начальными структурами", но, по сути говоря, их он и критикует. По правде говоря, с их помощью Искинт отворачивается от реального мира, чтобы колдовать в лаборатории над способами решения задач.

"В Рязани грибы с глазами, их едят, а они глядят". Рязанский инженер смотрел в самую суть: без широких и глубоких знаний о реальном мире Искинт действительно глупее насреддиновского ишака. Ему жизненно необходимы описания внешнего мира, пригодные для ЭВМ.

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

Их немного, родственных отношений: быть сыном (дочерью), или братом (сестрой), или мужем (женой), или отцом (матерью); на основе этих отношений можно исчислить различные степени косвенного родства, определить, кто такие золовка, шурин или деверь.

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

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

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

Конкретности ради не станем мы пока заниматься необъятным мирозданием или огромным миром человеческих чувств, а выберем мир малый, обозримый и рукотворный. Давайте изобретать интеллектуальную программу, этакого Личного Помощника, готового дать нам совет в трудных жизненных обстоятельствах. Поскольку трудных жизненных обстоятельств тоже немало, пусть наш Личный Помощник будет сведущ только в кулинарии, пусть дает нам советы, как из подручных продуктов быстро приготовить вкусную и здоровую пищу. К сожалению, и мир кулинарии слишком обширен для подробного его обсуждения здесь; сузим задачу Личного Помощника: пусть он способствует приготовлению домашних пирожков. (От универсума до пирожков - вот как сократился наш мир, вот насколько пришлось умерить свои аппетиты. Зато теперь можно надеяться на подробности, можно рассчитывать на конкретные пирожки.)

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

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

мука -> (является частью) -> тесто. Что еще необходимо знать про муку? Она должна быть белой, первого или высшего сорта и сухой. Хорошая хозяйка перед приготовлением теста ее просеивает. Эти немудреные сведения изложим по всей форме: мука -> (имеет цвет) -> белая [сорт первый или сорт высший],

мука -> (имеет влажность) -> сухая,

мука -> (приготовляется посредством) -> просеивание.