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

г) используя резолюцию и опровержение, докажите истинность целевой формулы, используя обратный вывод; д) сравните число шагов, требуемое для каждого типа вывода. 6. Распишите подробно вывод формулы (4.100) в примере со средой чудовиша. 5. СРЕДЫ И ЯЗЫКИ В этой главе обсуждается роль языка как эквивалента среды. Рассмотрено, как представление знаний на языке логики предикатов можно использовать для вывода в пространстве состояний и как можно уменьшить число предложений в этом представлении в результате разбиения множества состояний на классы эквивалентности. Введен ряд понятий из теории автоматов, используемых в настоящей главе.для поиска классов эквивалентных состояний. Приведены сведения из теории формальных грамматик, необходимые для определения и использования языка.