Мышление автоматизированное (Automated reasoning) – это область информатики, которая занимается применением рассуждений в форме логики к вычислительным системам. Если задан набор предположений и цель, автоматизированная система рассуждений должна быть способна автоматически делать логические выводы для достижения этой цели.
[Чесалов А. Ю. Глоссарий по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр. 29 ил.]
Мышление автоматизированное — область информатики и математической логики, посвященная изучению различных аспектов рассуждений. Исследование автоматизированных рассуждений помогает создавать компьютерные программы, которые позволяют компьютерам рассуждать полностью или почти полностью автоматически. Хотя автоматизированные рассуждения считаются частью искусственного интеллекта, они также связаны с теоретической информатикой и даже философией.
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]