Automatsko rezonovanje
Automatsko rezonovanje je oblast računarstva posvećena razumevanju različitih aspekata rezonovanja na način koji omogućava pravljenje softvera pomoću koga računari mogu da rezonuju potpuno ili skoro potpuno automatski. Kao takvo, automatsko rezonovanje se obično smatra podoblašću veštačke inteligencije, ali ova oblast ima jake veze i sa teorijskim računarstvom, pa i filozofijom.
Najrazvijenije oblsti automatskog rezonovanja su verovatno automatsko dokazivanje teorema (i manje automatska, ali pragmatičnija podoblast, interaktivno dokazivanje teorema) i automatska provera dokaza (za koju se smatra da garantuje korektno rezonovanje pod fiksnim pretpostavkama), ali su značajni napori uloženi i u razvijanje rezonovanja analogijom, indukcijom i abdukcijom. Druge važne teme su rezonovanje pod nesigurnim okolnostima i nemonotono rezonovanje.
Alati i tehnike koje automatsko rezonovanje koristi uključuju aparaturu klasične logike i računa za automatsko dokazivanje teorema, ali i fazi logiku, bajesovsko učenje, rezonovanje sa maksimalnom entropijom i veliki broj manje formalnih ad hok tehnika.
