归结原理论文
基于直觉区间值模糊理论的近似推理与多属性决策研究
论文摘要在很多实际系统中均不同程度地存在着不确定性。美国电子工程与控制论专家L.A.Zadeh是位很有洞察力的科学家,他正视并为解决这类问题于1965年,发表了《模糊集合》一文...基于语言真值格值逻辑的归结自动推理研究
论文摘要关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容.为处理某些不确定性信息的推理问题,建立在格值逻辑系统上的归结理论与方法得到了快速发展.另一方面,人类处理不...基于归结原理的程序综合设计与实现
论文摘要广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。通过一般情况下,构造性的证明过程才能抽取程序。归结原理是一种反证法,人们早已知道可以从归结证明...