11.17 知识的一致性准则
（1）称知识 𝐾 = ⟨𝑃, 𝑄⟩ 是一致的，如果：
语法，即存在性 𝑃 是语义的前提与条件；
语义 𝑄 是语法 𝑃 的结果；
（2）称知识 𝐾 = ⟨𝑃, 𝑄, 𝑀⟩ 是一致的，如果：
⟨𝑃, 𝑄⟩ 是一致的；
𝑀 是 ⟨𝑃, 𝑄⟩ 的结果；
（3）知识 𝐾 = ⟨𝑃, 𝑄, 𝑀, 𝑅⟩ 是一致的，如果：
⟨𝑃, 𝑄, 𝑀⟩ 是一致的；
𝑅 是 ⟨𝑃, 𝑄, 𝑀⟩ 的原因。
定义 11.1（2 可解释知识树）给定 𝐴 ，它是模型 ℳ 的信息系统，
𝐴 是一个不可约非负矩阵，𝑇 是 𝐴 的编码树，𝑇[ℳ] 是编码树 𝑇
确定的 𝐴 在 ℳ 中的知识树。
我们称 𝑇[ℳ] 是可解释的， 如果： 对每一个𝛼 ∈ 𝑇 ， 𝐾𝛼 =
⟨𝑃𝛼[ℳ], 𝑄𝛼[ℳ], 𝑀𝛼[ℳ], 𝑅𝛼[ℳ]⟩ 是一致的。