Vad är automatiserad resonemang?

Automatiskt resonemang är idén att datorer eller andra maskiner kan programmeras för att replikera resultaten av människans 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. Automatiskt resonemang är inriktat på att uppnå logiska resultat med datorer.

Experter inom konstgjord intelligens kan identifiera en rad projekt som använder automatisering för resonemang. Några 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 yrkesverksamma identifierar specifika mål i automatiserade resonemangsprojekt. 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 teknologier för effektivitet vid analys av verkliga problem. Många av dessa applikationer av automatisering för resonemang hör till 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.

Några av de tekniker som används i automatiserad 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 det som kallas fuzzy logic, där algoritmer i huvudsak kokar ner en bred uppsättning datapunkter till ett mer konkret och specifikt resultat. Utvärdering av metoderna för automatiserad resonemang kan hjälpa externa observatörer att förstå hur dessa teknikapplikationer är byggda, hur de fungerar och vad de är användbara för.

De flesta experter håller med om att det finns mycket mer att göra för att utveckla området för automatiserad resonemang. Framtida projekt kommer troligen att omfatta sätt att göra en rad konsumentprodukter effektivare genom att inkludera små chips med automatiserade resonemang. Större applikationer kan ge extremt viktiga uppgraderingar i metodik för offentlig förvaltning och andra förvaltningsfält på hög nivå.