Research areas
The LII group study the fundamental principles for representing and reasoning about information in computer systems, based on symbolic logic, and their applications. A focus is on reasoning about change, e.g., using action logic, and in particular on the logical principles of information change. Central is formalisation of interaction in systems with several autonomous agents. Aspects of interaction which are interesting to formalise include the logical principles of trust, knowledge (epistemic logic) and rationality. Applications are found in social software, artificial intelligence, multi-agent systems and programming languages.
LII group members
Logic, Information and Interaction (LII)
The Logic, Information and Interaction (LII) group currently consists of three permanent researchers and three PhD students. The leader of the LII group is professor Thomas Ågotnes.
-
News
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.
-
News
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.
-
News
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.
-
News
VERDIKT Project
A new project on databased methods for analysing polarisation and information dissemination in the blogosphere has received funding from the Norwegian Research Council's VERDIKT programme.
-
News
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.