期刊文献+
共找到37篇文章
< 1 2 >
每页显示 20 50 100
Automata theory based on complete residuated lattice-valued logic 被引量:14
1
作者 邱道文 《Science in China(Series F)》 2001年第6期419-429,共11页
This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a cha... This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and par-ticularly presents a characterization of residuated lattice by fuzzy automata (called (?) valued automata). After that fuzzy subautomata (called (?) valued subautomata), successor and source operators are pro-posed and their basic properties as well as the equivalent relation among them are discussed, from which it follows that the two fuzzy operators are exactly fuzzy closure operators. Finally an L bifuzzy topological characterization of Q valued automata is presented, so a more generalized fuzzy automata theory is built. 展开更多
关键词 non-classical logics AUTOMATA topology.
原文传递
Automata theory based on complete residuated lattice-valued logic (Ⅱ) 被引量:6
2
作者 邱道文 《Science in China(Series F)》 2002年第6期442-452,共11页
It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular... It reveals some equivalences between automata based on complete residuated lattice-valued logic (called (?) valued automata) and the truth-value lattice of the underlying logic (i.e. residuated lattice). In particular, it demonstrates several basic equivalent characterizations on the retriev-ability of (?) valued automata. Finally, the connections of the homomorphisms between two eeeeeeeeee valued automata to continuous mappings and open mappings are clarified. So this paper establishes further the more profound fuzzy automata theory. 展开更多
关键词 non-classical logics AUTOMATA retrievability homomorphisms.
原文传递
覆盖空间及粗糙集与拓扑的统一 被引量:5
3
作者 张贤勇 熊方 莫智文 《数学的实践与认识》 CSCD 北大核心 2006年第11期191-195,共5页
引入覆盖空间,定义了其邻域、内部、闭包、测度等概念,研究了它们的性质.得出了粗糙集近似空间和拓扑空间都是具体覆盖空间的重要结论,从而用覆盖空间统一了粗糙集和拓扑.利用覆盖空间,得到了粗糙集和拓扑中更深刻的性质,从算子论和集... 引入覆盖空间,定义了其邻域、内部、闭包、测度等概念,研究了它们的性质.得出了粗糙集近似空间和拓扑空间都是具体覆盖空间的重要结论,从而用覆盖空间统一了粗糙集和拓扑.利用覆盖空间,得到了粗糙集和拓扑中更深刻的性质,从算子论和集合论的角度丰富和深化了粗糙集与拓扑的内容. 展开更多
关键词 粗糙集 拓扑 覆盖空间 近似算子 非经典逻辑
原文传递
非交换剩余格的子正蕴涵滤子 被引量:1
4
作者 王伟 周曼曼 +3 位作者 孙大宝 李小倩 徐扬 辛小龙 《模糊系统与数学》 CSCD 北大核心 2015年第6期32-39,共8页
滤子是研究逻辑代数的有效工具。逻辑代数中滤子和模糊滤子在信息科学、计算机科学、控制理论、人工智能等很多重要领域的推理原理中起了很大作用。我们首先引入剩余格中模糊子正蕴涵滤子,并通过提出模糊滤子转化为模糊子正蕴涵滤子的... 滤子是研究逻辑代数的有效工具。逻辑代数中滤子和模糊滤子在信息科学、计算机科学、控制理论、人工智能等很多重要领域的推理原理中起了很大作用。我们首先引入剩余格中模糊子正蕴涵滤子,并通过提出模糊滤子转化为模糊子正蕴涵滤子的等价条件,进一步描述模糊子正蕴涵滤子。然后指出模糊子正蕴涵滤子与模糊正蕴涵滤子之间的关系,最后得到模糊子正蕴涵滤子的商集。 展开更多
关键词 非经典逻辑 非交换剩余格 模糊滤子 模糊子正蕴涵滤子
原文传递
逻辑系统发生学:探索非经典逻辑产生奥秘的金钥匙 被引量:1
5
作者 任晓明 桂起权 《科学技术哲学研究》 CSSCI 北大核心 2012年第1期1-6,共6页
逻辑系统发生学的中心任务是探究逻辑系统的产生和发展的奥秘。非经典逻辑产生的内在动力是经典逻辑的形式系统与非形式原型之间具有某种程度上的不恰当性。当经典逻辑在形式化过程中出现一些"怪论"和"疑难"时,为... 逻辑系统发生学的中心任务是探究逻辑系统的产生和发展的奥秘。非经典逻辑产生的内在动力是经典逻辑的形式系统与非形式原型之间具有某种程度上的不恰当性。当经典逻辑在形式化过程中出现一些"怪论"和"疑难"时,为了解释或消解这些疑难,就需要运用种种不同的调整和修改策略,去"修正"原有的经典逻辑系统,从而产生新的逻辑系统,这种新系统要么是对经典逻辑的扩展,要么是对经典逻辑的变异,这就是非经典逻辑产生和发展的奥秘。而逻辑系统发生学则是探索非经典逻辑产生奥秘的金钥匙。 展开更多
关键词 逻辑系统发生学 非经典逻辑 形式化
原文传递
制约逻辑才是知识表示的合适的逻辑工具(英文)
6
作者 龚启荣 《贵州大学学报(自然科学版)》 1996年第2期79-86,共8页
专家系统中产生式规则的"若…则…"的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立于后件的真假确定(二独).从形式上说,当制约逻辑C.系统中的&... 专家系统中产生式规则的"若…则…"的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立于后件的真假确定(二独).从形式上说,当制约逻辑C.系统中的"制约"、"必定"分别跟狭谓词演算F中的→、V x作对应时.Cn与F是交叉关系.F中的定理可成为专家系统中的规则,当且仅当,F中的定理翻译成Cn的式后也是Cn的定理.在F之外有无限多个实际可用的有效规则,这些规则在Cn中是定理."A必然B"就是"A制约B",表达式皆为A→B."A可能B"、"A偶然B"、"A彻底地偶然B"可从一得到定义.制约逻辑成功地避免了实质蕴涵怪论和一般模态逻辑避免不了的严格蕴涵怪论.它的表达功能和推理能力比以往的任何系统都强而且丰富.制约逻辑是知识表示自々合适的逻辑工具.正统数量逻辑和形形色色的非古典逻辑(包括衍推逻辑、相关逻辑等)以及传统形式逻辑都不是知识表示的合适工具。 展开更多
关键词 制约逻辑 逻辑工具 知识表示 正统数理逻辑
下载PDF
关于BCI逻辑的一种偏序代数(英文)
7
作者 王三民 《模糊系统与数学》 CSCD 北大核心 2007年第3期60-65,共6页
通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不... 通常,人们认为Kiyoshi Iséki在20世纪60年代引入的BCI-代数是组合逻辑中BCI逻辑的代数对等物。然而这种广为人知的断言却是有问题的,因为BCI逻辑关于BCI代数是不完备的。在本文中,我们引入一种称为MPE的偏序代数。在MPE中的每个不等式对应BCI逻辑中的一个重言式且反之亦然,从而MPE代数是与BCI逻辑完备的代数类。 展开更多
关键词 非经典逻辑 偏序代数 BCI-代数 BCI逻辑 MPE-代数
下载PDF
三角模族T_(q,p)-LGN与逻辑系统LGN
8
作者 张兴芳 李成允 《模糊系统与数学》 CSCD 北大核心 2009年第4期27-33,共7页
首先,给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)),分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LG... 首先,给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)),分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM)的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族。 展开更多
关键词 非经典逻辑 系统MTL 左连续三角模族 蕴涵算子族 分离性消除规则
下载PDF
基于完备剩余格值逻辑的自动机和文法理论 被引量:9
9
作者 彭家寅 《模式识别与人工智能》 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值自动机之间的两个等价关系. 展开更多
关键词 非经典逻辑 自动机 正则文法 形式语言 泵引理
原文传递
伪t-模与蕴涵的直积分解(英文) 被引量:5
10
作者 王住登 于延栋 《中国科学技术大学学报》 CAS CSCD 北大核心 2001年第6期657-662,共6页
本文研究伪t 模与蕴涵的直积分解 ,解决Baets和Mesiar提出的一个未解决的问题 ,并证明 ([0 ,1 ]2 , )上连续t 模都可以表示成 ([0 ,1 ], )上两个连续t
关键词 非经典逻辑 伪T-模 蕴涵 真积分解
下载PDF
完备格上的拟t-模与蕴涵算子 被引量:5
11
作者 廖大见 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第6期835-840,共6页
引入并讨论完备格L上的拟t 模与剩余蕴涵的概念,研究了L上拟t 模与剩余蕴涵之间的关系,给出求一个已知拟t 模或剩余蕴涵的剩余算子的方法,并指出[0,1]上的两类基本蕴涵和Yager蕴涵都是可以由[0,1]上的拟t 模诱导的剩余蕴涵.
关键词 完备格 拟t-模 蕴涵算子 非经典逻辑 弱t-模 伪T-模 剩余蕴涵
下载PDF
格蕴涵代数的素对偶理想 被引量:4
12
作者 王学芳 刘培顺 徐扬 《模糊系统与数学》 CSCD 北大核心 2006年第5期37-42,共6页
在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。
关键词 非经典逻辑 格值逻辑 格蕴涵代数 对偶理想 素对偶理想 滤子
下载PDF
关于格蕴涵代数的余元及结构 被引量:4
13
作者 马骏 徐扬 《模糊系统与数学》 CSCD 北大核心 2005年第1期49-56,共8页
根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数。
关键词 不确定性推理 非经典逻辑 格值逻辑 格蕴涵代数
下载PDF
L-关系方程T(a,x)=b,I(a,x)=b的解集 被引量:3
14
作者 王住登 戴风明 《扬州大学学报(自然科学版)》 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
15
作者 邹祥福 《五邑大学学报(自然科学版)》 CAS 2006年第1期13-16,共4页
L-不分明化拓扑也就是基于完全剩余格值逻辑上的不分明化拓扑.论文中把L-不分明化闭包和内部的概念扩充到模糊集合,并在此基础上把库拉托斯基十四集定理推广到L-不分明化拓扑中.
关键词 非经典逻辑 拓扑 L-不分明化拓扑空间 库拉托斯基十四集定理
下载PDF
同主语同标签Vague命题的Lawry逻辑 被引量:2
16
作者 张兴芳 胡凯 +1 位作者 李令强 孟广武 《系统科学与数学》 CSCD 北大核心 2013年第7期869-878,共10页
给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称为同主语同标签Vague命题的Lawry逻辑,简称Lawry逻辑.其逻辑规律表明它与经典逻辑具有优良的和谐性.
关键词 非经典逻辑 标签语义 适当测度 同主语同标签Vague命题 Lawry逻辑
原文传递
L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件 被引量:2
17
作者 廖大见 《江南大学学报(自然科学版)》 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
18
作者 王住登 《模糊系统与数学》 CSCD 北大核心 2006年第1期107-111,共5页
进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。
关键词 非经典逻辑 T-模 伪T-模 蕴涵 直积分解
下载PDF
问句逻辑研究述评 被引量:1
19
作者 颜中军 《贵州工程应用技术学院学报》 2015年第2期61-66,共6页
问句逻辑是隶属于广义认识论逻辑门类下的一个分支学科,主要研究问句的逻辑性质及其推理关系。以亚里斯多德为代表的古典问句逻辑研究并未引起学者们足够重视。随着逻辑研究的实践转向和日趋多元化,问句逻辑逐渐获得了逻辑家族成员资格... 问句逻辑是隶属于广义认识论逻辑门类下的一个分支学科,主要研究问句的逻辑性质及其推理关系。以亚里斯多德为代表的古典问句逻辑研究并未引起学者们足够重视。随着逻辑研究的实践转向和日趋多元化,问句逻辑逐渐获得了逻辑家族成员资格,初步显示出其理论价值,具有广阔的应用前景和发展潜力。但与其它非经典逻辑分支相比,问句逻辑的研究起步较晚,至今仍然是一个争论不休和亟待开拓的新兴领域。 展开更多
关键词 问与答 问句逻辑 非经典逻辑 博弈论语义学
下载PDF
伪t-模与L-关系方程 被引量:1
20
作者 廖大见 《淮海工学院学报(自然科学版)》 CAS 2003年第3期5-8,共4页
介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集... 介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集。文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈L^X和B∈L^Y是两个已知L-子集,R∈L^(X×Y)是未知L-关系。 展开更多
关键词 伪T-模 L-关系方程 完备BROUWER格 蕴涵算子
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部