A Workshop after my defence


The Many Faces of Protocols and Knowledge

Workshop Venue:

Doelenzaal at UB (University Library of UvA,
the route from the Agnietenkapel)

Singel 425 Amsterdam

Preliminary Program:

14:30-15:00 Coffee and tea

15:00-15:30 Johan van Benthem: Logic, Plans and Protocols

15:30-16:00 Eric Pacuit: Reasoning with Protocols under Imperfect Information

16:00-16:30 Sujata Ghosh: Changing Protocols and More ...

16:30-17:00 Break

17:00-17:30 Mohammad Dashti: Formalizing the failure detectors abstraction in set theory

17:30-18:00 Anton Wijs: Hierarchical adaptive state space caching based on level sampling


Logic, Plans and Protocols

Johan van Benthem

Abstract: This talk is a postscript to my paper "In Praise of Strategies",
talking about some additional issues that I find intriguing:
in particular, plans as beliefs, and the revision of plans.


Reasoning with Protocols under Imperfect Information

Eric Pacuit

Abstract: Various combinations of temporal logics, epistemic and doxastic logics,  and action logics have been used to reason about (groups of) agents in social situations.     A key issue that has emerged is how best  to represent and reason about the underlying   *protocol*  that governs the agents' interactions in a particular  social situation.  In this paper, we propose a PDL-style logic for reasoning about protocols under imperfect information. Our paper touches on a number of issues  surrounding the relationship between  an agent's abilities, available choices and information in an interactive situation.    We assume that the agents  may be uncertain about which (basic) actions are available (i.e., which choices are *feasible*).   The main question we address is under what circumstances can the agent commit to a protocol or plan, and what can she achieve by doing so.   

This is joint work with Sunil Simon


Changing protocols and more ...

Sujata Ghosh

In our daily life, we often have to cope with incomplete information and our reasoning is based on our limited observations of the surrounding world. Moreover, we also deal with partial knowledge of the alterations that are taking place at any point of time.

Quoting Yanjing Wang, "protocols rule the world" and thus, our incomplete knowledge status applies to protocols as well. In this talk, we discuss various logical frameworks with their gradual increase in intricacy, paving the road from complete to incomplete knowledge of protocols, specially about the changes pertaining to such protocols.

This is joint work with Hans van Ditmarsch, Rineke Verbrugge and Yanjing Wang.


Formalizing the failure detectors abstraction in set theory

Mohammad Torabi Dashti
Abstract: In distributed protocols, asynchrony adversely affects the amount of knowledge a process can obtain about the failures of other processes. Failure detectors, intuitively, are (unreliable) distributed oracles which can be queried about the failures. Any distributed problem can be attributed with a poset of failure detectors which provide sufficient information for solving the problem. We prove that any such poset has a least element, i.e. there is a weakest failure detector for any distributed problem. Weakest failure detectors characterize the levels of synchrony that are necessary for solving distributed problems.


Hierarchical adaptive state space caching based on level sampling

Anton Wijs

Abstract: TBA

Related Events:

Public defence of Yanjing Wang's Ph.D

Oudezijds Voorburgwal 231
Time: 12:00 (sharp!), Tuesday 21 Sept.

Farewell Party:

Place :
VOC Cafe de Schreierstoren
Prins Hendrikkade 94/95 (2-min walk from AMS CS)
Time: 21:00-24:00, Tuesday 21 Sept.