非确定信息系统中知识算子的语义

在基于知识的计算机系统中,如何对知识进行推理的方法是很重要的,从粗略集合出发,可以给出知识算子的定义,在[1]中,E.Orlowska 给出了不可辨明关系是等价关系的情形,由于我们一般情况下考查的不可辨明关系不具有传递性,我们考查了不可辨明关系是半等价关系的情形,重新给出了集合的上、下逼近的定义,给出了相应的知识算子,以及一组当事人的公共知识和合知识的情形,我们的结果是 E.Orlowska 的推广。