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