LII-gruppen studerer grunnleggende prinsipper for representasjon av, og resonnering om, informasjon i datamaskinsystemer basert på formell logikk, og anvendelser av disse. Ett fokus er på resonnering om endringer, f.eks. vha. av handlingslogikk, og spesielt på de logiske prinsippene for informasjonsendring. Sentralt er formalisering av interaksjon i systemer med flere autonome aktører (agenter). Aspekter ved interaksjon som det er interessant å formalisere er f.eks. de logiske prinsippene bak tillit, kunnskap (epistemisk logikk) og rasjonalitet. Aktuelle anvendelser finnes i sosial programvare, kunstig intelligens, multi-agent systemer, og programmeringsspråk.
Gruppemedlemmene
Permanente forskere Postdoktorer PhD studenter
Dag Elgesem Lubos Steskal Piotr Kazmierczak
Richard Moe Marija Slavkovik Truls Pedersen
Thomas Ågotnes (Gruppeleder) Samia Touileb
Aktiviteter
LOFT 2014 i Bergen
Den 11. konferansen om Logic og Foundations of Game and Decision Theory vil finne sted ved Universitetet i Bergen 27 til 30 juli 2014. Dette bi-årlige konferansen serien fokuserer på anvendelser av logiske metoder til grunnleggende spørsmål i teorien om individuelle og interaktiv beslutninger. Mer informasjon om tidsplan og innhold kan bli funnet her.