в базе знаний зафиксированы общие
Обычно в базе знаний зафиксированы общие закономерности, правила, описывающие проблемную среду и предметную область.
Процедуры вывода позволяют на основании общих правил вывести решение для заданной конкретной ситуации, описываемой некоторыми исходными данными. Цепочка логического вывода строится по мере приближения к решению, в зависимости от выведенных на каждом шаге данных и выведенных к этому шагу новых знаний. Конкретные формы организации дедуктивного вывода зависят от того, в какой форме представлены знания в базе знаний (на каком языке представления знаний).
Продукционная модель представления знаний наиболее распространена в приложениях. Модель реализуется правилами-продукциями:
если <условие> то <заключение>.В качестве условия может выступать любая совокупность суждений, соединенных логическими связками и (
), или (
).
Пример. Продукцией будет следующее правило:
если (курс доллара-растет)
(сезон-осень)
(число продавцов-убывает) то (прогноз цен на рынке жилья - рост рублевых цен на квартиры).Такого рода правила и знания о ценах, предложении и спросе на рынке жилья могут стать базой для базы знаний о рынке жилья и экспертной системы для риэлторской группы (фирмы).
Существуют две основные стратегии вывода на множестве правил-продукций:
- прямой вывод (вывод от исходных данных-фактов, аксиом - к цели, по пути вывода пополняя исходную базу знаний новыми полученными истинными фактами; процесс заканчивается лишь тогда, когда выведен факт, эквивалентный искомому);
- обратный вывод (вывод от целевого факта к данным, на очередном шаге отыскивается очередной факт, в заключительной части содержится факт, эквивалентный исходному факту; процесс заканчивается тогда, когда для каждого факта, выведенного на очередном шаге, не будет найдено правило, имеющее этот факт в качестве заключения, а посылками - исходные или выведенные на предыдущих шагах факты).
Обе приведенные стратегии вывода имеют недостатки, достоинства и модификации.
Пример. Если все множество правил-продукций разбито на группы по некоторому признаку (структурировано), то вместо полного или случайного перебора всех правил при прямом и обратном выводе осуществляется целенаправленный переход от одной группы правил к другой.
Содержание Назад Вперед