期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于有限格蕴涵代数的格值命题逻辑语法系统 被引量：17
1
作者 马骏 高雅 +1 位作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.
关键词 多值逻辑 逻辑代数 格蕴涵代数 语法系统 格值命题逻辑
在线阅读 下载PDF
格值命题逻辑系统L9P(X)中的自动推理算法 被引量：5
2
作者 李晓冰 邱小平 徐扬 《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
关键词 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法
在线阅读 下载PDF
基于有限格蕴涵代数的格值命题逻辑语义系统 被引量：3
3
作者 马骏 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期557-560,共4页
以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”
关键词 有限格蕴涵代数 多值逻辑 逻辑代数 格值命题逻辑语义系统 数理逻辑
在线阅读 下载PDF
基于路径搜索的格值命题逻辑自动推理方法 被引量：2
4
作者 李海明 刘鹏仙 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2003年第3期248-252,共5页
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.
关键词 自动推理 路径搜索 格值命题逻辑 删除策略 子句集 互补对 计算复杂性
在线阅读 下载PDF
格值命题逻辑系统L_(vpl)中的推理规则 被引量：2
5
作者 陈树伟 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2006年第2期256-258,共3页
为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L... 为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭. 展开更多
关键词 格值命题逻辑 推理规则 封闭性 语法 语义
在线阅读 下载PDF
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 被引量：1
6
作者 刘熠 徐扬 贾海瑞 《计算机科学》 CSCD 北大核心 2015年第4期249-252,280,共5页
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有... 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。 展开更多
关键词 格蕴涵代数 格值命题逻辑 多元α-归结原理
在线阅读 下载PDF
格值命题逻辑系统中广义文字的正规性
7
作者 何星星 徐扬 +1 位作者 李莹芳 张家锋 《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。 展开更多
关键词 格值命题逻辑 α-归结原理 广义文字 正规性 语义性质
在线阅读 下载PDF
命题逻辑中非子句α-有序线性广义归结方法
8
作者 贾海瑞 徐扬 邓鹏 《计算机科学与探索》 CSCD 北大核心 2015年第7期847-853,共7页
为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继... 为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。 展开更多
关键词 格蕴涵代数 自动推理 格值命题逻辑 非子句多元α-有序线性广义归结
在线阅读 下载PDF
格值语义归结推理方法 被引量：8
9
作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多
关键词 格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法
在线阅读 下载PDF
格蕴涵代数中滤子的若干性质 被引量：4
10
作者 王学芳 徐扬 宋振明 《西南交通大学学报》 EI CSCD 北大核心 2001年第5期536-539,共4页
首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任... 首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态 ,使这个滤子就是同态的对偶核。 展开更多
关键词 超滤 固执滤子 格蕴涵代数 格值命题逻辑系统 蕴涵同态 极大关联滤子
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部