9.9. Абдукция семантических отображений

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

В 1980 г. Фланаганом были проведены машинные эксперименты, целью которых было изучить вопрос об обучении семантическому отображению. Результаты будут вскоре опубликованы.