Date: Wed, 13 Apr 2011 13:35:28 +0200 (CEST) From: Bas Basten To: sen1-list Subject: SEN1 Meeting tomorrow, Floor Sietsma Dear all, Tomorrow Floor will give a talk at the SEN1 Meeting, titled "Logic of Message Passing between Knowledgeable Agents". Since she is going to New York soon, she would like to practice her talk with us. Abstract: We present a logic to reason about the knowledge of agents and how their knowledge changes when they communicate by means of messages. The novelty in our approach is that we represent both the agent's knowledge and the messages explicitly. We use Kripke frames to model the agent's knowledge and incorporate the messages in these frames. We present a way to update our frames when a new message is sent. This way we can reason about the effect of messages. We know how to do model checking on these Kripke frames. An open question is to find a complete axiomatization of our logic. As usual, we start at 10 in room L016. See you all there :) Cheers, Bas