Hva er automatisert resonnement?

Automatisert resonnement er ideen om at datamaskiner eller andre maskiner kan programmeres for å gjenskape resultatene av menneskelig logisk resonnement. Denne spesifikke typen teknologisk forfølgelse er en del av et større felt noen ganger kjent som kunstig intelligens, der utviklere bruker komplekse algoritmer og andre ressurser for å simulere menneskelig intelligens. Automatisert resonnement er fokusert på å oppnå logiske resultater med datamaskiner.

Eksperter innen kunstig intelligens kan identifisere en rekke prosjekter som bruker automatisering for resonnement. Noen av disse er mer fokusert på det som kalles gyldig deduktiv resonnement, ved å bruke matematikk til å produsere formell logikk. Denne typen prosjekter kan omfatte bevise teoremer eller bruk av spesifikke variabler for å lage et tilsvarende logisk sett med verdier. Andre typer automatisert resonnement er mer språkbasert eller abstrakt, der menneskelige utviklere kan trenge å gi datamaskiner spesifikke merkede mål eller vurderinger for å få effektive utfall eller beslutninger.

Mange fagpersoner identifiserer spesifikke mål i automatiserte resonnementprosjekter. Noen algoritmer kan for eksempel skrives mot målet om å stille en medisinsk diagnose, eller i planlegging, verifisering eller andre oppgaver der datainndata og programmering fører til spesifikke beslutningsdrevne logiske resultater. I mange av disse prosjektene jobber utviklere for å skalere disse teknologiene for effektivitet i å analysere problemer i den virkelige verden. Mange av disse applikasjonene av automatisering for resonnement faller i kategorien det som kalles beslutningsstøtte, der teknologi brukes til å hjelpe mennesker med å ta beslutninger om et bredt spekter av prosjekter.

Noen av teknikkene som brukes i automatisert resonnement er også nyttige i annen type teknologi. For eksempel bruker de som jobber med automatisering for resonnement i applikasjoner ofte det som kalles uklar logikk, der algoritmer i hovedsak koker ned et bredt sett med datapunkter til et mer konkret og spesifikt resultat. Evaluering av metodene for automatisert resonnement kan hjelpe utenforstående observatører til å forstå hvordan disse teknologiplanene er bygget, hvordan de fungerer og hva de er nyttige for.

De fleste eksperter er enige om at det er mye mer som må gjøres for å videreføre feltet automatisert resonnement. Fremtidige prosjekter vil trolig omfatte måter å gjøre en rekke forbrukerprodukter mer effektive gjennom å inkludere små brikker med automatiserte resonneringsevner. Større applikasjoner kan gi ekstremt viktige oppgraderinger i metodikk for offentlig administrasjon og andre felt på høyt nivå.