Регистрация общих знаний о проблемной области

Одним из признаков наличия хорошей онтологии является то, что с ее использованием требуется определить очень немного общих правил, а признаком наличия хорошего словаря служит то, что каждое правило может быть сформулировано четко и кратко. В рассматриваемом примере нам потребуется только семь приведенных ниже простых правил для описания всего, что нужно знать о цифровых схемах.

1. Если две клеммы соединены, то на них присутствует один и тот же сигнал:

2.    Сигнал на каждой клемме равен либо 1, либо 0 (но не имеет оба значения одновременно):

3.    Предикат Connected является коммутативным:

На выходе логического элемента OR присутствует 1 тогда и только тогда, когда на любом из его входов присутствует 1:

На выходе логического элемента AND присутствует 0 тогда и только тогда, когда на любом из его входов присутствует 0:

На выходе логического элемента XOR присутствует 1 тогда и только тогда, когда на его входах присутствуют разные сигналы:

Выход логического элемента NOT противоположен его входу:

Составление конкретного экземпляра задачи

Схема, показанная на рис. 8.2, представлена как схема d со следующим описанием. Прежде всего определим типы всех логических элементов:

Затем покажем связи между ними: