Automatiserat resonemang är idén att datorer eller andra maskiner kan programmeras för att replikera resultaten av mänskliga logiska resonemang. Denna specifika typ av teknisk strävan är en del av ett större område som ibland kallas artificiell intelligens, där utvecklare använder komplexa algoritmer och andra resurser för att simulera mänsklig intelligens. Automatiserade resonemang är fokuserade på att uppnå logiska resultat med datorer.
Experter inom området artificiell intelligens kan identifiera en rad projekt som använder automatisering för resonemang. Vissa av dessa är mer fokuserade på vad som kallas giltigt deduktivt resonemang, och använder matematik för att producera formell logik. Dessa typer av projekt kan inkludera att bevisa teorem eller använda specifika variabler för att skapa en motsvarande logisk uppsättning värden. Andra typer av automatiserade resonemang är mer språkbaserade eller abstrakta, där mänskliga utvecklare kan behöva förse datorer med specifikt märkta mål eller bedömningar för att få effektiva resultat eller beslut.
Många proffs identifierar specifika mål i automatiserade resonemangsprojekt. Till exempel kan vissa algoritmer vara skrivna mot målet att ge en medicinsk diagnos, eller i planering, verifiering eller andra uppgifter där datorinmatning och programmering leder till specifika beslutsdrivna logiska resultat. I många av dessa projekt arbetar utvecklare med att skala dessa tekniker för effektivitet i analys av verkliga problem. Många av dessa tillämpningar av automatisering för resonemang faller inom kategorin vad som kallas beslutsstöd, där teknik används för att hjälpa människor att fatta beslut om ett brett spektrum av projekt.
Vissa av de tekniker som används i automatiserat resonemang är också användbara i andra typer av teknik. Till exempel använder de som arbetar med automatisering för resonemang i applikationer ofta vad som kallas fuzzy logic, där algoritmer i huvudsak kokar ner en bred uppsättning datapunkter till ett mer konkret och specifikt resultat. Att utvärdera metoderna för automatiserat resonemang kan hjälpa utomstående observatörer att förstå hur dessa teknologiapplikationer är uppbyggda, hur de fungerar och vad de är användbara för.
De flesta experter är överens om att det finns mycket mer att göra för att utveckla området för automatiserade resonemang. Framtida projekt kommer förmodligen att inkludera sätt att göra en rad konsumentprodukter mer effektiva genom att inkludera små chips med automatiserade resonemangsförmåga. Större applikationer kan ge extremt viktiga uppgraderingar av metodik för offentlig förvaltning och andra högnivåförvaltningsområden.