基于有限格蕴涵代数的格值命题逻辑语法系统 被引量：17

1

作者 马骏 高雅 +1 位作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页

以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.

关键词 多值逻辑 逻辑代数 格蕴涵代数 语法系统 格值命题逻辑

在线阅读 下载PDF 职称材料

格值命题逻辑系统L(X)(Ⅱ) 被引量：13

2

作者 秦克云 徐扬 宋振明 《模糊系统与数学》 CSCD 1998年第1期10-19,共10页

本文讨论以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ）的语法问题，给出了系统的公理和推演规则，并证明了系统的可靠性定理、演绎定理＊及协调性定理。

关键词 格蕴涵代数 演绎定理 可靠性 格值命题逻辑

在线阅读 下载PDF 职称材料

格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 被引量：8

3

作者 李晓冰 邱小平 徐扬 《模糊系统与数学》 CSCD 北大核心 2009年第4期21-26,共6页

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L... 在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。 展开更多

关键词 半正则的广义文字 中界元 格值命题逻辑系统 归结自动推理 自动推理算法

在线阅读 下载PDF 职称材料

格值命题逻辑系统中基于滤子的MP归结演绎 被引量：8

4

作者 夏世芬 秦应兵 徐扬 《模糊系统与数学》 CSCD 北大核心 2009年第1期1-5,共5页

给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的... 给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。 展开更多

关键词 格蕴涵代数 格值命题逻辑 归结 滤子

在线阅读 下载PDF 职称材料

格值命题逻辑系统L9P(X)中的自动推理算法 被引量：5

5

作者 李晓冰 邱小平 徐扬 《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页

给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。

关键词 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法

在线阅读 下载PDF 职称材料

格值命题逻辑系统L(X)(I) 被引量：9

6

作者 秦克云 徐扬 《模糊系统与数学》 CSCD 1997年第4期5-11,共7页

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。

关键词 格蕴涵代数 多值逻辑 格值命题逻辑 模糊逻辑

在线阅读 下载PDF 职称材料

基于有限格蕴涵代数的格值命题逻辑语义系统 被引量：3

7

作者 马骏 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期557-560,共4页

以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”

关键词 有限格蕴涵代数 多值逻辑 逻辑代数 格值命题逻辑语义系统 数理逻辑

在线阅读 下载PDF 职称材料

基于路径搜索的格值命题逻辑自动推理方法 被引量：2

8

作者 李海明 刘鹏仙 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2003年第3期248-252,共5页

提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.

关键词 自动推理 路径搜索 格值命题逻辑 删除策略 子句集 互补对 计算复杂性

在线阅读 下载PDF 职称材料

格值命题逻辑系统L_(vpl)中的推理规则 被引量：2

9

作者 陈树伟 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2006年第2期256-258,共3页

为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L... 为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭. 展开更多

关键词 格值命题逻辑 推理规则 封闭性 语法 语义

在线阅读 下载PDF 职称材料

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 被引量：1

10

作者 刘熠 徐扬 贾海瑞 《计算机科学》 CSCD 北大核心 2015年第4期249-252,280,共5页

进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有... 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。 展开更多

关键词 格蕴涵代数 格值命题逻辑 多元α-归结原理

在线阅读 下载PDF 职称材料

格值命题逻辑系统中广义文字的正规性

11

作者 何星星 徐扬 +1 位作者 李莹芳 张家锋 《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。 展开更多

关键词 格值命题逻辑 α-归结原理 广义文字 正规性 语义性质

在线阅读 下载PDF 职称材料

格值命题逻辑系统LP(X)的α-超归结原理 被引量：1

12

作者 李晓冰 《中国新技术新产品》 2009年第24期234-234,共1页

本文提出了格值命题逻辑系统LP(X)上的α-超归结原理,并证明了其可靠性和完备性。

关键词 格值命题逻辑系统 归结自动推理 α-归结原理 α-超归结原理

在线阅读 下载PDF 职称材料

格值命题逻辑LP(X)中不可分极简式的性质

13

作者 王伟 徐扬 秦克云 《模糊系统与数学》 CSCD 2004年第1期47-52,共6页

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法,能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念,本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论,... 基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法,能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念,本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论,得到了一些重要结论。 展开更多

关键词 格值命题逻辑 不可分极简式 格蕴涵代数 命题变元 α-归结自动推理

在线阅读 下载PDF 职称材料

格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理 被引量：2

14

作者 李晓冰 《电脑知识与技术》 2009年第11X期9547-9549,共3页

针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动... 针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。 展开更多

关键词 格值命题逻辑系统 归结自动推理 α-归结原理 II-α-超归结原理

在线阅读 下载PDF 职称材料

格值命题逻辑LP（X）中自动推理算法效率分析

15

作者 李晓冰 《电脑知识与技术》 2010年第12期9802-9803,9809,共3页

在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进行了分析。分析表明,该算法不仅降低了计算复杂度,而且减少了搜索次数。

关键词 格值命题逻辑系统 α-归结自动推理 α-归结原理 算法 计算效率

在线阅读 下载PDF 职称材料

分层的格值命题逻辑系统L_(vpl)中的推理规则

16

作者 常之艳 陈树伟 +1 位作者 刘蓓 徐扬 《模糊系统与数学》 北大核心 2021年第1期1-8,共8页

格值命题逻辑系统L_(vpl)中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强。针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究。本文通过研究分析二值逻辑中推... 格值命题逻辑系统L_(vpl)中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强。针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究。本文通过研究分析二值逻辑中推理规则的特点,来研究L_(vpl)中的推理规则。给出L_(vpl)中推理规则的公式演绎部分需要满足的条件,为L_(vpl)中推理规则的选取提供了合理的基础。最后,给出一些具体的常用的推理规则的例子。 展开更多

关键词 格值命题逻辑 推理规则 语义 语法 封闭性

原文传递

有限格值命题逻辑的语义理论

17

作者 潘小东 徐扬 《中国科学：信息科学》 CSCD 2010年第11期1417-1427,共11页

基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推... 基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题. 展开更多

关键词 格值命题逻辑 语义理论 L型重言式 相容性 格蕴涵代数

原文传递

命题逻辑中非子句α-有序线性广义归结方法

18

作者 贾海瑞 徐扬 邓鹏 《计算机科学与探索》 CSCD 北大核心 2015年第7期847-853,共7页

为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继... 为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。 展开更多

关键词 格蕴涵代数 自动推理 格值命题逻辑 非子句多元α-有序线性广义归结

在线阅读 下载PDF 职称材料

格值语义归结推理方法 被引量：8

19

作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页

归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多

关键词 格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法

在线阅读 下载PDF 职称材料

格值模态命题逻辑及其完备性 被引量：4

20

作者 王国俊 时慧娴 《中国科学：信息科学》 CSCD 2011年第1期66-76,共11页

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建... 文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性. 展开更多

关键词 格值模态命题逻辑 模态模型 QMR0代数 有效公式 完备性

原文传递