相干逻辑 Entailment:the logic of relevance and necessity, vol. I. Princeton University Press. A. R. Anderson, N. D. Belnap and J. M. Dunn, 1992. Entailment: the
文字蘊涵文字蘊涵(Textual entailment,TE)在自然語言處理是一個文字片段之間的定向關係。擁有一個文字片段的含意時,可以從另一個文字如下關係。TE的框架中,將會導致必須需要的文本被稱為文本(T)和假設(H)作為分別。文字蘊涵是不一樣的純邏輯蘊涵,它有一個更寬鬆的定義:"T推導到H"(T⇒H)
方式关系语义饱和 语义角色 词义 词义消歧 Fellbaum, C; Miller, G. Folk psychology or semantic entailment? A reply to Rips and Conrad (1989). Psychological Review. 1990, 97: 565–570
蕴含的幂等性蕴含的幂等性( 英語:Idempotency of entailment)是逻辑系统的一种特性,它表明人们可以从一个假设的多个实例中得出与仅从一个假设中得出相同的结果。这个属性可以被称为紧缩规则的一种结构规则捕获,在这样的系统中,当且仅当紧缩是一个可接受的规则时,人们可以说蕴含是幂等的。 紧缩规则:从
蕴涵蕴涵(英語:Entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系,一般使用⇒符号表示。 A ⊨ B {\displaystyle A\models B} 语义蕴涵也叫做逻辑蕴涵(Logical Implication),亦可以读作 B 是 A 的语义后承。 陈述句子集合A语义上蕴涵句子集合B。