Research On Visualization Techniques Of Resolution Refutation

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.After the analysis of several kinds of existing visualization techniques, the concept of visual resolution refutation was presented in this paper. Then visual objects and techniques were 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 the algorithms 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 resolution refutation.In the process of analyzing the visual results, the paper proposed the problem of complexity 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 processes intuitively. However, we need to choose different visual approaches for different algorithms, operating results, or even users. Therefore, it is a long and meaningful work to continue to study how to make good use of visualization technique.