Format definition of K(E)={s \in S | P(s) \subset E }, where P is partition of S, ensures that K(K(E))=K(E). It’s easy to see: if s \in K(E) then P(s) \subset e, thus s \in K(K(E)), and similarly for s \notin K(E).
As for informal sence, I don’t see much use of K(K(E)) where E is a plain fact, if I aware that I know E, introspecting on that awareness will provide as much K-s as I like and little more. If I don’t aware that I know E (deep buried memory?), I will be aware of it when I remember it. But If I know that I know some class of facts or rules, that is useful for planning. However I can’t come up with useful example for K(K(K())) and higher.
Addition: Aumann’s formalization have limitations: it can’t represent false knowledge, memory glitches (when I know that I know something, but I can’t remember it), meta-knowledge, knowledge of rules of any kind (I’m not completely sure about rules).
Format definition of K(E)={s \in S | P(s) \subset E }, where P is partition of S, ensures that K(K(E))=K(E). It’s easy to see: if s \in K(E) then P(s) \subset e, thus s \in K(K(E)), and similarly for s \notin K(E).
As for informal sence, I don’t see much use of K(K(E)) where E is a plain fact, if I aware that I know E, introspecting on that awareness will provide as much K-s as I like and little more. If I don’t aware that I know E (deep buried memory?), I will be aware of it when I remember it. But If I know that I know some class of facts or rules, that is useful for planning. However I can’t come up with useful example for K(K(K())) and higher.
Addition: Aumann’s formalization have limitations: it can’t represent false knowledge, memory glitches (when I know that I know something, but I can’t remember it), meta-knowledge, knowledge of rules of any kind (I’m not completely sure about rules).