Definition 2.2 (Knowledge Function)  Let \(\M=\langle W,\{\Pi_i\}_{i\in\A},\sigma\rangle\) be an epistemic model. The knowledge function for agent \(i\) based on \(\M\) is \(K_i:\pow(W)\rightarrow\pow(W)\) with: