Hvad er automatiseret ræsonnement?
Automatiseret resonnement er tanken om, at computere eller andre maskiner kan programmeres til at gentage resultaterne af menneskelig logisk resonnement. Denne specifikke teknologiske forfølgelse er en del af et større felt, nogle gange kendt som kunstig intelligens, hvor udviklere bruger komplekse algoritmer og andre ressourcer til at simulere menneskelig intelligens. Automatiseret ræsonnement er fokuseret på at opnå logiske resultater med computere.
Eksperter inden for kunstig intelligens kan identificere en række projekter, der bruger automatisering til ræsonnement. Nogle af disse er mere fokuseret på, hvad der kaldes gyldig deduktiv ræsonnement, ved hjælp af matematik til at producere formel logik. Disse typer projekter kan omfatte bevisning af sætninger eller anvendelse af specifikke variabler til at oprette et tilsvarende logisk sæt af værdier. Andre former for automatiseret ræsonnement er mere sprogbaseret eller abstrakt, hvor menneskelige udviklere muligvis skal give computere specifikke mærkede mål eller vurderinger for at få effektive resultater eller beslutninger.
Mange fagfolk identificerer specifikke mål i automatiserede ræsonnementsprojekter. For eksempel kan nogle algoritmer skrives mod målet om at tilvejebringe en medicinsk diagnose eller i planlægning, verifikation eller andre opgaver, hvor computerinput og programmering fører til specifikke beslutningsdrevne logiske resultater. I mange af disse projekter arbejder udviklere med at skalere disse teknologier for effektivitet i analyse af problemer i den virkelige verden. Mange af disse applikationer af automatisering til ræsonnement falder i kategorien hvad der kaldes beslutningsstøtte, hvor teknologi bruges til at hjælpe mennesker med at træffe beslutninger om en lang række projekter.
Nogle af de teknikker, der bruges i automatiseret ræsonnement, er også nyttige i anden slags teknologi. F.eks. Bruger de, der arbejder med automatisering til ræsonnement i applikationer, ofte det, der kaldes fuzzy logic, hvor algoritmer i det væsentlige koger ned et bredt sæt datapunkter til et mere konkret og specifikt resultat. Evaluering af metoderne til automatiseret ræsonnement kan hjælpe eksterne observatører med at forstå, hvordan disse teknologiprogrammer er bygget, hvordan de fungerer, og hvad de er nyttige til.
De fleste eksperter er enige om, at der er meget mere, der skal gøres for at gå videre med området automatiseret ræsonnement. Fremtidige projekter vil sandsynligvis omfatte måder at gøre en række forbrugerprodukter mere effektive ved at inkludere små chips med automatiserede ræsonneringsevner. Større applikationer kan give ekstremt vigtige opgraderinger i metodologi til offentlig administration og andre ledelsesområder på højt niveau.