Резюме

Сопоставление с образцом может быть часто обнаружено в основе хороших систем. Одна из причин популярности языка Лисп состоит в его преимуществах, связанных с естественной реализацией сравнения с образцом.

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

Хотя программа ДОКТОР должна рассматриваться исключительно как игрушка, она тем не менее показывает, как эффективная функция сопоставления с образцом может упростить программирование. Основной принцип состоит в том, что реакции программы, похожие на реакции психиатра, вырабатываются в результате исследования фраз пациента на ключевые слова и их комбинации.

Система STUDENT, предназначенная для задач по алгебре, находится на главном направлении эволюции работ по пониманию естественного языка, поскольку она демонстрирует силу перевода описания. Система состоит из четырех подсистем: РАЗДЕЛЕНИЕ, ПЕРЕВОД, РЕШЕНИЕ и ОТВЕТ. Две первые подсистемы преобразуют входную задачу в алгебраические уравнения, выраженные на языке Лисп. Обе они представляют собой простые, очевидные упражнения по программированию.