AI ska hjälpa datorer att revidera beslut

Autonoma system kallas det, när datorer, robotar och andra AI-system arbetar på ett självstyrande sätt. I strävan efter detta försöker forskarvärlden få AI-systemen att allt mer likna den mänskliga hjärnan. Syftet är att maskinerna ska bli till allt större hjälp för människor och samhällen, genom att bemästra mänskliga färdigheter som till exempel att förstå vad människor säger och fatta självständiga beslut.

Industrirobotar är tidiga exempel på detta, liksom senare självkörande bilar. Nu drömmer forskare om framtidens smarta samhälle, där självstyrande system tar hand om allt från gruvdrift till energisystem, sanering av farliga miljöer och mycket mer.

AI ska klara balansen

Timotheus Kampik har skrivit sin avhandling vid Institutionen för datavetenskap i Umeå inom detta område. Han har studerat hur AI kan användas av datorer för att revidera tidigare slutsatser med matematisk precision. Vi människor reviderar ju ständigt våra uppfattningar när vi får ny information. Kampiks avhandling formulerar resonemangsmetoder som ska låta AI klara balansen mellan att behålla tidigare slutsatser för att säkerställa pålitlighet, och att revidera dem i ljuset av nya bevis.

Han har använt sig av en kombination av matematiska principer och formell argumentation. Målet är att en maskin ska kunna avgöra när en slutsats behöver revideras och kunna göra så med matematisk precision, utan att förändra mer än nödvändigt av ett tidigare beslut.

– – Detta gör att datormaskiner kan undvika att vara ”enkelspåriga” och envisa, men också att avstå från att ”sicksacka runt” inför en kontinuerlig ström av ny information som i någon mån, men inte övertygande, kan motsäga tidigare dragna slutsatser, kommenterar Timothy Kampik sina resultat.

Från teori till praktik

Bidragen i avhandlingen är främst teoretiska men den innehåller också tillämpade perspektiv, bland annat i två delstudier i samarbete med en forskare i juridik respektive en expert inom telekommunikationsindustri.

– När jag började med min avhandling trodde jag att mitt arbete bara skulle vara relevant ur ett teoretiskt perspektiv. Jag förväntade mig inte att träffa forskare från andra discipliner, såväl som experter inom industrin som tyckte att några av mina idéer var tillräckligt intressanta för att börja samarbeta med mig. Detta kan vara en indikation på att vårt forskningsområde inom artificiell intelligens långsamt går mot storskalig tillämpning, säger Timothy Kampik.