文件名称:论文研究-四值非链格值命题逻辑系统L4P(X)的语义归结方法.pdf
文件大小:419KB
文件格式:PDF
更新时间:2022-08-11 12:22:56
格蕴涵代数,自动推理,语义归结方法,四值命题逻辑系统
为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。
文件名称:论文研究-四值非链格值命题逻辑系统L4P(X)的语义归结方法.pdf
文件大小:419KB
文件格式:PDF
更新时间:2022-08-11 12:22:56
格蕴涵代数,自动推理,语义归结方法,四值命题逻辑系统
为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。