蕴涵

entailment

蕴涵

现代语义学的诞生是语言理论与逻辑理论"联姻"的结果,对语词语义、语句语义的解释、分析都大量引用了现代逻辑的方法和模型. "蕴涵"(entailment)便是被引用来对语句语义进行分析的一种逻辑方法. 本文尝试引鉴蕴涵理论,对汉语的语句语义进行探讨分析.

logical entailment

逻辑蕴涵

logical empiricism 逻辑经验主义 | logical entailment 逻辑蕴涵 | logical equation 逻辑方程

if then operation

蕴涵运算

若则逻辑 IF-THEN logic | 蕴涵运算 IF-THEN operation | 若则叙述 if-then statement

implicate

蕴涵

imperfect field 不完全域 | implicate 蕴涵 | implication 蕴涵

implication

蕴涵

离散中有永真式 P且Q蕴涵P "蕴涵"(implication)数学符号为"->". 可以像证明一个式子那样去理解语言的推理过程. 例子中的sequence,正是生成的树. sentence是根节点. 使用给定的文法,对输入语句进行分析找到一个文法分析树的过程,

implicative

蕴涵的

immediate successor 紧接后元,后继 | implicative 蕴涵的 | implicative formula 蕴涵公式

intuitionistic implication operators

直觉模糊蕴涵算子

中国农业对策:policy implication for China"s agriculture | 直觉模糊蕴涵算子:intuitionistic implication operators | 剩余格蕴涵代数:residuated lattice implication algebra

essential prime implicant

基本素蕴涵,实质本原蕴涵

essential parameter 基本参数 | essential prime implicant 基本素蕴涵,实质本原蕴涵 | essential progressive atrophy of iris 原发性进行性虹膜萎缩

im plicative

蕴涵的

im mediate successor 紧接后元,后继 | im plicative 蕴涵的 | im plicative formula 蕴涵公式

im plicative formula

蕴涵公式

im plicative 蕴涵的 | im plicative formula 蕴涵公式 | im plicit 隐式的,隐的

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢