本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。本文在分析了现有的几种可视化技术后,提出了可视化归结反演过程的概念,确定了归结反演过程中的可视化对象和可视化方法,即用树结构可视化逻辑公式,用层次图可视化归结反演过程,并在计算机上实现了可视化的归结反演系统VR。在VR中,完成了逻辑公式在计算机内的表示,实现了归结反演中的算法,并利用可视化技术实现了五种策略的归结反演过程的可视化,同时对归结反演的两个中间阶段进行了可视化。实验表明,本系统对归结反演过程可以进行有效的可视化表示,其有助于理解归结反演过程,并且为研究归结反演过程提供了有效的辅助工具。对于可视化结果的分析,本文提出了一种可视化归结过程复杂度的度量方法,建立了一种归结反演可视化复杂度的度量模型,在VR中予以实现。当可视化技术应用于某一领域中时,用户可以非常直观的了解相应的过程。然而针对不同的算法,不同的运行结果,甚至不同的用户都需要选择不同的可视化处理方法。因此,不断研究如何用好可视化技术是一件长远而有意义的工作。