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

(V j) достижима (Подбананом, переход (d, s)) =л d — Передвинуть v v достижима (Подбананом, s) л -i (J = Отодвинуть). Для банана будем иметь следующие утверждения: (V 5) достижима (Не_схвачен, переход (d, s)) = s достижима (Не_схвачен, s) л -i (d = Схватить). (V л) достижима (Схвачен, переход (d, s)) s = d = схватить v достижима (Схвачен, s). Кроме этих утверждений необходимо также описать условия совершения действий и начальную ситуацию. Читателю предоставляется выполнить это в качестве упражнения в следующей главе. Один из вопросов, ответ на который нас может интересовать в настоящем примере, теперь можно сформулировать следующим образом: существует ли такая ситуация, когда банан схвачен? На языке логики предикатов этот вопрос выглядит следующим образом (3 s) достижима (Схвачен, s)? Вопросы и упражнения 1. Дайте определения для теоретико-множественных операций над категориями: пересечения, объединения, дополнения.