Отладка базы знаний

Эту базу знаний можно испортить многими способами для определения того, какие виды ошибочного поведения будут с этим связаны. Например, допустим, что пропущено такое утверждение12, как. Тогда система внезапно потеряет способность доказывать наличие каких-либо входных сигналов для данной схемы, за исключением тех случаев, когда на входе присутствуют сигналы 000 и 110. Наличие этой проблемы можно выявить, запрашивая выводы каждого логического элемента. Например, можно ввести следующий запрос:

который позволит обнаружить, что выходы Χ1 становятся неизвестными в случае входов 10 и 01. Затем мы рассмотрим аксиому для логических элементов XOR применительно к Χ1:

Если известно, что входы, скажем, равны 1 и 0, то эта аксиома сводится к следующей:

Теперь проблема становится очевидной: система неспособна получить заключение, что., поэтому ей необходимо сообщить, что