Как продукционная модель представления знаний решает проблему противоречий между правилами?

Продукционная модель представления знаний решает проблему противоречий между правилами с помощью механизмов исключений и возвратов. vec.etu.ru ru.wikipedia.org

Механизм исключений предполагает введение специальных правил-исключений, которые отличаются большей конкретностью в сравнении с обобщёнными правилами. vec.etu.ru ru.wikipedia.org Если есть исключение, основное правило не применяется. vec.etu.ru ru.wikipedia.org

Механизм возвратов означает, что логический вывод может продолжаться, даже если на каком-то этапе он привёл к противоречию. vec.etu.ru ru.wikipedia.org В таком случае необходимо отказаться от одного из принятых ранее утверждений и осуществить возврат к предыдущему состоянию. vec.etu.ru ru.wikipedia.org

Кроме того, продукционная модель часто дополняется определённым порядком правил, что упрощает механизм логического вывода. vec.etu.ru ru.wikipedia.org Например, следующая по порядку продукция может применяться только после попыток применения предшествующих ей продукций. vec.etu.ru ru.wikipedia.org