Knowledge and Coordinated Action 1/2

Описание: By Yoram Moses (Technion)
Abstract: 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. This talk will discuss how a theory of what agents know about the world and about knowledge of others can help in the design and analysis of distributed computer systems. Based in part on joint work with Armando Castaneda and Yannai Gonczarowski.

Coordination and Time
Abstract: The first part of this talk will use the results of the first talk to 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.