论文研究 非经典切片技术及其在形式验证中的应用综述.pdf

对形式背景上的G偏序集、M偏序集和GM偏序集的偏序关系作了进一步讨论，提出了对象上邻、对象下邻、属性上邻、属性下邻、对象上界、对象下界、属性上界、属性下界和极大对象下界等概念，并根据上下邻之间的关系给出G偏序图、M偏序图和GM偏序图的构建算法，最后给出了不需要建格而可直接在GM偏序图上进行规则提取的算法，并通过实例验证了算法的有效性。