Automatizirano razmišljanje je ideja da se računala ili drugi strojevi mogu programirati da repliciraju rezultate ljudskog logičkog razmišljanja. Ova specifična vrsta tehnološke potrage dio je šireg područja ponekad poznatog kao umjetna inteligencija, gdje programeri koriste složene algoritme i druge resurse za simulaciju ljudske inteligencije. Automatizirano razmišljanje usmjereno je na postizanje logičnih ishoda s računalima.
Stručnjaci u području umjetne inteligencije mogu identificirati niz projekata koristeći automatizaciju za razmišljanje. Neki od njih su više usredotočeni na ono što se zove valjano deduktivno zaključivanje, koristeći matematiku za proizvodnju formalne logike. Ove vrste projekata mogu uključivati dokazivanje teorema ili korištenje specifičnih varijabli za stvaranje odgovarajućeg logičkog skupa vrijednosti. Druge vrste automatiziranog zaključivanja više se temelje na jeziku ili su apstraktne, pri čemu će ljudski programeri možda trebati dati računalima posebno označene ciljeve ili prosudbe kako bi dobili učinkovite rezultate ili odluke.
Mnogi profesionalci identificiraju specifične ciljeve u projektima automatiziranog zaključivanja. Na primjer, neki algoritmi mogu biti napisani prema cilju pružanja medicinske dijagnoze, ili u planiranju, verifikaciji ili drugim zadacima gdje računalni unos i programiranje dovode do specifičnih logičkih rezultata vođenih odlukama. U mnogim od ovih projekata, programeri rade na skaliranju ovih tehnologija za učinkovitost u analizi stvarnih problema. Mnoge od ovih primjena automatizacije za razmišljanje spadaju u kategoriju onoga što se zove podrška odlučivanju, gdje se tehnologija koristi za pomoć ljudima u donošenju odluka o širokom rasponu projekata.
Neke od tehnika koje se koriste u automatiziranom zaključivanju također su korisne u drugim vrstama tehnologije. Na primjer, oni koji rade na automatizaciji za razmišljanje u aplikacijama često koriste ono što se zove neizrazita logika, gdje algoritmi u biti svode širok skup točaka podataka u konkretniji i specifičniji rezultat. Procjena metoda za automatizirano razmišljanje može pomoći vanjskim promatračima da razumiju kako su te tehnološke aplikacije izgrađene, kako rade i za što su korisne.
Većina stručnjaka slaže se da ima još mnogo toga za napraviti u napredovanju u polju automatiziranog zaključivanja. Budući projekti vjerojatno će uključivati načine da se niz potrošačkih proizvoda učini učinkovitijim uključivanjem malih čipova sa sposobnostima automatiziranog zaključivanja. Veće aplikacije mogu pružiti iznimno važne nadogradnje metodologije za javnu upravu i druga područja upravljanja na visokoj razini.