Bild: Adobe Stock
Forskargrupp Vi är intresserade av agenter som resonerar och av att resonera om agenter. Vårt fokus ligger på att studera principer för detta i syfte att utveckla mjukvarusystem för samhällets bästa.
En mjukvaruagent är ett självständigt system. Den kan fatta beslut, agera och ibland samarbeta med andra agenter. Agenterna som verkar i mjukvarusystem spelar en avgörande roll i vårt moderna samhälle. Mjukvarusystem är nämligen ofta en integrerad del av de komplexa informationssystem som styr hur organisationer arbetar. Exempel är bl a affärssystem – som hanterar funktioner som logistik och inköp i företag, eller offentliga förvaltningssystem – som behandlar våra skattedeklarationer.
Dessa system är ofta mycket komplexa och består av många delsystem som utvecklats under decennier. Det medför att tekniken skiljer sig åt, men ändå är starkt sammankopplad. Det gör det svårt att förstå systemens inre funktioner – varför och hur specifika beslut fattas, samt de bredare beteenden som ett system ger upphov till.
Forskargruppen vill med sin expertis bidra till hur vi på ett bättre sätt kan resonera om komplexa system så att vi dels blir bättre på att själva förbättra dem, dels så att de i slutändan fungerar väl, i samhällets tjänst.
För att göra detta använder vi:
I vår forskning studerar vi ofta grundläggande utmaningar inom principbaserat resonemang, särskilt när det gäller att använda grafer för att modellera motsägelsefulla eller stödjande påståenden.
Detta kallas formell argumentation – ett sätt att på ett logiskt sätt strukturera och analysera argument.
Exempel:
Vi forskar även kring resonemang om agenter och multiagent-system – alltså där flera agenter samarbetar eller konkurrerar. Vi undersöker också hur man drar slutsatser i mjukvarusystem, centrala för stora organisationer. Här samarbetar vi med ledande teknikföretag, såsom SAP och Ericsson.
Vår forskning har bidragit till produktvisioner liksom roadmaps inom mjukvaruindustrin. I vissa fall har vår forsknings framgångsrikt lett till att de implementerats i färdiga system.
Agents and Reasoning Group har ett nära samarbete med forskare världen över, bland annat vid över hela världen, bland annat vid: Imperial College London, Technical University of Munich, The University of Vienna, and The University of Melbourne.
Vår forskning finansieras huvudsakligen av WASP, Wallenberg AI, Autonomous Systems and Software Programme, WASP, som finansieras av Knut och Alice Wallenbergs Stiftelse.
Vänligen kontakta biträdande forskningsledare Timotheus Kampik eller professor Vicenç Torra, vid institutionen för datavetenskap.
