%0 Journal Article
%T 一种求解tableau等式合一问题的算法
%J 计算机科学
%D 2006
%X 在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法——等式合一方法，并证明了它的可靠性和完备性。在该方法中，将tableau分成两个阶段，等词单独处理，通过提取等式合一问题并求解解替换封闭tableau，进一步限制了tableau的搜索空间，提高了tableau的推理效率。同时，为了研究等式合一方法的有效性，在解替换求解方面，提出了提取不等式析取，并在启发式的帮助下计算等价类的方法。通过实例分析，结果表明，等式合一方法优于其它方法。
%K 等式合一不等式析取等价类tableau方法求解算法扩展规则搜索空间完备性可靠性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21101860&flag=1