Главная > Интеллектуальные системы > Системы искусственного интеллекта
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

7.4.2. PEACE — экспертная программа на языке Пролог

PEACE, разработанная в Тулузе Дннкбасом в 1979 г., представляет собой пример экспертной программы, написанной на языке Пролог и предназначенной для анализа и синтеза электрических цепей.

Рис. 7.8. Схема электрической цепи для PEACE.

Для цепи, показанной на рис. 7.8, с заданными величинами сопротивлений, индуктивностей и емкостей и не содержащей источников тока, проблема нахождения результирующего импеданса между точками А и сводится к доказательству теоремы

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

Сама цепь представляется с помощью предкатов “равно”, “ветвь”, “кратный узел”, позволяющих записать следующие условия:

или

Основополагающие знания об электротехнике, необходимые для системы PEACE, сводятся к четырем преобразованиям цепей, изображенных на рис 7.9 а.

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

знаний была расширена до действий во множестве рациональных (с повышенной точностью), и, наконец, до действительных чисел.

Правила определения комплексных чисел также достаточно просты.

Рис. 7.9 а. Преобразования в системе PEACE.

Преобразования электрических цепей описываются на языке Пролог с помощью предикатов. Например, второе правило принимает вид

(см. скан)

Внутренняя стратегия PEACE для преобразования цепи состоит в последовательном применении преобразований в указанном выше порядке. Этот порядок соответствует минимальному числу остающихся неясными узлов в сети. Узнавание допустимых преобразований в любой момент происходит с помощью алгоритма унификации и осуществляется языком Пролог. Таким образом, каждое преобразование позволяет определенным образом модифицировать базу данных. Доказывается, что этот процесс неизбежно сходится к цепи, содержащей две точки. Решение было получено чисто алгоритмическим способом.

В подобной системе любая форма знаний — факты из базы данных, процедуры, резолюции, схемы контроля — представлена единым способом с помощью конъюнкции предложений. Такое единообразие представления является также основной характеристикой другой системы — МЕСНО.

<< Предыдущий параграф Следующий параграф >>
Оглавление