Механизм логического вывода в экспертных системах обрабатывает информацию, хранящуюся в базе знаний, чтобы делать выводы или давать рекомендации. www.geeksforgeeks.org
Процесс можно представить в виде четырёх последовательных процессов: e-learning.bmstu.ru
- Выбор активных правил и фактов. e-learning.bmstu.ru Система разрабатывает схемы порождения новых фактов и формирует правила, направленные на достижение целевых фактов. e-learning.bmstu.ru
- Сопоставление. e-learning.bmstu.ru Определяется, какие правила максимально охватывают множество активных фактов и какие правила целесообразнее выполнять в первую очередь. e-learning.bmstu.ru
- Разрешение конфликтов. e-learning.bmstu.ru Этот процесс в зависимости от способа выбора правила должен обрабатывать все возможные конфликтные ситуации. e-learning.bmstu.ru
- Выполнение выбранного правила (действие). e-learning.bmstu.ru
Механизм логического вывода использует стратегии рассуждения для анализа данных и применения правил. www.geeksforgeeks.org Есть два способа организации порядка вывода: elibrary.sgu.ru
- Прямой порядок — от фактов к заключениям. elibrary.sgu.ru По известным фактам отыскивается заключение, которое из этих фактов следует. elibrary.sgu.ru e-learning.bmstu.ru
- Обратный порядок — от заключений к фактам. elibrary.sgu.ru Вначале выдвигается некоторая гипотеза о конечном суждении, а затем механизм вывода пытается найти в рабочей памяти факты, которые могли бы подтвердить или опровергнуть выдвинутую гипотезу. elibrary.sgu.ru
В некоторых экспертных системах вывод основывается на сочетании обратного и ограниченного прямого подходов. e-learning.bmstu.ru Такой комбинированный метод получил название циклического. e-learning.bmstu.ru