归结反演中的可视化技术研究-计算机应用技术专业论文.docxVIP

摘要本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种 摘要 本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种 可视化方法和归结原理的基础上，实现了归结反演可视化系统。 本文在分析了现有的几种可视化技术后，提出了可视化归结反演过程的概念， 确定了归结反演过程中的可视化对象和可视化方法，即用树结构可视化逻辑公式， 用层次图可视化归结反演过程，并在计算机上实现了可视化的归结反演系统VR。 在VR中，完成了逻辑公式在计算机内的表示，实现了归结反演中的算法，并 利用可视化技术实现了五种策略的归结反演过程的可视化，同时对归结反演的两 个中间阶段进行了可视化。实验表明，本系统对归结反演过程可以进行有效的可 视化表示，其有助于理解归结反演过程，并且为研究归结反演过程提供了有效的 辅助工具。 对于可视化结果的分析，本文提出了一种可视化归结过程复杂度的度量方法， 建立了一种归结反演可视化复杂度的度量模型，在VR中予以实现。 当可视化技术应用于某一领域中时，用户可以非常直观的了解相应的过程。 然而针对不同的算法，不同的运行结果，甚至不同的用户都需要选择不同的可视 化处理方法。因此，不断研究如何用好可视化技术是一件长远而有意义的工作。 关键词：可视化技术；归结反演；谓词逻辑 分类号：TP39 AB AB STRACT This paper mainly researched the visualization technique in resolution refutation·On the basis of the comprehensive study of various visualization methods and principles of resolution refutation，the visual system for resolution refutation WaS realized in the Paper． A腑the analysis of several kinds of existing visualization techniques，the concept ot visual resolution re如tation was presented in this paper．Then visual objects and techniques wefe decided in the process of resolution refutation：the tree for logic eXpression and layered．drawing graph for resolution refutation．Finally,the visual system VR was finished on the computer． In VR．the inner form of logic expression was completed in the computer,and then t11e al∞rithms were achieved．At last，we made use of visualization technology to finish the visualization of resolution refutation with five strategies and its two middle stages· VR is proved to be effective in visualizing the resolution refutation，which helps to understand the process and provide an effective tool for research on resolutlon refutation． In the pmcess of analyzing the visual results，the paper proposed the problem of complexitv measurement in visual resolution refutation and then established a metric model with corresponding achievement in VR． When visualization technique is applied in some fields，the users can understand the Drocesses intuitively．However,we need to choose different vis