Главная / Интеллектуальные робототехнические системы / Решение задач автоматического доказательства теорем и создание А.Ньюэллом, Дж.Шоу и Г.Саймоном программы GPS (General Problem Solver) позволило:

Решение задач автоматического доказательства теорем и создание А.Ньюэллом, Дж.Шоу и Г.Саймоном программы GPS (General Problem Solver) позволило:

вопрос

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

формализовать алгоритмы поиска
разработать мощные эвристики для снижения сложности пространства поиска
разработать базы знаний для решения таких задач
разработать исчисление предикатов и язык PROLOG
Сложность вопроса
91
Сложность курса: Интеллектуальные робототехнические системы
71
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Это очень не сложный вопрос intuit.
17 апр 2020
Аноним
Если бы не эти решения - я бы не смог решить c этими тестами интуит.
15 сен 2017
Аноним
Спасибо за подсказками по intuit.
25 мар 2017
Оставить комментарий
Другие ответы на вопросы из темы искусственный интеллект и робототехника интуит.