共查询到17条相似文献,搜索用时 78 毫秒
1.
五值非线性序集逻辑系统中命题真度的分布 总被引:3,自引:0,他引:3
隋云云 《山东大学学报(理学版)》2009,44(1):78-82
利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。 相似文献
2.
左卫兵 《河北师范大学学报(自然科学版)》2011,35(4)
通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法. 相似文献
3.
左卫兵 《四川师范大学学报(自然科学版)》2012,(1):63-67
王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性. 相似文献
4.
三值逻辑系统G3中的随机化研究 总被引:1,自引:0,他引:1
利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。 相似文献
5.
几种真值集为非线性序集的4值逻辑系统 总被引:3,自引:0,他引:3
黄朝霞 《集美大学学报(自然科学版)》2002,7(2):175-178
介绍了 3种真值集为非线性序集的 4值逻辑系统的┐ ,∨ ,∧运算及蕴含算子→ ,并研究了它们的性质及重言式理论、准重言式理论 ,得到一些结论 . 相似文献
6.
左卫兵 《郑州大学学报(自然科学版)》2012,(1):28-32
在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路. 相似文献
7.
讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。 相似文献
8.
9.
左卫兵 《云南大学学报(自然科学版)》2012,(2):134-141
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架. 相似文献
10.
11.
偏序集上关联蕴涵代数的性质 总被引:4,自引:0,他引:4
李志伟 《首都师范大学学报(自然科学版)》2003,24(2):15-18
偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在偏序集关联蕴涵代数概念的基础上,本文对其性质进行了一定的讨论,给出了它与其它逻辑代数结构间的关系. 相似文献
12.
Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation between lattice H implication algebra and associated implication algebra is discussed. Also, the concept of filter is proposed with some basic properties being studied. 相似文献
13.
14.
基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础. 相似文献
15.
基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论. 相似文献
16.
具非线性控制变量系统的等时区域 总被引:1,自引:1,他引:0
袁立华 《东北师大学报(自然科学版)》1998,(3):28-31
严格证明了,当控制区域有界闭集时,状态变量为线性而控制变量为非线性的系统的等时区域是有界凸闭集,从而用等时区域方法能彻底解决这类系统的时间最优控制问题。 相似文献
17.
本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。 相似文献