Главная / Интеллектуальные робототехнические системы / Рассмотрим пример доказательства по методу резолюций. Какая строка неверна?

Рассмотрим пример доказательства по методу резолюций. Какая строка неверна?

вопрос

Правильный ответ:

¬p \/ q
¬q \/ r
¬p
¬r
q резольвента 1 и 3 (было бы правильно если 3. p )
¬q резольвента 2 и 4
NIL резольвента 5 и 6
Сложность вопроса
81
Сложность курса: Интеллектуальные робототехнические системы
71
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
спасибо
30 май 2020
Оставить комментарий
Другие ответы на вопросы из темы искусственный интеллект и робототехника интуит.