Forskningsområder
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.
Medlemmer i LII-gruppen
Logikk, Informasjon og Interaksjon (LII)
Forskningsgruppen Logikk, Informasjon og Interaksjon (LII) består for tiden av tre faste vitenskapelige ansatte og tre PhD-studenter. Lederen av LII-gruppen er professor Thomas Ågotnes.
-
Nyhet
DEON 2012 in Bergen
The 11th International Conference on Deontic Logic in Computer Science (DEON 2012) will take place at the University of Bergen, 16-18 July 2012. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic Deontic Logic and Social Choice.
-
Nyhet
New publication: Question-Answer Games
The article "Question-Answer Games" was co-authored by Thomas Ågotnes (Bergen), Johan van Benthem (Amsterdam), Hans van Ditmarsch (Seville) and Stefan Minica (Amsterdam), and published in Journal of Applied Non-Classical Logics 21(3-4):265-288, 2012.
-
Nyhet
Tutorial: Social Laws for Multi-Agent Systems
Social laws (or normative systems) have emerged as a natural and powerful paradigm for coordinating multi-agent systems. Thomas Ågotnes (Bergen), Wiebe van der Hoek and Mike Wooldridge (Liverpool) will give a full-day tutorial on social laws for multi-agent systems at the 11th International Conference on Agents and Multi-Agent Systems (AAMAS 2012) in Valencia on Monday 4 June 2012.
-
Nytt forskningsprosjekt
VERDIKT-prosjekt
Nytt prosjekt om databaserte metoder for analyse av polarisering og informasjonsspredning i blogsfæren har fått støtte fra VERDIKT-programmet.
-
Nyhet
Summer school course: Social Laws - Logic and Games
Thomas Ågotnes will teach a course on Social Laws - Logic and Games, at the 24th European Summer School in Logic, Language and Information (ESSLLI 2012) in Opole, Poland, 6-17 August 2012.