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

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

Third party solution What is CIWLI?

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

An Example

Modeling CIWLI Assumptions The protocol in four steps

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

A simple example

Another simple example

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

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

1: Initial Situation

1: Initial Situation (cont.)

2: A tells C her belief

2: A tells C her belief (cont.)

3: B tells C her belief

3: B tells C her belief (cont.)

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

Our implementation

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

?

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