Wat is geautomatiseerd redeneren?
Geautomatiseerd redeneren is het idee dat computers of andere machines kunnen worden geprogrammeerd om de resultaten van logisch menselijk redeneren te repliceren. Dit specifieke soort technologische bezigheden maakt deel uit van een groter veld, ook wel kunstmatige intelligentie genoemd, waarbij ontwikkelaars complexe algoritmen en andere middelen gebruiken om menselijke intelligentie te simuleren. Geautomatiseerd redeneren is gericht op het bereiken van logische resultaten met computers.
Experts op het gebied van kunstmatige intelligentie kunnen een reeks projecten identificeren die automatisering gebruiken om te redeneren. Sommige hiervan zijn meer gericht op wat geldige deductieve redenering wordt genoemd, waarbij wiskunde wordt gebruikt om formele logica te produceren. Dit soort projecten kan het bewijzen van stellingen omvatten of het gebruik van specifieke variabelen om een overeenkomstige logische reeks waarden te creëren. Andere soorten geautomatiseerde redeneringen zijn meer taalgebaseerd of abstract, waarbij menselijke ontwikkelaars mogelijk computers moeten voorzien van specifiek gelabelde doelen of oordelen om effectieve resultaten of beslissingen te krijgen.
Veel professionals identificeren specifieke doelen in geautomatiseerde redeneerprojecten. Sommige algoritmen kunnen bijvoorbeeld worden geschreven met het doel een medische diagnose te stellen, of bij planning, verificatie of andere taken waarbij computerinvoer en programmering leiden tot specifieke beslissingsgestuurde logische resultaten. In veel van deze projecten werken ontwikkelaars aan het opschalen van deze technologieën voor effectiviteit bij het analyseren van echte problemen. Veel van deze automatiseringstoepassingen vallen in de categorie van beslissingsondersteuning, waarbij technologie wordt gebruikt om mensen te helpen bij het nemen van beslissingen over een breed scala aan projecten.
Sommige van de technieken die bij geautomatiseerd redeneren worden gebruikt, zijn ook nuttig in andere soorten technologie. Degenen die bijvoorbeeld werken aan automatisering voor redeneren in toepassingen, gebruiken vaak wat fuzzy logic wordt genoemd, waarbij algoritmen in wezen een breed aantal gegevenspunten samenvatten in een meer concreet en specifiek resultaat. Het evalueren van de methoden voor geautomatiseerd redeneren kan externe waarnemers helpen om te begrijpen hoe deze technologische toepassingen zijn gebouwd, hoe ze werken en waarvoor ze nuttig zijn.
De meeste experts zijn het erover eens dat er nog veel meer moet gebeuren op het gebied van geautomatiseerd redeneren. Toekomstige projecten zullen waarschijnlijk manieren bevatten om een reeks consumentenproducten effectiever te maken door kleine chips met geautomatiseerde redeneermogelijkheden op te nemen. Grotere toepassingen kunnen uiterst belangrijke upgrades in de methodologie voor openbaar bestuur en andere managementgebieden op hoog niveau bieden.