计算语义中的情境推理
计算与语言
2007-05-23 v1 人工智能
摘要
本文考虑了将自动定理证明技术应用于计算语义的问题。为了计算自然语言话语的前提条件，出现了若干推理任务。我们指出，与其将这些推理独立地处理，不如将形式化情境方法中的技术集成到演绎中，可以更有效地计算前提条件。情境被表示为话语表示结构（Discourse Representation Structures），并且它们的嵌套方式被明确化。在此基础上，本文还提出了一种表法演算，该演算跟踪情境信息，从而允许避免在忽略情境嵌套的做法中出现的冗余推理步骤。
引用
@article{arxiv.cs/0009016,
title = {Contextual Inference in Computational Semantics},
author = {Christof Monz},
journal= {arXiv preprint arXiv:cs/0009016},
year = {2007}
}