The Logic and Geometry of Agents

Wednesday, November 5, 2003 - 10:50am - 11:25am
Keller 3-180
Samson Abramsky (University of Oxford)
We describe some perspectives on systems of interacting agents which have arisen in recent work on Game Semantics and Geometry of Interaction. We show how types and logical structure can be used to enforce compositional behaviour, so that we can plug several sub-systems of agents into a compound system with more complex behaviour in a disciplined fashion.

We also show how very simple `copy-cat' agents can be composed to yield a universal model of computation, of a strikingly geometric nature. This model also has connections with reversible and quantum computation.