Vad är automatiserat resonemang?

Automatiserad resonemang är idén att datorer eller andra maskiner kan programmeras för att replikera resultaten av mänskligt logiskt 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.Automatiserad resonemang är inriktat 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 ge datorer 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 resonemang.Till exempel kan vissa algoritmer skrivas mot målet att tillhandahålla 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 för att skala dessa tekniker för effektivitet när det gäller att analysera verkliga problem.Många av dessa applikationer av automatisering för resonemang faller in i 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 automatiserad resonemang är också användbara i andratyp av teknik.Till exempel använder de som arbetar med automatisering för resonemang i applikationer ofta det som kallas fuzzy logik, 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 automatiserad resonemang kan hjälpa externa observatörer att förstå hur dessa teknikapplikationer byggs, 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 automatiserad 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 resonemang.Större applikationer kan ge extremt viktiga uppgraderingar inom metodik för offentlig administration och andra ledningsområden på hög nivå.