Automatizuotas samprotavimas yra idėja, kad kompiuteriai ar kitos mašinos gali būti užprogramuotos taip, kad atkartotų žmogaus loginio samprotavimo rezultatus. Šis specifinis technologinis siekis yra dalis didesnės srities, kartais vadinamos dirbtiniu intelektu, kur kūrėjai naudoja sudėtingus algoritmus ir kitus išteklius žmogaus intelektui imituoti. Automatizuotas samprotavimas yra orientuotas į loginių rezultatų pasiekimą naudojant kompiuterius.
Dirbtinio intelekto srities ekspertai gali nustatyti daugybę projektų, naudodami automatizavimą samprotavimui. Kai kurie iš jų yra labiau orientuoti į tai, kas vadinama galiojančiu dedukciniu samprotavimu, naudojant matematiką formaliai logikai sukurti. Šio tipo projektai gali apimti teoremų įrodinėjimą arba konkrečių kintamųjų naudojimą, kad būtų sukurtas atitinkamas loginis reikšmių rinkinys. Kiti automatizuoti samprotavimai yra labiau pagrįsti kalba arba abstraktūs, kai žmonėms kūrėjams gali tekti pateikti kompiuteriams konkrečiai paženklintus tikslus ar sprendimus, kad gautų veiksmingų rezultatų ar sprendimų.
Daugelis specialistų nustato konkrečius tikslus automatizuotuose samprotavimo projektuose. Pavyzdžiui, kai kurie algoritmai gali būti parašyti siekiant pateikti medicininę diagnozę arba planuojant, tikrinant ar atliekant kitas užduotis, kai kompiuterio įvestis ir programavimas lemia konkrečius sprendimu pagrįstus loginius rezultatus. Daugelyje šių projektų kūrėjai stengiasi pritaikyti šias technologijas, kad jos būtų efektyvesnės analizuojant realias problemas. Daugelis šių automatizavimo programų, skirtų samprotavimui, patenka į vadinamųjų sprendimų palaikymo kategoriją, kur technologija naudojama padėti žmonėms priimti sprendimus dėl įvairių projektų.
Kai kurie automatinio samprotavimo metodai taip pat naudingi kitose technologijose. Pavyzdžiui, tie, kurie dirba su automatizavimu, norėdami samprotauti programose, dažnai naudoja vadinamąją neaiškią logiką, kai algoritmai iš esmės sujungia platų duomenų taškų rinkinį į konkretesnį ir konkretesnį rezultatą. Įvertinus automatizuoto samprotavimo metodus, išorės stebėtojai gali suprasti, kaip šios technologijų programos kuriamos, kaip jos veikia ir kuo jos naudingos.
Dauguma ekspertų sutinka, kad automatinio samprotavimo srityje dar reikia nuveikti daug. Į būsimus projektus tikriausiai bus įtraukti būdai, kaip padidinti plataus vartojimo produktų veiksmingumą, įtraukiant mažus lustus su automatinio mąstymo galimybėmis. Didesnės programos gali suteikti itin svarbių viešojo administravimo ir kitų aukšto lygio valdymo sričių metodikos atnaujinimų.