S-粗集知识的动态推理与识别

利用数理逻辑中命题逻辑的形式, 给出知识系统受到外部属性干扰时, 干扰的逻辑推理结构, 知识的动态推理与识别, 提出知识的推理识别定理, S-粗集的推理识别定理, 知识的动态推理识别原理。 给出知识的动态推理与识别在知识动态识别中的应用。

Dynamic inference and recognition of S-rough sets knowledge

When the knowledge system was interfered dynamically by some exterior attributes, a logic inference structure for system interferes was constructed and the issue of dynamic inference and recognition of knowledge was proposed by using the propositional logic model of symbolic logic. Then, the theorem of inference and recognition of knowledge, the theorem of inference and recognition of S-rough sets, and the principle of inference and recognition of knowledge were given. Finally, the application of dynamic inference and recognition of knowledge in the issue of dynamic recognition of knowledge was presented.