α-归结原理相关论文
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,......
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结......
在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进......
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可......
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自......
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-......