Автоматизированное мышление — это область информатики и искусственного интеллекта, целью которой является создание программных систем, которые могут думать, рассуждать и делать выводы. Автоматизированное рассуждение использует методы из различных разделов математики, логики и искусственного интеллекта при анализе сложных проблем реального мира.
Область автоматизированных рассуждений уходит корнями в математическую логику, раздел математики, изучающий границы правильного рассуждения. Ранние исследования в этой области были сосредоточены на разработке логических систем, которые могли бы правильно решать математические и другие символические задачи. По мере того, как компьютеры становились более мощными, исследователи поняли, что те же самые системы можно использовать для решения более сложных задач.
В последние годы автоматизированные системы рассуждения стали важной частью автоматизированных компьютерных услуг, таких как интеллектуальные персональные помощники и экспертные системы. Эти системы предназначены для использования автоматизированного мышления для понимания и решения проблем, поставленных перед ними людьми. Они могут рассуждать о проблемах, опираясь на большие базы данных фактов или используя эвристику, набор эмпирических правил для принятия решений.
Автоматизированное мышление — активная и быстро развивающаяся область исследований, которую часто рассматривают как ключевой компонент общего искусственного интеллекта. Современные системы могут рассуждать через символические проблемы, причинные проблемы и несимволические проблемы, такие как обработка естественного языка. По мере развития технологий и области автоматизированные системы рассуждения будут становиться все более сложными и мощными, позволяя машинам лучше помогать или даже заменять людей во многих видах задач.