Bild: AdobeStock: Tierney
Bild: AdobeStock: Tierney
Forskargrupp Människor och intelligenta mjukvaruagenter agerar sällan utan att behöva ta hänsyn till andra agenter. För det mesta behöver dom koordinera sig och samarbeta för att uppnå sina mål. Kognitiva och sociala förmågor utgör basen för agentens förmåga att representera kunskap, lära, resonera, fatta beslut och agera autonomt för att nå måt I samverkan, eller förhandla och nå överenskommelser ifall mål är i konflikt.
Digitala kompanjoner är ett exempel på sådana agenter som skulle kunna stödja och förstärka människans förmåga att utföra aktiviteter.
Vi utvecklar teorier och metoder i en multidisciplinär miljö, såsom formell argumentation, formella dialogsystem, answer set programming, metoder för användarmodellering och personanpassning. Teorier om människans verksamheter, motivation, emotioner och kognition formar basen för att utveckla nya arkitekturer, mjukvaror och gränssnitt för socialt intelligenta system. Aktivitets- och intentionsdetektion, och resonerande om aktivitet som inkluderar motiv, motivation, preferensesr och mål är nödvändiga för att systemet ska kunna stödja personen och förstärka personens förmåga att utföra meningsfulla aktiviteter.
Vår forskning spänner från formell och teoretisk forskning till tillämpningar framför allt i medicinska och hälsoområden, exempelvis som diagnostiskt beslutsstöd, eller som resonemangsstöd när beteendeförändring är viktigt för att förbättra hälsa och välmående. Läs mer på sidorna nedan.
Niclas Kaiser och Thomas Hellström vid Umeå universitet skriver vidare om AI i dagens DN Debatt Repliker.
I klippet berättar docent Niclas Kaiser varför han tycker att det är viktigt att nyansera debatten.
Niclas Kaiser och Thomas Hellström vid Umeå universitet har skrivit om artificiell intelligens i DN Debatt.
Läs mer om Collaborative AI Lab.
Formal Reasoning Methods
I sin avhandling visar Timotheus Kampik matematiska resonemangsmetoder för autonoma intelligenta system.
