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

б* 163 7. Ситуационное описание среды Если известны значения сигналов на некоторых входах и выходах, то каковы значения неизвестных сигналов на остальных входах и выходах? Так, например, в более конкретном виде применительно к схеме нашего примера вопрос первого типа мог бы выглядеть так: какие наборы сигналов на входах схемы сумматора могут приводить к сигналу 0 на выходе г, и к сигналу 1 на выходе ^ схемы? Формально на языке логики предикатов вопрос выглядит следующим образом: сумматор (х,, х2, х3, О, 1)? Как можно получить ответы на подобные вопросы для схемы на рис. 7.1 на основе уже изученных процедур вывода в логике предикатов, подробно рассмотрено в четвертой главе. Этот пример очень прост. В нем использовано небольшое количество понятий из числа введенных в настоящей главе. Однако он достаточно типичен для задач проверки корректности схем. Во многих других средах может быть использован подобный подход к описанию знаний о среде.