几何信息压缩在计算机自动推理系统中的研究

摘要

着力于在推理系统中合理地组织几何信息的数据结构,提高推理的效率,减小算法的时间复杂度,对信息进行了描述,采用了等价类、角的压缩和归一化、信息组对等方法,阐述了几何信息在推理时压缩的实现,介绍了压缩信息的展开与提取技术,并通过计算机程序证明该类方法可以实现.实验结果表明,对较复杂的几何问题来说,采用这种方法可以显著提高推理效率.