期刊文献+
共找到47篇文章
< 1 2 3 >
每页显示 20 50 100
基于Godel蕴涵算子的一种新型反向三I算法 被引量:2
1
作者 宋颖 张兴芳 《计算机工程与应用》 CSCD 北大核心 2009年第25期45-47,共3页
在模糊推理中提出了推理后件"过半可信"原则,证明了RG-型三角模恰可实现这一原则的三角模,并给出了基于Godel蕴涵算子模糊推理的一种新型反向三I算法。
关键词 过半可信原则 godel蕴涵算子 模糊推理 新型反向三I算法
下载PDF
命题公式集F(S)在Godel系统中的一个24类分划
2
作者 张花荣 《兰州理工大学学报》 CAS 北大核心 2009年第6期138-140,共3页
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.
关键词 分划 godel系统 确定集 封闭类
下载PDF
Godel不完备性定理的非形式化论述
3
作者 张民悦 惠富春 《甘肃工业大学学报》 2000年第3期105-107,共3页
研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理 1和定理 2 ,给出了 Godel不完备性定理证明的一种非形式化论述 .非形式化地阐述了 Godel不完备性定理证明的基本思想 ,论述了
关键词 godel不完备性定理 godel godel配数法 证明论
下载PDF
Area spectrum of the three-dimensional Godel black hole 被引量:1
4
作者 李慧玲 《Chinese Physics B》 SCIE EI CAS CSCD 2012年第12期94-98,共5页
The aim of this paper is to investigate the area spectrum of the three-dimensional Godel black hole by using two different methods. The result shows that the area spectrum of the black hole is △A = 8πl2p, which conf... The aim of this paper is to investigate the area spectrum of the three-dimensional Godel black hole by using two different methods. The result shows that the area spectrum of the black hole is △A = 8πl2p, which confirms the initial proposal of Bekenstein that the area spectrum is independent of black hole parameters and the spacing is 8πl2p. 展开更多
关键词 area spectrum godel black hole adiabatic invariant quantity
下载PDF
赋值格为非线性序的一种4值逻辑系统G_4~2 被引量:3
5
作者 郑亚林 李彩萍 《宝鸡文理学院学报(自然科学版)》 CAS 1998年第4期1-4,共4页
研究赋值格为非线性序,非运算不同于Boole的非运算,而蕴含算子→取Godel的RG的一种4值逻辑系统G24,得到一些结果,特别是,在G24中,α-MP规则(α>0)都成立,G24-重言式都是C2-重言式,所有的I... 研究赋值格为非线性序,非运算不同于Boole的非运算,而蕴含算子→取Godel的RG的一种4值逻辑系统G24,得到一些结果,特别是,在G24中,α-MP规则(α>0)都成立,G24-重言式都是C2-重言式,所有的IPC-定理皆是G24-重言式,以及,一个公式是G24-重言式,当且仅当它既是G24-中的I-重言式,又是-J重言式。 展开更多
关键词 FUZZY逻辑 godel蕴涵算子 α—MP规则 α—重言式 IPC—定理
下载PDF
MTL-代数的模糊理想 被引量:4
6
作者 刘春辉 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2015年第5期514-520,共7页
将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和模糊Gdel理想的概念,并考察它们的特征、性质和相互关系.证明了对MTL-代数的非常值模糊理想f,如下各条... 将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和模糊Gdel理想的概念,并考察它们的特征、性质和相互关系.证明了对MTL-代数的非常值模糊理想f,如下各条件等价:(i)f是模糊Boolean理想和模糊素理想;(ii)f是模糊关联理想和模糊素理想;(iii)f是模糊超理想;(iv)f是模糊固执理想. 展开更多
关键词 模糊逻辑 MTL-代数 模糊理想 模糊素理想 模糊超理想 模糊godel理想
下载PDF
Gdel系统中一类子代数上的广义重言式理论 被引量:4
7
作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。
关键词 Gdel逻辑系统 广义重言式 子代数 分划
下载PDF
逻辑系统MTL(BL)的新的模式扩张系统GNMTL(GNBL) 被引量:4
8
作者 张兴芳 《模糊系统与数学》 CSCD 北大核心 2009年第1期6-11,共6页
首先给出了Gdel非算子的一个重要性质:一个模糊逻辑系统中的非是Gdel非的充要条件是如果x*y=0,则xy=0。然后,基于Gdel非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL。GNMTL(GNBL)是基于一类左连续t-模(连续t-模)... 首先给出了Gdel非算子的一个重要性质:一个模糊逻辑系统中的非是Gdel非的充要条件是如果x*y=0,则xy=0。然后,基于Gdel非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL。GNMTL(GNBL)是基于一类左连续t-模(连续t-模)(都包含乘积t-模及Gdel t-模)的模糊逻辑的共同形式化;最后,分别给出了著名逻辑系统Gd与Π分别作为GNMTL和GNBL的模式扩张形式,同时给出了Gdel逻辑系统的几种等价形式。 展开更多
关键词 模糊逻辑 逻辑系统GNMTL 逻辑系统GNBL Gdel逻辑系统Gd Product逻辑系统Π
下载PDF
心灵与机器的界线 被引量:2
9
作者 费定舟 《自然辩证法研究》 CSSCI 北大核心 2004年第9期22-25,54,共5页
心灵与机器的关系问题是心智哲学与认识科学的重要课题之一。遵循语言与逻辑分析的分析传统,我们着重从两方面讨论心身问题:一是围绕G del不完全性定理,二是认知逻辑尤其是有关认识论算术(EpistemologicalArithmetic)与机器是否有私有... 心灵与机器的关系问题是心智哲学与认识科学的重要课题之一。遵循语言与逻辑分析的分析传统,我们着重从两方面讨论心身问题:一是围绕G del不完全性定理,二是认知逻辑尤其是有关认识论算术(EpistemologicalArithmetic)与机器是否有私有性的论题。对于前者,针对流行的观点即G del不完全性定理心身问题上支持二元论,H.Putnam构造了一个反论证,从而维护计算主义纲领:心灵与图灵机等价。对此,本文讨论了Putnam的分析思路,进而认为其中有不可靠之处。对于后者,本文详细考察了私有性表达的认知形式,同时结合EA中的最新相关结果,从而得出结论:图灵机的私有性的存在,在逻辑上站不出脚,因此,我们认为,就认识能力和私有性而言,心灵不能与机器等价,也就是计算主义纲领是不成立的。 展开更多
关键词 心身问题 godel不完全性定理 认识论算术 心灵私有性
下载PDF
基于Gdel蕴涵算子的导出算子的n值逻辑系统
10
作者 杨春志 李永明 《纺织高校基础科学学报》 CAS 2008年第1期10-13,共4页
讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理... 讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. 展开更多
关键词 godel蕴涵算子 godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn
下载PDF
修正的Gdel系统的子代数中F(S)的分划及升级算法
11
作者 魏海新 李晨晖 《计算机工程与应用》 CSCD 2012年第26期44-47,共4页
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
关键词 修正的Gdel系统 广义矛盾式 子代数 分划
下载PDF
哥德尔不完全定理与数学认知的局限性——基于递归论解读哥德尔不完全定理 被引量:1
12
作者 许道云 《贵州大学学报(自然科学版)》 2018年第3期1-13,共13页
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明... 哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此(封闭)系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明中开启可计算理论(递归论)之门,用现在成熟递归论的结果重新认识哥德尔不完全定理,使其变得更容易接受。近年来,机器学习取得突破性成果,由此引发有关人工智能是否可以完全代替人的思维能力等热点问题讨论。针对这一问题,如果承认"人工智能"是在一个交互计算系统中完成的,那么哥德尔不完全定理给出的是否定回答。 展开更多
关键词 数学认知 递归论 形式系统 哥德尔不完全定理
下载PDF
关于数学中的不可判定命题
13
作者 王迪吉 徐惠中 《新疆师范大学学报(自然科学版)》 1990年第2期11-14,共4页
本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。
关键词 godel不完全性定理 不可判定的命题
下载PDF
n值Gdel逻辑系统中广义矛盾式的计量化研究
14
作者 李顺琴 《延安大学学报(自然科学版)》 2016年第1期3-5,共3页
利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。
关键词 godel逻辑系统 α-矛盾度 α-差异度 伪距离
下载PDF
一种可以消除相对论困难的公理系统
15
作者 沈卫国 《天津成人高等学校联合学报》 2004年第6期90-92,共3页
 在哲学范畴里研究相对论,针对相对论产生的严重困难———哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相对论理论的基本成果,并使其得到更深层次的诠释。同时,通过简明反证法就上述观点给出了一种简单的...  在哲学范畴里研究相对论,针对相对论产生的严重困难———哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相对论理论的基本成果,并使其得到更深层次的诠释。同时,通过简明反证法就上述观点给出了一种简单的证明。 展开更多
关键词 相对论 哥德尔悖论 公理系统 局域绝对参照系 哲学
下载PDF
模糊命题系统Gdel和L~*中条件真度的比较 被引量:2
16
作者 范欣 王国俊 《云南师范大学学报(自然科学版)》 2010年第4期23-27,共5页
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的... 首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd. 展开更多
关键词 模糊命题系统Gdel和L* 蕴涵算子 三角模算子 伴随对 公式的条件真度
下载PDF
Gdel语言的一种并行推理模型
17
作者 李玲 赵致琢 +2 位作者 李松斌 王良霖 夏金存 《集美大学学报(自然科学版)》 CAS 2008年第2期117-121,共5页
针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
关键词 godel语言 中间代码 AND并行 OR并行
下载PDF
哥德尔不完全性定理剖析 被引量:1
18
作者 杨东屏 《曲阜师范大学学报(自然科学版)》 CAS 1993年第1期31-36,共6页
介绍了哥德尔不完全性定理,论述了它的由来与意义。
关键词 哥德尔 不完全性定理 系统 协调
下载PDF
Gdel程序推理过程的可视化
19
作者 王良霖 赵致琢 李玲 《集美大学学报(自然科学版)》 CAS 2008年第2期122-126,共5页
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过... 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误. 展开更多
关键词 godel语言 PROLOG语言 可视化
下载PDF
Gdel宇宙模型的一个近似解
20
作者 杨淑敏 李新克 +2 位作者 全条芬 姚乾凯 宋友林 《河南教育学院学报(自然科学版)》 2007年第1期30-32,共3页
通过对Gdel宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析.
关键词 度规 EINSTEIN场方程 godel宇宙模型
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部