Raționamentul automat este ideea că computerele sau alte mașini pot fi programate pentru a reproduce rezultatele raționamentului logic uman. Acest tip specific de căutare tehnologică face parte dintr-un domeniu mai larg, uneori cunoscut sub numele de inteligență artificială, în care dezvoltatorii folosesc algoritmi complecși și alte resurse pentru a simula inteligența umană. Raționamentul automat este axat pe obținerea de rezultate logice cu computerele.
Experții în domeniul inteligenței artificiale pot identifica o serie de proiecte folosind automatizarea pentru raționament. Unele dintre acestea se concentrează mai mult pe ceea ce se numește raționament deductiv valid, folosind matematica pentru a produce logica formală. Aceste tipuri de proiecte pot include demonstrarea teoremelor sau utilizarea unor variabile specifice pentru a crea un set logic corespunzător de valori. Alte tipuri de raționament automat sunt mai mult bazate pe limbaj sau abstracte, în care dezvoltatorii umani ar putea avea nevoie să furnizeze computerelor obiective sau judecăți etichetate în mod specific pentru a obține rezultate sau decizii eficiente.
Mulți profesioniști identifică obiective specifice în proiecte de raționament automat. De exemplu, unii algoritmi pot fi scriiți cu scopul de a oferi un diagnostic medical sau în planificare, verificare sau alte sarcini în care introducerea și programarea computerului conduc la rezultate logice determinate de decizii specifice. În multe dintre aceste proiecte, dezvoltatorii lucrează pentru a scala aceste tehnologii pentru eficacitate în analiza problemelor din lumea reală. Multe dintre aceste aplicații de automatizare pentru raționament se încadrează în categoria a ceea ce se numește suport de decizie, unde tehnologia este folosită pentru a ajuta oamenii în luarea deciziilor pentru o gamă largă de proiecte.
Unele dintre tehnicile folosite în raționamentul automat sunt utile și în alte tipuri de tehnologie. De exemplu, cei care lucrează la automatizare pentru raționamentul în aplicații folosesc adesea ceea ce se numește logică fuzzy, în care algoritmii reduc, în esență, un set larg de puncte de date într-un rezultat mai concret și mai specific. Evaluarea metodelor de raționament automat poate ajuta observatorii externi să înțeleagă cum sunt construite aceste aplicații tehnologice, cum funcționează și pentru ce sunt utile.
Majoritatea experților sunt de acord că mai sunt multe de făcut pentru a progresa în domeniul raționamentului automat. Proiectele viitoare vor include probabil modalități de a face o gamă de produse de consum mai eficiente prin includerea de cipuri mici cu abilități de raționament automat. Aplicațiile mai mari pot oferi upgrade extrem de importante în metodologie pentru administrația publică și alte domenii de management de nivel înalt.