Causing the problem a) because the theoretical models shaped like classical modal logic using the K axiom style theorem. Causing the problem b), for two main reasons: The first is because the use of theoretical models shaped like classical modal RN rule-based logic rules cause; second point is in computer science, especially in the cluster to work together under the cognitive process of intelligent agents should not exist so-called "tautology" mode theorem, all formulas established or constructive proof should be adopted to conduct feasibility studies, instead of the traditional two-valued logic in the form of coarse precision characterization.