Если отношение «Правило - исключение» встроено в систему, то система сможет понимать, сто некоторые действия, попадающие в исключение – незаконны. При этом система должна руководствоваться принципом: если применимо исключение – общее правило запрещено.
Наиболее типичное для неформальных процедур взаимодействие правил:
1. Исключение вытесняет общее правило
2. При пересечении разрешены оба правила
Возможны ситуации, когда необходимо поступать наоборот:
1. Исключение не запрещает общего правила
2. При пересечении одно из правил запрещено
Пусть дано, например, общее правило x p1, и его исключение Ax p2.
Таким образом, для произвольного слова необходима реакция p1, для слова, начинающегося с буквы «А» выполняется реакция p2. По умолчанию, для таких слов реакция p1 незаконна.
Предположим, что по условию конкретной задачи, для слов, начинающихся на букву «А» реакция р1 также допустима. В этом случае введение нового правила Ax p1 снимает запрет на реакцию р1 в ситуации Ах. Таким образом, аппарат исключений позволяет устанавливать произвольные способы взаимодействия правил, в том числе отличные от взаимодействия по умолчанию.
Аппарат исключения освобождает программистов от решения трудоемких вопросов согласования правил, распознавание и интерпретация исключений – автоматически.
