期刊文献+
共找到46篇文章
< 1 2 3 >
每页显示 20 50 100
基于完备剩余格值逻辑的自动机和文法理论 被引量:9
1
作者 彭家寅 《模式识别与人工智能》 EI CSCD 北大核心 2011年第5期610-618,共9页
初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及... 初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及被l值自动机识别的语言的连接问题刻画.特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画.最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系. 展开更多
关键词 非经典逻辑 自动机 正则文法 形式语言 泵引理
原文传递
基于三角范数的模糊逻辑中的三I方法(英文) 被引量:2
2
作者 裴道武 《模糊系统与数学》 CSCD 北大核心 2006年第2期1-7,共7页
三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t... 三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。 展开更多
关键词 非经典逻辑 模糊推理 Monoidal T-NORM based logic 三Ⅰ推理方法 形式三Ⅰ推理方法
下载PDF
从逻辑哲学观点看量子逻辑 被引量:4
3
作者 陈明益 桂起权 《自然辩证法通讯》 CSSCI 北大核心 2011年第3期5-11,126,共7页
1.根据逻辑哲学,量子逻辑可以定位于一种以"非分配性"为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出"根据经验的理由,逻辑是整体可修正的"结论。但他... 1.根据逻辑哲学,量子逻辑可以定位于一种以"非分配性"为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出"根据经验的理由,逻辑是整体可修正的"结论。但他同时又主张逻辑联词的"意义不变",因此陷入二难困境。3.根据量子力学几种不同解释来重新审视"经验理由"和"逻辑可修正性"论证,发现形而上学考量更不可忽视。4.对应原理具有消解"普特南二难"的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。 展开更多
关键词 量子逻辑 非经典逻辑 逻辑哲学 逻辑可修正性 经验基础 对应原理 普特南二难
原文传递
伪t-模与蕴涵的直积分解(英文) 被引量:5
4
作者 王住登 于延栋 《中国科学技术大学学报》 CAS CSCD 北大核心 2001年第6期657-662,共6页
本文研究伪t 模与蕴涵的直积分解 ,解决Baets和Mesiar提出的一个未解决的问题 ,并证明 ([0 ,1 ]2 , )上连续t 模都可以表示成 ([0 ,1 ], )上两个连续t
关键词 非经典逻辑 伪T-模 蕴涵 真积分解
下载PDF
完备格上的拟t-模与蕴涵算子 被引量:5
5
作者 廖大见 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第6期835-840,共6页
引入并讨论完备格L上的拟t 模与剩余蕴涵的概念,研究了L上拟t 模与剩余蕴涵之间的关系,给出求一个已知拟t 模或剩余蕴涵的剩余算子的方法,并指出[0,1]上的两类基本蕴涵和Yager蕴涵都是可以由[0,1]上的拟t 模诱导的剩余蕴涵.
关键词 完备格 拟t-模 蕴涵算子 非经典逻辑 弱t-模 伪T-模 剩余蕴涵
下载PDF
一种基于集合符号的自动推理扩展方法 被引量:4
6
作者 刘全 伏玉琛 +3 位作者 孙吉贵 崔志明 龚声蓉 凌兴宏 《计算机研究与发展》 EI CSCD 北大核心 2007年第8期1317-1323,共7页
在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基... 在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的. 展开更多
关键词 集合符号 自动推理 TABLEAU 经典逻辑 非经典逻辑
下载PDF
非经典逻辑观与法律论证的评价——兼论苏珊·哈克逻辑哲学思想 被引量:4
7
作者 张玫瑰 桂起权 《湖南科技大学学报(社会科学版)》 2007年第3期35-41,共7页
苏姗.哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。这样,才能更好... 苏姗.哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。这样,才能更好地适应现实原型的要求。逻辑的中心问题则是有效论证与非有效论证的区别问题。关于论证有效性的评价,哈克提出,存在着形式的(语形的)、实质的(语义的)和修辞的(语用的)标准这样三种由强到弱的有效性标准。法律论证的核心问题也是论证的有效性,可以把苏珊.哈克的逻辑哲学思想灵活运用于有关法律的逻辑与法律论证的评价标准的分析,并且将哈克的这三种有效性标准有机地结合起来。 展开更多
关键词 逻辑的可修正性 非经典逻辑 论证评价 语用逻辑 法律论证
下载PDF
关于格蕴涵代数的余元及结构 被引量:4
8
作者 马骏 徐扬 《模糊系统与数学》 CSCD 北大核心 2005年第1期49-56,共8页
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数。
关键词 不确定性推理 非经典逻辑 格值逻辑 格蕴涵代数
下载PDF
格蕴涵代数的素对偶理想 被引量:4
9
作者 王学芳 刘培顺 徐扬 《模糊系统与数学》 CSCD 北大核心 2006年第5期37-42,共6页
在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。
关键词 非经典逻辑 格值逻辑 格蕴涵代数 对偶理想 素对偶理想 滤子
下载PDF
同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑 被引量:3
10
作者 张兴芳 胡凯 《电子学报》 EI CAS CSCD 北大核心 2014年第5期1020-1024,共5页
作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)... 作者在另一文中,基于Lawry的不确定模型,提出了一种新的非经典命题逻辑,称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象,利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念,并给出了它们的逻辑规律.由此,本文又提出了新的非经典命题逻辑,称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖,而且相比Lawry的不确定模型适应面更广. 展开更多
关键词 非经典逻辑 Vague命题 Lawry逻辑 Lawry乘-加逻辑 Lawry下-上确界逻辑
下载PDF
Graphene Bridge Heterostructure Devices for Negative Differential Transconductance Circuit Applications
11
作者 Minjong Lee Tae Wook Kim +6 位作者 Chang Yong Park Kimoon Lee Takashi Taniguchi Kenji Watanabe Min‑gu Kim Do Kyung Hwang Young Tack Lee 《Nano-Micro Letters》 SCIE EI CAS CSCD 2023年第2期161-171,共11页
Two-dimensional van der Waals(2D vdW)material-based heterostructure devices have been widely studied for high-end electronic applications owing to their heterojunction properties.In this study,we demonstrate graphene(... Two-dimensional van der Waals(2D vdW)material-based heterostructure devices have been widely studied for high-end electronic applications owing to their heterojunction properties.In this study,we demonstrate graphene(Gr)-bridge heterostructure devices consisting of laterally series-connected ambipolar semiconductor/Gr-bridge/n-type molybdenum disulfide as a channel material for field-effect transistors(FET).Unlike conventional FET operation,our Gr-bridge devices exhibit nonclassical transfer characteristics(humped transfer curve),thus possessing a negative differential transconductance.These phenomena are interpreted as the operating behavior in two series-connected FETs,and they result from the gate-tunable contact capacity of the Gr-bridge layer.Multi-value logic inverters and frequency tripler circuits are successfully demonstrated using ambipolar semiconductors with narrow-and wide-bandgap materials as more advanced circuit applications based on non-classical transfer characteristics.Thus,we believe that our innovative and straightforward device structure engineering will be a promising technique for future multi-functional circuit applications of 2D nanoelectronics. 展开更多
关键词 Graphene bridge Heterostructure device non-classical transfer characteristics Multi-value logic inverter Frequency tripler
下载PDF
L-关系方程T(a,x)=b,I(a,x)=b的解集 被引量:3
12
作者 王住登 戴风明 《扬州大学学报(自然科学版)》 CAS CSCD 2003年第3期8-10,共3页
讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T).
关键词 非经典逻辑 伪t一模 蕴涵算子 L-关系方程
下载PDF
库拉托斯基十四集定理在L-不分明化拓扑中的推广 被引量:3
13
作者 邹祥福 《五邑大学学报(自然科学版)》 CAS 2006年第1期13-16,共4页
L-不分明化拓扑也就是基于完全剩余格值逻辑上的不分明化拓扑.论文中把L-不分明化闭包和内部的概念扩充到模糊集合,并在此基础上把库拉托斯基十四集定理推广到L-不分明化拓扑中.
关键词 非经典逻辑 拓扑 L-不分明化拓扑空间 库拉托斯基十四集定理
下载PDF
同主语同标签Vague命题的Lawry逻辑 被引量:2
14
作者 张兴芳 胡凯 +1 位作者 李令强 孟广武 《系统科学与数学》 CSCD 北大核心 2013年第7期869-878,共10页
给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称为同主语同标签Vague命题的Lawry逻辑,简称Lawry逻辑.其逻辑规律表明它与经典逻辑具有优良的和谐性.
关键词 非经典逻辑 标签语义 适当测度 同主语同标签Vague命题 Lawry逻辑
原文传递
源于非经典逻辑的代数结构研究综述 被引量:2
15
作者 张小红 《四川师范大学学报(自然科学版)》 CAS 北大核心 2019年第1期1-14,共14页
作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、非可换剩余格... 作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、非可换剩余格、非结合剩余格、剩余有序广群、BCK/BCI-代数、BCC/BZ-代数、伪BCK/BCI-代数等.同时介绍近年来非经典逻辑代数方向的最新研究进展,包括量子B-代数(quantum B-agebra)、EO-代数(extended-order algebra)及新近提出的基本蕴涵代数(basic implication algebra)等. 展开更多
关键词 非经典逻辑 模糊逻辑 代数结构 蕴涵代数 滤子
下载PDF
关于哲学逻辑的几个理论问题 被引量:1
16
作者 季冠芳 弓肇祥 《哈尔滨学院学报》 2001年第1期26-28,共3页
在现代逻辑文献中 ,“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等... 在现代逻辑文献中 ,“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等重要问题予以理论阐述 ,提出自己的观点。 展开更多
关键词 经典逻辑 非经典逻辑 演绎性 数学化 部门化 哲学逻辑 非单调性
下载PDF
逻辑理论变革的必然趋势 被引量:1
17
作者 王辉 《辽宁工学院学报(社会科学版)》 2003年第2期36-37,共2页
逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理... 逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。 展开更多
关键词 逻辑理论变革 经典逻辑 非经典逻辑
下载PDF
论在不同逻辑系统中的排中律 被引量:2
18
作者 孙明湘 《中南大学学报(社会科学版)》 CSSCI 2010年第5期27-29,共3页
作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷... 作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。 展开更多
关键词 排中律 普效性 逻辑系统 非经典逻辑
下载PDF
L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件 被引量:2
19
作者 廖大见 《江南大学学报(自然科学版)》 CAS 2004年第6期642-644,共3页
进一步讨论方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集... 进一步讨论方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷∨-分配伪t 模,I是无穷∧-分配蕴涵算子. 展开更多
关键词 非经典逻辑 T-模 伪T-模 蕴涵 L-关系方程
下载PDF
完备Brouwer格上伪t-模与蕴涵算子的注记(I)(英文) 被引量:2
20
作者 王住登 《模糊系统与数学》 CSCD 北大核心 2006年第1期107-111,共5页
进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。
关键词 非经典逻辑 T-模 伪T-模 蕴涵 直积分解
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部