分享到:

使用约化的锁语义归结原理

本文在作者以前提出的锁语义归结原理中,使用了约化的手段,以代替通常的归结原理  (本文共4页) 阅读全文>>

《吉林大学自然科学学报》1980年04期
吉林大学自然科学学报

狭义模糊逻辑中的锁语义归结原理

在狭义模糊逻辑中的锁语义归结原理可以有比在广义模糊逻辑中...  (本文共5页) 阅读全文>>

《计算机学报》1980年02期
计算机学报

广义模糊逻辑和锁语义归结原理

将命题的真值取在格上的模糊逻辑,我们称为广义模糊逻辑。本文讨论了这种广义模糊逻辑的性质,并证明了,对于一阶谓词公式,在广义模糊逻辑中的不可满足性和在二值...  (本文共15页) 阅读全文>>

《中国科学(A辑 数学 物理学 天文学 技术科学)》1982年11期
中国科学(A辑 数学 物理学 天文学 技术科学)

关于归结原理中的取因子问题

本文提出了约化式的概念。证明了:在归结原理中,...  (本文共7页) 阅读全文>>

《辽宁师范大学学报(自然科学版)》1970年20期
辽宁师范大学学报(自然科学版)

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上,用[0,1]中的两个实数表示一个命题的...  (本文共4页) 阅读全文>>

西南交通大学
西南交通大学

基于格蕴涵代数的格值逻辑系统的归结自动推理研究

关于不确定性信息处理的研究是当前人工智能领域的一类重要的研究内容。为了处理不确定性信息,人们发展了各种相关的工具和方法,也形成了大量相关的研究成果。其中多值逻辑对于刻画和处理客观世界中的不确定性或者人类主观认识客观世界过程中所产生的不确定性起到了重要的作用。格值逻辑是一种重要的多值逻辑,它特别将链状真值域扩充为较一般的格结构,既能处理全序信息,又能处理不可比信息,从而可以更有效地描述和处理人类推理、判断和决策中的某种不确定性。基于归结方法的自动推理是定理机器证明中重要的手段之一。自从1965年,基于归结方法的自动推理提出以来,关于归结原理的研究取得了许多研究成果并在人工智能,逻辑编程,定理证明,问题求解和数据库理论等领域中得到了广泛应用。为处理基于某些不确定性信息的推理问题,建立在多值逻辑系统中的归结理论与方法的研究得到了快速发展。本文的研究工作即属于多值逻辑中的归结理论与方法研究的范畴。本文的工作是在徐扬和秦克云教授等关于格蕴...  (本文共121页) 本文目录 | 阅读全文>>