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

яйца" и "Если животное имеет крылья и несет яйца, то это птица". Требуется доказать утверждение "Воробей является птицей". Для этого выполните следующее: а) переведите эти утверждения на язык логики предикатов первого порядка, выделив все необходимые группы формул, включая целевую; б) сделайте опровержение целевой формулы; в) переведите все формулы в клаузальную форму; г) используя резолюцию, докажите (выведите) истинность целевой формулы. 5. В среде кубиков начальное состояние показано на рис. 4. 1. Целевое состояние должно быть таким, чтобы кубики в обоих столбиках поменялись местами. Для этого выполните следующее: а) переведите все необходимые для вывода формулы в язык предикатов первого порядка; б) используя модус поненс, выведите целевую формулу, используя прямой вцвод; в) используя резолюцию, выведите целевую формулу, используя прямой вывод;