Анализ в мире животных
Экспертные системы, использующие наборы правил, находятся сейчас на переднем крае исследований в области искусственного интеллекта, имеющих практические применения. В основе таких систем лежит идея сведения знания к системе простых правил. В табл. 1 изображено правило, которое может быть использовано системой узнавания животных, написанной на Лиспе.
Таблица 1. Правило, которое может быть использовано системой узнавания животных, написанной на Лиспе
Это правило выражает тот факт, что детеныш животного является животным того же вида. В Лиспе нет встроенных средств для обработки таких правил, но этот язык как нельзя лучше подходит для создания программ, использующих правила. Средства символьного манипулировлния, которыми обладает Лисп, позволяют исследовать символы, из которых состоит правило, сравнить их с символами, составляющими известные факты, и поступить затем сообразно результатам этого сравнения.
Одним из видов программ, работающих на основе правил, является интерпретатор правил, работающих в прямом направлении, который использует правила для перехода от исходных фактов к следствиям. В табл. 2 приводим фрагмент работы этой программы, показывающий, каким образом она использует знания о Робби, связи между Робби и Бозо и еще несколько правил.
Таблица 2. Фрагмент распечатки, показывающей, как программа движется от исходных фактов к заключениям
Любая основанная на использовании правил экспертная система должна содержать процедуру сопоставления выражений. Экспертная система в целом слишком сложна для того, чтобы привести ее здесь, однако процедура сопоставления достаточно короткая н простая. Задачей этой процедуры является сравнение двух выражений и составление списка пар соответствующих друг другу символов, как это изображено на распечатке 3. Распечатка 4 содержит текст программы, осуществляющей такое сопоставление.
Распечатка 3. Процедура сопоставления выражений, которая входит в экспертную систему, основанную на использовании правил, должна сравнивать выражения и создавать список пар соответствующих друг другу символов
Распечатка 4. Программа сопоставления для экспертной системы, использующей правила
