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.
Maja Lindström, doktorand i nätverksvetenskap, vann en bronsmedalj i skidalpinism vid SM 2026.
AI-professorns nya bok The AI Paradox väcker internationell uppmärksamhet.
Umeå universitet och Umeå Energi samarbetar i ett nytt pionjärprojekt.
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.
