Lorentz Center - To Be Announced! Synthesis of Epistemic Protocols from 17 Aug 2015 through 21 Aug 2015
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    To Be Announced! Synthesis of Epistemic Protocols
    from 17 Aug 2015 through 21 Aug 2015


Questions on five themes for Lorentz workshop To Be Announced


  1. Typically agents are primitive. They are names. Can we define agents by their epistemic properties or their roles?
  2. What does agent A need to know about B to be able to reason about B's knowledge ?
  3. How is agency related to control, to ensuring consequences ?
  4. We assume a fixed set of agents typically. How do we get beyond this, for example, can we assume an arbitrary number of agents, an infinite number of agents, or a dynamically varying number of agents?
  5. Our models view agents from the outside, how do we incorporate agents' view of the world from inside agents ?


  1. How do we reconcile modelling communications as formulas (such as public announcements), with a fixed meaning, and modelling them as bit strings, that allow multiple meanings ?
  2. How do we understand group communication, in view of different communication modes such as sending, copying, forwarding, broadcast ?
  3. How are protocols dependent on properties of communication media ?
  4. How do we analyse security implications, both in epistemic preconditions of communication protocols and as epistemic goals ?
  5. What does it mean to know a communication protocol ?


  1. How do we distinguish concurrency from simultaneity ?
  2. How do we distinguish centralized solutions from distributed solutions ? Is there a relation to the distinction between outsider perspective and agent perspective ?
  3. How do we deal with unbounded concurrency ?
  4. Is there a knowledge / time tradeoff, whereby we may know more by simply waiting ?
  5. Partial order models are standard in concurrency theory. How is epistemic logic to make use of them ?


  1. How do we distinguish factual uncertainty from epistemic uncertainty ?
  2. How do we relate epistemic update to probabilistic update ?
  3. How do we construct epistemic protocols for (say) mean payoff goals ?
  4. How do we relate quantitative probability with qualitative likelihood ?
  5. Epistemic uncertainty is typically between full descriptions, whereas incompleteness is about partial descriptions. What is the trade-off between the two ?


  1. How do we distinguish plans, protocols, programs and strategies ? Do we need to ?
  2. Plans are mostly considered to be sequences or programs. Strategies usually lack structure, only their existence is discussed. Do we need more structure in plans and strategies ?
  3. Game theory is almost all about randomized ('mixed') strategies and epistemic planning seems about deterministic ('pure') strategies. How do we explain this ?
  4. We usually describe the complexity of planning or plan generation. What is the complexity of plans ?
  5. Strategy selection is often left implicit in game theory and robot planning. Can strategy selection be explicit in the arena of epistemic reasoning ?