In this paper,we obtain the truth degree expression of the pseudo-metric in two-valued propositional logic,which is based on the truth degree.
笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于ε结论在逻辑运算下的基本性质。
Moreover,a pseudo-metric on the set of propositions is defined by means of the concept of truth degrees of propositions and this make it possible to develop approximate reasoning in n-valued propositional logic.
基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。
It is proved that difference degree ρ is a pseudo-metric on F(S).
进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。
Similarity degree and pseudo-distance in propositional logic S_3;
标准序列逻辑系统S_3中的相似度及伪距离
Improved similarity degree and pseudo-distance in a class of n-valued propositional logic;
一类n值命题逻辑系统中改进的相似度及伪距离
Similarity Degree and Pseudo-distance in Two Special Logical Systems G_n and Π_n;
两个特殊逻辑系统G_n和Π_n中的相似度与伪距离
Theory of calculus similar degree, pseudometric and approximating reasoning in Calculus semantics;
积分语义学中的积分相似度、伪距离与近似推理理论
Calculus similar degree and pseudometric in calculus semantics;
积分语义学中的积分相似度与伪距离
Using the truth degree expressions of the implication measurement,we show the implication measurement expressions of the pseudo metric which are resulted separately from the truth degree,conditional truth degree and implicative truth degree.
为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法。
In the approximate reasoning research,pseudo metric is the basic logical measurement in two-valued propositional logic system.
伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具。
Meanwhile the definitions of Γ-similarity and Γ-pseudo metric are also achieved along with the truth degree expression of the Γ-pseudo metric.
以基本真度为基础,给出二值命题逻辑系统中公式基于前提信息的Γ-真度概念,由此定义公式的Γ-相似度和Γ-伪距离;并给出Γ-伪距离的真度表示式,以此为基础讨论了理论的基于前提信息Γ的误差不大于ε的结论在逻辑运算下的基本性质,为研究基于前提信息的近似推理问题提供数值化工具和方法。
Integreted resemblance degree and peseudo-distances in Lukasiewicz proposition fuzzy logic;
Lukasiewicz多值逻辑系统中的相似度及伪距离
Similarity Degree, Pseudo-metric and Approximate Reasoning in Propositional Logic System;
命题逻辑公式集上的相似度、伪距离与近似推理
The Truth Degree Expression of Pseudo-Metric and Its Applications in Two-Valued Propositional Logic;
二值命题逻辑中伪距离的真度表示及其应用
Similarity Degree and Pseudo-distance in Two Special Logical Systems G_n and Π_n;
两个特殊逻辑系统G_n和Π_n中的相似度与伪距离
Pseudo Metric Inequalities and Approximate Reasoning in Two-Valued Propositional Logic
二值命题逻辑中的伪距离不等式与近似推理
Improved similarity degree and pseudo-distance in a class of n-valued propositional logic;
一类n值命题逻辑系统中改进的相似度及伪距离
The technique of range gating in pseudorandom ultrasonic Doppler blood flowmeter
伪随机超声多普勒血流计的距离选通技术
British officers and Recon squads have their camouflage detection increased marginally.
英军指挥官和侦查小组反伪装距离略微增加。
range hand wheel
距离手轮, 距离盘
THE THEORETICAL ANALYSIS AND APPLICATION OF PSEUDORANDOM ULTRASONIC DOPPLER BLOOD-FLOW RANGEFINDING MEASUREMENT
伪随机超声多普勒血流距离选通测量的理论分析和应用
Testing for Analog Circuits Based on Pseudo-Random Current Injection Adopting Distance Classification;
采用距离分类法的伪随机电流注入模拟电路测试
Applications of UKF in GPS/INS Pseudorange and Pseudorange Rate Integrated Navigation
UKF在GPS/INS伪距、伪距率组合导航中的应用
distance from midship to center of floatation
浮心距船中距离漂心距船中距离
range-range positioning
圆-圆定位，距离-距离定位
stopping distance
停车距离（制动距离）
at long [short, close] range
在远 [近] 距离
Long-distance: effective induction distance is3-8 meters.
远距离，有效感应距距离为3-8米。
distance from midship to center of buoyancy
浮心到船中距离浮心距中距离
