Hvad er automatiseret ræsonnement?

Automatiseret ræsonnement er ideen om, at computere eller andre maskiner kan programmeres til at gentage resultaterne af menneskelig logisk ræsonnement.Denne specifikke form for teknologisk forfølgelse er en del af et større felt, der undertiden er 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 ved hjælp af automatisering til ræsonnement.Nogle af disse er mere fokuseret på det, der kaldes gyldig deduktiv ræsonnement, der bruger matematik til at producere formel logik.Disse typer projekter kan omfatte bevis for sætninger eller ved hjælp af specifikke variabler til at skabe et tilsvarende logisk sæt værdier.Andre former for automatiseret ræsonnement er mere sprogbaseret eller abstrakt, hvor menneskelige udviklere muligvis er nødt til at give computere specifikt 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 der skrives nogle algoritmer 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 for at skalere disse teknologier for effektivitet til analyse af problemer i den virkelige verden.Mange af disse applikationer af automatisering til resonnement falder i kategorien af det, der kaldes beslutningsstøtte, hvor teknologi bruges til at hjælpe mennesker med at tage beslutninger om en lang række projekter.

Nogle af de teknikker, der bruges i automatiseret ræsonnement, er også nyttige i andreslags teknologi.For eksempel bruger dem, der arbejder med automatisering til ræsonnement i applikationer, ofte det, der kaldes fuzzy logik, hvor algoritmer i det væsentlige koger ned et bredt sæt datapunkter i et mere konkret og specifikt resultat.Evaluering af metoderne til automatiseret ræsonnement kan hjælpe uden for observatører med at forstå, hvordan disse teknologiapplikationer 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 i gang med området for 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æsonnementsevner.Større applikationer kan give ekstremt vigtige opgraderinger i metodologi til offentlig administration og andre styringsområder på højt niveau.