The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Decisions taken by an agent in a multi-agent system depend on the agent's local information. A new formulation of the connection between knowledge and action in multi-agent systems allows new insights into the design of such systems. The first part of this talk will relate knowledge to coordinated action in a multi-agent setting. The second part of the talk will use the observations made in the first part to capture the role of time and timing information in coordinating actions in systems with clocks. While message chains play a dominant role in asynchronous systems, a corresponding notion is established for systems with clocks and time bounds on message delivery. The second part is based on joint work with Ido Ben Zvi.