Details
The outer fringe of a knowledge state is the set of all items that can be learned from that state, such that adding an outer-fringe item to the state results in another state in K,
\(K^O = \{q \notin K | K \cup \{q\} \in \mathcal{K}\}.\)
The inner fringe of a knowledge state is the set of all items that have been learned most recently to reach that state, such that deleting an inner-fringe item from the state results in another state in K,
\(K^I = \{q \in K | K - \{q\} \in \mathcal{K}\}.\)