三值Godel命题逻辑中基于前提信息的随机真度

来源 :扬州大学学报：自然科学版 | 被引量 : 0次 | 上传用户：bsqtld0

【摘要】

：

利用赋值集的随机化方法,在三值Godel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度

【作者】

：

崔美华徐罗山

【机构】

：

盐城师范学院数学科学学院,扬州大学数学科学学院

【出处】

：

扬州大学学报：自然科学版

【发表日期】

：

2010年2期

【关键词】

：

三值Gdel逻辑系统前提信息 Γ-随机真度 Γ-随机相似度 Γ-随机逻辑度量空间 3-valued Gdel logic system premise

【基金项目】

：

国家自然科学基金资助项目（10371106 60774073）, 江苏省高校自然科学基础研究项目（08KJD110008）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

利用赋值集的随机化方法,在三值Godel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.

其他文献

基于低碳经济的能源资源协调发展的研究

能源是经济发展的命脉。经济和能源的协调发展是社会发展的原动力。经济发展离开能源的基础，那将是无源之水，无本之木。所以，经济和能源应该协调发展，社会才能稳步前进。发展低碳

期刊

低碳可持续发展经济能源资源协调发展low carbon sustainable economic development energy resour

具时滞离散和分布BAM神经网络的全局渐近稳定性

研究一类同时具离散时滞和分布时滞的BAM（bidirectional associative memory）神经网络平衡点的全局渐近稳定性问题．所给BAM模型对激活函数做了扇形非线性条件假设，利用M矩阵理论，

期刊

BAM神经网络离散时滞分布时滞全局渐近稳定性LYAPUNOV-KRASOVSKII函数bidirectional associative memory

胰敏颗粒胰腺灌流对2型糖尿病IR大鼠胰岛素含量的影响

目的观察胰敏颗粒对2型糖尿病大鼠胰腺离体灌流胰岛素分泌的影响。方法在链脲佐菌素（STZ）部分破坏大鼠胰岛细胞的基础上，喂养高脂高糖饲料造成大鼠2型糖尿病模型，分离造模大鼠胰

期刊

2型糖尿病胰岛素抵抗胰腺灌流胰敏颗粒type 2 diabetes insulin antagonism pancreas perfusion Y

交叉积与极大次环

研究了交叉积R＊G和次环．证明了R＊G是半素Goldie环当且仅当R是半素Goldie环．在R为半素Goldie环的前提下，证明了R是G-极大次环当且仅当R＊G是分次极大次环．最后给出了R＊G为素环的一个等

期刊

交叉积半素环Goldie环次环crossed product t semiprime ring t Goldie ring order

子群的π-可补性对群结构的影响

如果存在G的一个子群K, 使得G=HK且|H∩K|π=1, 则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补. 研究了π-可补子群的一些性质,并利用群G的Sylow p-子群的极大和

期刊

π-可补子群SYLOW子群P-幂零群π-supplemented subgroups Sylow subgroup p-nilpotent group

三值Godel命题逻辑中基于前提信息的随机真度

其他学术论文