基于元素干扰S-粗集知识的推理-识别

Element transfer-based dynamic inference and recognition of S-rough set knowledge

利用数理逻辑中命题逻辑的形式,给出元素干扰与关系因子的逻辑推理表示,然后给出知识系统受到外部因素干扰时,知识的逻辑推理表示,以及S-粗集的逻辑推理表示,给出知识的动态推理与识别定理,S-粗集的动态推理与识别定理。解决了元素干扰对系统进行干扰时,S-粗集知识的动态推理与识别问题。

By using the model of propositional logic of symbolic logic, the expression of logic inference for system interferes and relation factors were given. Then the expressions of logic inference for system knowledge and logic inference for S-rough sets were given under the condition that the knowledge system was interfered with by exterior factors. Finally, the dynamic inference and recognition theorem of knowledge, and the dynamic inference and recognition theorem of S-rough sets were given. The problem of dynamic interference and recognition of knowledge for S-rough sets were solved when a system was interfered with by element interference.