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

произойдет (Выстрелить, S3), 174 8.3. Охота на индейку достижима (S4), -л глухая (Индейка, SJ). 8.3.3. Получение ответа на поставленный вопрос (вывод) Доказательство вследствие его простоты приведем без комментария и ссылок на используемые аксиомы: Ь произойдет (Зарядить, SI) = достижима (переход (Зарядить, S1)), \- достижима (переход (Зарядить, S1)) э допустимо (Зарядить, S1) л л достижима (S1), \- допустимо (Зарядить, S1) л Зарядить = Зарядить л л -, глухая (Индейка, 57) з спрятавшаяся (Индейка, переход (Зарядить , S1)), \- спрятавшаяся (Индейка, переход (Зарядить, SI)) s = спрятавшаяся (Индейка, S2) л S2 = переход (Зарядить, SJ),