摘要

旨在建立起多粒度空间中粗糙近似算子与知识推理中认知算子之间的一一对应关系,从而给出多粒度空间中粗糙近似算子更为合理的语义解释。对于任意逻辑公式,通过分析其语义集与加了认知算子后的语义集之间的关系,证明了全知算子EG对应于多粒度空间中模型AIU中的下近似算子,公共知识认知算子CG对应于模型RU中的下近似算子,分配知识认知算子DG对应于模型RI中的下近似算子,所得结论是模态逻辑与Pawlak粗糙集之间对应关系在多当事人环境下的推广。