四值非链格值命题逻辑系统L4P(X)的语义归结方法

摘要：

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持.

关键词：格蕴涵代数、自动推理:语义归结方法、四值命题逻辑系统

所属期刊栏目：28

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金资助项目60875034

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3226-3228,3238