Date and Time:Thursday, 21 February 2008, 14:00-ca. 15:00

Speaker:Mehrnoosh Sadrzadeh (Labo PPS, Paris 7 and Computing Lab, Oxford University)

Title: Aximo: implementation of a decision procedure for information flow..

Abstract:

(Joint work with Simon Richards, University of Southampton) I will present

1. a rewrite system to reason about information flow in interactive multi-agent scenarios,
2. an implementation of it that mechanizes the reasoning,
3. termination and complexity of the proof procedure,
4. soundness and a-completeness of the system wrt the algebraic semantics of DEL (previous work with Baltag and Coecke),
5. demos on lying and cheating muddy children.