Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

16 December 2010, Computational Social Choice Seminar, Floor Sietsma

Speaker: Floor Sietsma (CWI)
Title: On Email Exchanges
Date: Thursday 16 December 2010
Time: 16:00
Location: Room A1.04, Science Park 904, Amsterdam

Abstract:

Email is by now a prevalent form of communication. There is a great deal of information present in the emails people send and receive. We present a formal framework to investigate the epistemic consequences of email communication. Our central question is: after a certain email conversation has taken place, who knows what? This is an interesting question in a variety of settings. One example is a large company that finds out that a certain employer secretly works for a competitor and wants to investigate what secret information has been revealed to this employer. We give a history-based semantics for modeling email communication, and a logic to reason about it. We show that we can precisely characterize when a group of agents gains common knowledge and we give a partial decidability result of our logic.

For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

Please note that this newsitem has been archived, and may contain outdated information or links.