Avtomatizirano sklepanje je ideja, da je mogoče računalnike ali druge stroje programirati tako, da posnemajo rezultate človeškega logičnega sklepanja. Ta posebna vrsta tehnološkega prizadevanja je del večjega področja, včasih znanega kot umetna inteligenca, kjer razvijalci uporabljajo zapletene algoritme in druge vire za simulacijo človeške inteligence. Avtomatizirano sklepanje je osredotočeno na doseganje logičnih rezultatov z računalniki.
Strokovnjaki na področju umetne inteligence lahko identificirajo vrsto projektov z uporabo avtomatizacije za sklepanje. Nekatere od teh so bolj osredotočene na tako imenovano veljavno deduktivno sklepanje, ki uporabljajo matematiko za izdelavo formalne logike. Te vrste projektov lahko vključujejo dokazovanje izrekov ali uporabo posebnih spremenljivk za ustvarjanje ustreznega logičnega niza vrednosti. Druge vrste avtomatiziranega sklepanja so bolj jezikovne ali abstraktne, kjer bodo človeški razvijalci morda morali računalnikom zagotoviti posebej označene cilje ali presoje, da bi dobili učinkovite rezultate ali odločitve.
Številni strokovnjaki identificirajo posebne cilje v projektih avtomatiziranega sklepanja. Nekateri algoritmi so lahko na primer napisani za cilj zagotavljanja medicinske diagnoze ali pri načrtovanju, preverjanju ali drugih opravilih, kjer računalniški vnos in programiranje vodita do specifičnih logičnih rezultatov, ki jih vodijo odločitve. V mnogih od teh projektov si razvijalci prizadevajo razširiti te tehnologije za učinkovitost pri analizi resničnih problemov. Številne od teh aplikacij avtomatizacije za sklepanje sodijo v kategorijo tako imenovane podpore odločanju, kjer se tehnologija uporablja za pomoč ljudem pri sprejemanju odločitev o številnih projektih.
Nekatere tehnike, ki se uporabljajo pri avtomatiziranem sklepanju, so uporabne tudi v drugih vrstah tehnologije. Na primer, tisti, ki delajo na avtomatizaciji za sklepanje v aplikacijah, pogosto uporabljajo tako imenovano mehko logiko, kjer algoritmi v bistvu sestavijo širok nabor podatkovnih točk v bolj konkreten in specifičen rezultat. Ocenjevanje metod za avtomatizirano sklepanje lahko pomaga zunanjim opazovalcem razumeti, kako so te tehnološke aplikacije zgrajene, kako delujejo in za kaj so uporabne.
Večina strokovnjakov se strinja, da je pri napredovanju na področju avtomatiziranega sklepanja treba še veliko narediti. Prihodnji projekti bodo verjetno vključevali načine za učinkovitejšo paleto potrošniških izdelkov z vključitvijo majhnih čipov z zmožnostmi avtomatskega sklepanja. Večje aplikacije lahko zagotovijo izjemno pomembne nadgradnje metodologije za javno upravo in druga področja upravljanja na visoki ravni.