Разработаем онтологию и базу знаний, которые позволят нам рассуждать об электронных схемах такого типа, как показано на рис. 8.2. Мы будем руководствоваться описанным семиэтапным процессом инженерии знаний.

Рис. 8.2. Цифровая схема с1, предназначенная для использования в качестве однобитового полного сумматора. На первые два входа подаются два бита, подлежащие сложению, а на третий вход подается бит переноса. На первом выходе находится сумма, а на втором — бит переноса для следующего сумматора. Эта схема включает два логических элемента XOR, два логических элемента AND и один логический элемент OR