Механизм логического вывода в экспертных системах обрабатывает информацию, хранящуюся в базе знаний, чтобы делать выводы или давать рекомендации. 3
Процесс можно представить в виде четырёх последовательных процессов: 5
- Выбор активных правил и фактов. 5 Система разрабатывает схемы порождения новых фактов и формирует правила, направленные на достижение целевых фактов. 5
- Сопоставление. 5 Определяется, какие правила максимально охватывают множество активных фактов и какие правила целесообразнее выполнять в первую очередь. 5
- Разрешение конфликтов. 5 Этот процесс в зависимости от способа выбора правила должен обрабатывать все возможные конфликтные ситуации. 5
- Выполнение выбранного правила (действие). 5
Механизм логического вывода использует стратегии рассуждения для анализа данных и применения правил. 3 Есть два способа организации порядка вывода: 4
- Прямой порядок — от фактов к заключениям. 4 По известным фактам отыскивается заключение, которое из этих фактов следует. 45
- Обратный порядок — от заключений к фактам. 4 Вначале выдвигается некоторая гипотеза о конечном суждении, а затем механизм вывода пытается найти в рабочей памяти факты, которые могли бы подтвердить или опровергнуть выдвинутую гипотезу. 4
В некоторых экспертных системах вывод основывается на сочетании обратного и ограниченного прямого подходов. 5 Такой комбинированный метод получил название циклического. 5