entailment problems | BriefGPT

关键词entailment problems

搜索结果 - 1

使用传递性和线性排序数据进行查询回答
本研究研究了涉及强约束语言的蕴涵问题，如前沿守卫存在规则，并对一组特殊的关系施加额外的语义限制。我们考虑将关系限制为传递性、将一个关系的传递闭包限制为另一个关系、将关系限制为线性顺序。我们提出了一些自然的守卫性变体，以使推理在每种情况下具有
PDF2 years ago