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

2. Запишите аксиомы логики предикатов первого порядка, достаточные на ваш взгляд для вывода с помощью обобщенного правила модус поненс следующих теорем: а) собаки, кошки и козы являются животными; б) котенок является потомком кота и кошки; в) Васька является котом и отцом котенка; г) каждая кошка имеет родителей. 3. Каким образом резолюция может быть использована для доказательства того, что формула является а) общезначимой? б) выполнимой? 103 4. Вывод в логике предикатов 4. Известны истинные утверждения "Воробей имеет крылья", "Воробей несет