Как формальные науки повлияли на развитие искусственного интеллекта?

Формальные науки, в частности математика, оказали значительное влияние на развитие искусственного интеллекта (ИИ). www.aiportal.ru

Изучение математической логики обеспечило существенный прорыв в исследованиях ИИ, сделало его создание более правдоподобным. en.wikipedia.org Основы были заложены такими работами, как «Законы мышления» Буля и «Бегрифсшрифт» Фреге. en.wikipedia.org

Разработка теории графов Р. Эйлером сделала возможным поиск в пространстве состояний — основной концептуальный инструмент ИИ. infourok.ru

Теория вероятностей также внесла вклад в развитие ИИ. www.aiportal.ru Например, Томас Байес предложил правило обновления вероятностей с учётом новых фактов. www.aiportal.ru Это правило и возникшее на его основе научное направление (байесовский анализ) лежат в основе большинства современных подходов к проведению рассуждений с учётом неопределённости в системах ИИ. www.aiportal.ru

Кроме того, понятие неразрешимости, открытое учёными Кобхэмом и Эдмондсом, также повлияло на развитие ИИ: стало понятно, что некоторые задачи не могут быть решены за приемлемое время, поэтому общую задачу выработки интеллектуального поведения пришлось разделять на разрешимые подзадачи. www.aiportal.ru

Таким образом, формальные науки, в частности математика, предоставили необходимые инструменты и методы для преобразования идей ИИ в формальную науку. www.aiportal.ru