Knowledge and the Passage of Time

Computational Logic SeminarTuesday, May 7, 20132:00 pmGraduate Center, rm. 3209

Yoram Moses

Knowledge and the Passage of Time

Israel Institute of Technology - Technion

This talk will discuss how knowledge, nested knowledge, and common knowledge are gained in the presence of clocks and time bound information. It will complement the previous talk, in providing the causal structure underlying knowledge gain, from which the causal structure underlying basic coordination follows.

The talk will be based on joint work with Ido Ben Zvi.

Yoram Moses is a Professor in the Electrical Engineering Department at the Technion – Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986. Moses is a co-author of the book Reasoning About Knowledge, and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing. His major research interests are distributed systems and reasoning about knowledge.

Posted by on May 5th, 2013