格值命题逻辑相关论文
非经典逻辑的研究一直是人工智能领域中非常受人关注的一个研究方向.目前,基于非经典逻辑的自动定理证明系统由于它加速了人工智能......
该文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP(X)的研究工作,对格蕴涵代数以及格值命题逻辑......
不确定性推理是人工智能和专家系统研究的核心内容之一,而非经典逻辑是不确定性推理的理论基础,因此它的研究具有重要的理论意义和......
为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数（lattice impl......
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP（X）的多元α-归结原理的基本理论,给出了基于LP（X）的多元α-归结演绎中参与多元......
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速......
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证......
为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部......
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结......
给出了格值命题逻辑系统中子句的极简规则型范式，定义了MP归结。结合格蕴涵代数中滤子的性质，对格值命题逻辑系统中基于滤子的MP归结......
基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不......
