Искусственный интеллект

Наша задача состоит в анализе корректности схемы, т.е. в проверке правильности выдачи ею выходных сигналов в ответ на входные. Для того чтобы такой анализ осуществить, необходимо иметь модель этой схемы. Желательно при этом, чтобы она не содержала лишних сведений-, которые не будут использоваться при анализе. Так, например, в данной задаче анализа мы не собираемся использовать такие свойства схемы, как ее размер, стоимость, цвет, форму, длину соединений, места пересечения этих соединений, время распространения сигнала и т.п. В других задачах анализа эти сведения могли бы потребоваться, т.е. описание модели зависит не только ИСКЛ_ИЛИ У, ИСКЛ ИЛИ Уз ИЛИ Уг Рнс. 7.1. Логическая схема двоичного сумматора С с тремя входами х,,х2, х3 и двумя выходами г,, ^ , состоящая из двух ИСКЛИЛИ, двух И и одного ИЛИ 6— 1141 161 7. Ситуационное описание среды от предметной области, с которой мы имеем дело, но и от постановки задачи анализа, а это в свою очередь влияет на выбор выразительных средств из числа тех, которые были рассмотрены в предыдущем параграфе.