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 teknologiske forfølgelse er 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 utfall 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, og bruker matematikk for å produsere formell logikk.Denne typen prosjekter kan omfatte å bevise teoremer eller bruke 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 spesifikt merkede mål eller vurderinger for å få effektive resultater eller beslutninger.

Mange fagpersoner identifiserer spesifikke mål i automatiserte resonnementsprosjekter.For eksempel kan noen algoritmer skrives mot målet om å gi en medisinsk diagnose, eller i planlegging, verifisering eller andre oppgaver der datamaskininngang 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 inn i kategorien av 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 andreslags 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 utenfor observatører til å forstå hvordan disse teknologiapplikasjonene er bygget, hvordan de fungerer og hva de er nyttige for.

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