归结自动推理相关论文
随着人工智能的发展,人们的生活越来越智能化,日常生活中在客观评价和推理时,会有很多不确定性的信息。人类在表达不确定信息时习......
关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容，为处理某些不确定性信息的推理问题，建立在格值逻辑系统上的归结理......
给出了格值命题逻辑系统L9P（X）上的放缩原理和放缩归结原理，基于放缩归结原理，给出了一种判断，L9P（X）上子句集S为M-可满足的自动推理算法（......
在格值命题逻辑系统L2n＋1P（X）上，提出了半正则的正广义文字和半正则的负广义文字的概念，进一步给出了半正则广义子句和半正则广义予句集......
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-......
