{"id":944,"date":"2011-04-02T15:33:38","date_gmt":"2011-04-02T15:33:38","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=944"},"modified":"2011-04-21T21:27:11","modified_gmt":"2011-04-21T21:27:11","slug":"special-session-lira-seminar-on-messages-information-and-norms-in-utrecht","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/04\/special-session-lira-seminar-on-messages-information-and-norms-in-utrecht\/","title":{"rendered":"Special Session LIRa Seminar on Messages, Information and Norms in Utrecht"},"content":{"rendered":"

Thursday\u00a014\u00a0April<\/strong> we will have a special LIRa session on\u00a0Messages,\u00a0Information and Norms<\/em><\/strong>\u00a0in Utrecht.<\/p>\n

The session will start at 15:15 hrs<\/strong>, and will take place in\u00a0\u00a0Buys Ballot Laboratorium, Room 023<\/strong>,\u00a0Utrecht (a map of the location and public transport information\u00a0can be found here<\/a>).<\/p>\n

\u00a0The special session was co-organized\u00a0by Paolo Turrini<\/a> and will have the following program:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\u00a0<\/td>\n<\/tr>\n
15:15 – 15:55<\/td>\n\u00a0<\/td>\nJan van Eijck<\/a><\/strong><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\n<\/em>(Amsterdam & Utrecht)<\/em><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\nReflections on Message Passing<\/p>\n

(slides | handout on the\u00a0Gibbard\/Satterthwaite Theorem<\/a>)<\/td>\n<\/tr>\n

\n

A message is an item with a sender, a body of information, and a set of recipients, where the body of information can quote other messages. We will present a system for message passing (syntax plus semantics), discuss its logic, sketch some applications, and generate a list of open questions.\u00a0 Background assumptions are that message senders are honest, and that the network is reliable. (joint work with <\/em>Floor Sietsma<\/em><\/a>)<\/em><\/p><\/blockquote>\n<\/td>\n<\/tr>\n

\u00a0<\/td>\n<\/tr>\n
15:55 – 16:05<\/td>\n\u00a0<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
16:05 – 16:15<\/td>\n\u00a0<\/td>\nCoffee Break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
16:15 – 16:55<\/td>\n\u00a0<\/td>\nThomas \u00c5gotnes<\/a><\/strong><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\n(Bergen)<\/em><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\nScientia Potentia Est<\/td>\n<\/tr>\n
\n

In epistemic logic, multi-agent Kripke structures are used to model the distribution of information in a system. In this talk, I present an approach to quantifying how the information is distributed among the different agents, or how important each agent is, with respect to some fact represented as a goal formula. It is typically the case that the goal formula is distributed knowledge in the system, but that no individual agent alone knows it. It might be that several different groups of agents can get to know the goal formula together by combining their individual knowledge. I will argue that voting games and power indices such as the Banzhaf index, developed in game theory and voting theory, are useful for analysing such scenarios. These information-based power indices can be expressed in standard epistemic logic which allows, e.g., standard tools to be used to quantitatively analyse the distribution of information in a given Kripke structure. (joint work with Wiebe van der Hoek<\/a> and Michael Wooldridge<\/a>)<\/em><\/p><\/blockquote>\n<\/td>\n<\/tr>\n

\u00a0<\/td>\n<\/tr>\n
16:55 – 17:05<\/td>\n\u00a0<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
17:05 – 17:15<\/td>\n\u00a0<\/td>\nCoffee break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
17:15 – 17:55<\/td>\n\u00a0<\/td>\nMehdi Dastani<\/a><\/strong><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\n<\/em><\/em><\/strong><\/strong>(Utrecht)
\n<\/em><\/td>\n<\/tr>\n
\u00a0<\/td>\n\u00a0<\/td>\nProgramming Normative Mechanisms<\/td>\n<\/tr>\n
\n
\n
\n
\n
The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This paper is motivated by a programming language that is designed to implement environments in terms of normative concepts such as norms and sanctions. We provide a formal analysis of programmed normative environments from a mechanism design perspective. By doing this we relate normative environment programs to mechanism design, setting the stage for studying formal properties of normative environment programs such as whether a set of norms implements a specific choice function in a specific equilibria.<\/div>\n<\/div>\n<\/div>\n<\/blockquote>\n<\/td>\n<\/tr>\n
\u00a0<\/td>\n<\/tr>\n
17:55 – 18:05<\/td>\n\u00a0<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
\u00a0<\/td>\n<\/tr>\n
18:05 – 18:15<\/td>\n\u00a0<\/td>\nGeneral Discussion<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Thursday\u00a014\u00a0April we will have a special LIRa session on\u00a0Messages,\u00a0Information and Norms\u00a0in Utrecht.
\nThe session will start at 15:15 hrs, and will take place in\u00a0\u00a0Buys Ballot Laboratorium, Room 023,\u00a0Utrecht (a map of the location and public transport information\u00a0can be found here).
\n\u00a0The special session was co-organized\u00a0by Paolo Turrini and will have the following program:<\/p>\n

\u00a0<\/p>\n

15:15 – 15:55
\n\u00a0
\nJan van Eijck<\/p>\n

\u00a0
\n\u00a0
\n(Amsterdam […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-944","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/944","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=944"}],"version-history":[{"count":31,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/944\/revisions"}],"predecessor-version":[{"id":1012,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/944\/revisions\/1012"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=944"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=944"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=944"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}