Automated Reasoning Based on Tableau

LIU Quan,SUN Ji-Gui,YU Wan-Jun
DOI: https://doi.org/10.3969/j.issn.1002-137X.2005.11.001
2005-01-01
Computer Science
Abstract:Tableau is an automated reasoning method approaching logic system. Tableau method has become one of the widespread automated reasoning due to its universal and audio-visual properties and easy to implement. In recent years many research results have been brought in related technology and tactics, theory and method in order to improve greatly in efficiency. Finally proposed is possible research trend of the development of tableau in the future.
What problem does this paper attempt to address?