rrr:使用改进的 Robinson 分辨率算法从 RTE 数据集中提取的蕴涵规则

概述 这是从 SICK 数据集 ( ) 的 RTE 部分提取的蕴涵规则列表。 对这些规则的逻辑推理 + 完美预测在 SICK RTE 中给出近乎完美的分数。 有关更多详细信息，请查看我们的论文：用逻辑形式和向量的组合表示含义。 下载 这个数据集的发布可以从这里下载： : 引用 如果您在工作中使用此数据集，请引用我们的论文： @article{beltagy:arxiv15, title = {Representing Meaning with a Combination of Logical Form and Vectors}, author = {Islam Beltagy and Stephen Roller and Pengxiang Cheng and Katrin Erk and Raymond J. Mooney}, journal={arXiv preprin