Иллюстрированный самоучитель по введению в экспертные системы


Сопоставление с образцом



Одним из ключевых компонентов в большинстве программ искусственного интеллекта является анализатор соответствия (pattern matcher) — компонент, который некоторым образом сравнивает поступающие на его вход списки (или другие структуры данных) с имеющимися символическими образцами и таким образом выполняет распознавание входных данных.

В главе 3 мы обращали ваше внимание на то, что факты, относящиеся к состоянию окружающего мира, представляются в форме "предикат— аргумент". Тот факт, что робот находится в комнате, был представлен в модели мира формулой

at(robot, room). На языке LISP этот факт будет представлен символическим выражением

(at robot room). Положим, что ? — символ универсальной подстановки и что выражение

(at robot ?) представляет собой образец, которому соответствует и выражение

(at robot room), и другое выражение в форме

(at robot blah),

где blah — любой символ. На языке LISP несложно разработать простой анализатор соответствия, который будет сравнивать два ординарных списка (т.е. списка, на имеющего подсписков в качестве элементов) и возвращать значение TRUE, если один из них, sample (пример), можно представить как реализацию другого — pattern (образец). Текст такой программы приведен ниже. Предполагается, что образец может иметь любую конечную длину и содержать любое количество символов универсальной подстановки.

(defun match (sample pattern)

(cond ((and (null sample)

(null pattern)) T) ((or

(null sample) (null pattern)) NIL)

((eq (first pattern '?))

(match (rest sample) (rest pattern)))

((eq (first sample) (first pattern))

(match (rest sample) (rest pattern)))

(T NIL)) )

Обращение к этой функции в выражении

(match '(at robot room) '(at robot ?))

даст результат Т, а обращение

(match '(at box room) '(at robot ?))

даст результат NIL.

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


Начало  Назад  Вперед



Книжный магазин