蕴涵词

如所知，中介逻辑的命题演算系统MP有三个命题联结词，即蕴涵词→，对立否定词和模糊否定词～。

It is known that MP has three propositional connectives : The implication symbol →, the opposite negation and the fuzzy negation ~ .

命题溯因推理模式主要涉及蕴涵词的使用，然而借助命题逻辑中的定义，也可以对其它命题联结词在溯因推理中的运用进行分析。

Propositional abductive reasoning is mainly concerned with the use of implication . We also analyze use of other propositional connectives in abductive reasoning by definitions of them in propositional logic .

论文首先对文[6]中泛蕴涵联结词的定义进行改进，使其定义更为严格且易于运算，并研究了泛蕴涵联接词的若干性质；

In this paper the definition of universal implication inis updated first , and the properties of universal implication are studied ;

定义了与经典二值逻辑相容的蕴涵联结词，克服了条件概率不能用于推理的缺点。

Implication connectives which are compatible with classical two-valued logic were defined , and they overcome the shortcoming that conditional probability can not be used to inference .

泛蕴涵联结词是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统中并且具有普遍意义的逻辑运算之一。

The universal implication connective is one of the logical operations that widely exist in experienced thinking , uncertain reasoning , all kinds of multi-valued logical systems and have general significance .

针对此缺点，提出了一种基于词同现频率的加权算法，使得文本的特征向量蕴涵了词与词的相关信息，最后用实验对该算法的效果进行了证明。

A term weighting algorithm on word co-occurrence is discussed to make the text feature contain some relative information between word and word , Finally , some experiment results are given to show the validity of algorithm and compare them with results obtained using other algorithm .