论文研究逻辑系统.pdf

上传：夏夏的valentine 浏览： 15 推荐： 0 文件：PDF 大小：586.2KB 上传时间：2020-07-18 12:10:21 版权申诉

首次在命题逻辑系统中引入理论的真度概念，使得真度的概念由公式的真度推广为公式集的真度，从而简化了发散度的概念；在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。

上传资源

论文研究命题逻辑系统.pdf

在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义，给出了真度函数的若干重要性质，利用真度函数从形式上定义了相似度和伪距离，建立了逻辑度量空间，为从语构的角度展开近似

2020-07-18 12:10

论文研究多值逻辑系统.pdf

系统Hα是一个带有参数的系统，将参数α赋予不同的值，将会得到不同的多值逻辑系统。论文研究了多值逻辑系统Hα中的子代数理论，讨论了该系统子代数的特征及相关性质，为系统Hα的进一步研究奠定了基础。

2020-02-11 05:43

论文研究逻辑系统MTL.pdf

针对基于信息熵和基于欧氏距离的免疫算法存在的不足，提出了一种改进的免疫算法。该算法重新定义了浓度的计算方法，提出一种新的保持抗体群多样性的策略，在将其应用在中国旅行商问题（CTSP）的求解中，具体针对

2020-02-11 05:43

论文研究三值乘积逻辑系统.pdf

利用赋值集的随机化方法，在三值乘积逻辑∏3提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的D∏3-相似度与伪距离的概念，并建立了D∏3-逻辑度量空间，证明了

2020-02-22 07:55

论文研究格值命题逻辑系统.pdf

给出了格值命题逻辑系统L9P（X）上的放缩原理和放缩归结原理，基于放缩归结原理，给出了一种判断L9P（X）上子句集S为M－可满足的自动推理算法（这里M为L9上的中界元），并证明了其可靠性和完备性。

2020-04-29 06:05

论文研究n值逻辑系统MTL.pdf

基于均匀概率空间的无穷乘积，在n值命题逻辑系统MTLn中引入命题的?琢-真度概念，给出了一般真度推理规则；利用命题的α-真度定义了命题间的α-相似度，进而导出命题集上的一种伪距离，使得在n值命题逻辑系

2020-07-16 20:13

论文研究值逻辑系统中的随机化研究.pdf

提出Vague值向Fuzzy值转化的系列均值修正法。证明了这些方法满足Vague值向Fuzzy值的转化准则。

2020-07-16 20:13

论文研究几种逻辑系统中的概率真度.pdf

通过引入赋值密度函数、边缘密度函数等概念，给出了几种常见的命题逻辑系统中公式概率真度的定义，研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0，1]中的稠密性，在此基础上给出了相似度的定义并

2020-07-16 20:13

论文研究描述逻辑系统ELN中概念的匹配算法研究.pdf

分析了描述逻辑非标准推理的重要性，总结了描述逻辑中概念的匹配推理研究现状和存在的问题，针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统[ELN]中概念的匹配推理。将概念变量引入描述语言[E

2020-07-19 07:20

论文研究值标准逻辑系统中的随机化研究.pdf

利用赋值集的随机化方法，在n值标准逻辑中提出了公式的随机真度，证明了所有公式的随机真度之集在[0,1]中没有孤立点；给出了两公式间的DGRn-相似度与伪距离的概念，并建立了DGRn-逻辑度量空间，证明

2020-07-16 20:13

论文研究描述逻辑系统UEVN中概念的包含关系.pdf

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题，它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统，该文研究的是描述逻辑系统UEVN中的

2020-07-19 07:20

论文研究值逻辑系统子代数个数之讨论.pdf

在广义和狭义两方面分别研究了六个系统Ln，Sn，Gn，Kn，Zn，Wn的子代数的个数的特征及其计数问题。由此，得到了逻辑系统Ln，Sn，Gn，Wn，Kn，Zn的子代数个数及其性质。

2020-07-22 19:49

论文研究修正的RDP逻辑系统中的广义矛盾式.pdf

讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

2020-07-19 07:34

论文研究命题逻辑系统中公式的概率真度理论.pdf

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义，明确了概率真度在[0，1]中的分布情况，并得到了一些概率真度的推理规则；引入相似度，给出了伪距离的定义，确定了二者

2020-07-18 12:10

论文研究_Lukasiewicz逻辑系统中理论的平均真度及偏差.pdf

在[n]值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念，讨论了有限理论的平均真度和偏差各自的重要性质。研究表明，利用平均真度可以刻画有限理论的可靠度，而利用偏差可以刻画有限

2020-07-16 04:57