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.
Ett seminarium för att diskutera möjligheten till att ta fram en regional AI-strategi.
Oliver Larsson, doktorand vid institutionen för datavetenskap, nu med i IVAs studentråd.
Den 17-18 oktober höll TAIGA ett symposium om AI och komplexa samhällsproblem.
Läs mer om Collaborative AI Lab.
Formal Reasoning Methods
Vad händer när robotar och människor inte förstår varandra, eller fokuserar på olika saker?
I sin avhandling visar Timotheus Kampik matematiska resonemangsmetoder för autonoma intelligenta system.
