伪距离相关论文
针对冗余机器人避障问题,提出一种基于伪距离且无需主从任务转换的冗余机器人避障算法。采用具有解析式的伪距离算法计算机器人与......
支持向量机(SVM)是在统计学习理论的基础上发展起来的，它在很大程度上解决了以往的机器学习模型的选择与过学习、非线性、维数灾难......
在数理逻辑中,一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假,并通过完备性将它们的推理统一起来.......
模糊推理的中心课题是以下形式的FMP和FMT问题：(FMP问题)已知A→B且给定A*/求B*(1)(FMT问题)已知A→B且给定B*/求A*(2)这里A,A*是X......
在数理逻辑中，一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假，并通过完备性将它们的推理统一起来.但......
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨......
期刊
利用势为n的均匀概率空间的无穷乘积，在n值G?del逻辑系统中引入公式的α-矛盾度概念，从而将矛盾式的概念进行双重程度化，进而给出广义......
将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Γ限制下的公式真度概念,并讨论其计算性质.以此为基础定义了公式的Γ-限......
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(......
逻辑度量研究是近似推理理论的一个重要组成部分.首先在四种常见n值逻辑系统中,利用概率测度的方法,引入了逻辑公式概率真度的概念......
基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没......
在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距......
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ......
利用Godeln值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念.证明在Godel n值......
研究了G(o)del逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在G(o)del逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元......
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式......
研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，......
基于绝对真度的概念，在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离，并证明了公式绝对真度的推理规则，为近似推理提供了理论基......
理论的相对偏差是确定近似推理误差的逻辑度量之一，由于缺乏与理论特征相关联的真度表示，而导致其计算和应用上的不便．以公式真度为基......
基于Lukasiewicz命题逻辑系统提出一般性的赋值密度函数,定义了公式的概率真度、条件概率真度的概念,引入了公式的条件相对Γ-重言......
以经典命题逻辑中公式的向量表示形式为基础,利用三值？ukasiewicz逻辑系统中公式的赋值及赋值顺序给出了公式的向量表示形式。利用......
在hflcasiewiczn值命题逻辑系统中引人命题公式的一般真度概念并讨论其性质，说明一般真度满足Kolmogomv公理．在形式推演中，引进公式的......
通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统L^＊中公式概率真度的定义，研究了概率真度的推理规则，在此基础上......
基于非线性序集逻辑系统中的真度概念，给出了公式的相似度概念，并给出了一些基本性质，为进一步建立该系统中的近似推理理论奠定了基础......
基于计量逻辑学的思想,在（3n＋1）值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了......
本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系......
以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明......
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公......
期刊
在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出......
由于VANETs的车辆的快速移动,基于地理位置的路由协议广泛应用于VANETs。车辆周期广播位置信息来建立路由,导致车辆的位置信息容易......
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公......
以真度为基础,给出了有限理论的发散度、伪距离和有效度等数值特征的一般真度表示式,并研究了它们之间的关系.......
利用B样条函数逼近机械手运动轨线,并通过引入样条曲线的伪距离和伪速度参量化解轨迹,进一步利用动态规划法进行二维动态寻优,最终......
讨论了Bootstrap方法在工程诊断中的一些应用。该方法综合了数字模拟和经典的统计方法，着重于去除统计工具在工程领域的应用障碍。......
基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命......
在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义......
通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理......
给出了Lukasiewiczn值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集......
利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,......
与二值命题逻辑系统L中公式的真度概念相对应，给出了系统L中公式的矛盾度概念，研究了其部分重要性质。在此基础上将逻辑等价概念程度......
王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋......
在三值乘积逻辑系统π3中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念.利用绝对真......
在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念，为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具。为了......
在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差......
在n值Lukasiewicz命题逻辑系统中，回避均匀概率空间中的无穷乘积测度，借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念，并利用......
伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基......
基于均匀概率空间的无穷乘积，在n值Lukasiewicz逻辑系统中引入命题的α-真度理论．给出了一般真度推理规则；利用命题的α-真度定义了命......
基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L＊系统,G（o）del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出......
在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干......
