#706838
Метод резолюций Робинсона основывается на …
Варианты ответа:
  • доказательстве теорем в логике предикатов
  • доказательстве аксиом в логике предикатов
  • доказательстве теорем в абстрактной логике
  • опровержении аксиом
Тематика: Системы искусственного интеллекта
Курсы в категории: Информационные технологии
📚 Похожие вопросы по этой дисциплине
Цель исследований в области искусственного интеллекта (ИИ) – разраб Исследователь Р. Бенерджи определил сферу искусственного интеллекта (ИИ) Исследовательским полигоном развития методов искусственного ин Классической задачей в литературе по искусственному интеллекту (ИИ) Второй этап исследований искусственного интеллекта (ИИ) был посв