1. Modeling “Comparing Information Without Leaking It” Eamon Nerbonne Ando Emerencia Kripke Models and Epistemic Actions

2. What is CIWLI? Epistemic Actions Modeling CIWLI: an example Our implementation Conclusions Outline

3. Third party solution What is CIWLI?

4. Epistemic Actions Structured way to “update” Kripke models Similar to Kripke models

5. An Example

6. Modeling CIWLI Assumptions The protocol in four steps

7. Assumptions Knowing is believing Beliefs are consistent (seriality) Agents play fair Agents want to compare their beliefs regarding p

8. A simple example

9. Another simple example

10. Restricting the complexity X believes that Z X believes that Y believes that Z

11. The protocol in four steps A and B both believe p Agent C knows nothing (believes everything) about the beliefs of the other agents regarding p

12. 1: Initial Situation

13. 1: Initial Situation (cont.)

19. 2: A tells C her belief

20. 2: A tells C her belief (cont.)

21. 3: B tells C her belief

22. 3: B tells C her belief (cont.)

23. 4: C telling agents A and B if their beliefs are equivalent or not

25. Our implementation

26. Conclusions Simple implementations of CIWLI can be modeled effectively using Kripke models and action models Our implementation can be utilized to automatically generate minimized Kripke models from applying action models to Kripke models

27. ?

28. Future Work Action models using an action language Graph generation by theorem prover Guaranteeing graph properties like transitive?