挪威Bergen大学Information Science and Media Studies系的Thomas ?gotnes教授，7月1日，下周一，下午3：00——5：00，将会在北京师范大学主楼A805做一次报告，报告的题目是：Social Laws: Logic and Games。摘要请见下面。

Title: Social Laws: Logic and GamesAbstract:Social laws (or normative systems) have emerged as a natural and powerful paradigm for coordinating multi-agent systems. A social law is, intuitively, a constraint on the behaviour of agents, which ensures that their individual behaviours are compatible. An example is "drive on the right hand side of the road".The social laws paradigm is based on the use of computational logic to reason about multi-agent systems, but frequently also makes use of game theory. The talk gives an overview of the state-of-the-art in the use of social laws for coordination. It discusses questions such as: how can a social law that ensures some particular global behaviour be automatically constructed? If two social laws achieve the same objective, which one should we use? How can we construct a social law that works even if some agents do not comply? Which agents are most important for a social law to achieve its objective?The talk also gives instruction in research practices and methodology in multi-agent systems: what are key research questions of interest, and what are some of the most important methods employed in this interdisciplinary field? To answer the latter question, the course exemplifies of how, e.g., formal logic, game theory, voting theory and complexity theory, can be used, and in particular how these frameworks can be combined.