搜索结果: 1-7 共查到“entailment”相关记录7条 . 查询时间(0.046 秒)
Entailment with Conditional Equality Constraints
Entailment Conditional Equality Constraints
2016/5/24
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend equality constraints wi...
Entailment rules between predicates are fundamental to many semantic-inference applications. Consequently, learning such rules has been an active field of research in recent years. Methods for learnin...
Learning Entailment Relations by Global Graph Structure Optimization
Structure Optimization Entailment Relations
2015/9/10
Identifying entailment relations between predicates is an important part of applied semantic
inference. In this article we propose a global inference algorithm that learns such entailment
rules. Fir...
Textual Entailment Features for Machine Translation Evaluation
Textual Entailment Features Machine Translation Evaluation
2015/6/12
We present two regression models for the prediction of pairwise preference judgments among MT hypotheses. Both models are based on feature sets that are motivated by textual entailment and incorporate...
Robust Machine Translation Evaluation with Entailment Features
Machine Translation Evaluation Entailment Features
2015/6/12
Existing evaluation metrics for machine translation lack crucial robustness: their correlations with human quality judgments vary considerably across languages and genres. We believe that the main rea...
A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules
Compact Forest Scalable Inference over Entailment Paraphrase Rules
2013/4/22
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules, applied over syntac...
Textual Entailment as a Directional Relation
word similarity text similarity Word Sense Disambiguation Text Entailment
2014/3/11
This paper presents three methods for solving the problem of textual entailment, obtained from an equal number of text-to-text similarity metrics. The first method starts with the directional measure ...