论文部分内容阅读
文本连贯是自然语言计算机处理必须解决的问题，本文研究了基于推理的判定算法，给出了一些有趣的实例。本文着重指出，尽管能够阐明连贯确立问题的计算模型是非常重要的，但是这样的方法和其他类似的方法很难用于覆盖范围广泛的应用领域。特别是，大量的公理需要对世界中所有必需的事实进行编码，并且缺少利用这种大规模公理的集合进行约束推理的鲁棒的机制，这使得这些方法在实践中几乎无法实施。因此，这个问题是一个“AI完全问题”(AI-com-plete)，也就是“人工智能完全问题”。“AI完全问题”来自计算机科学中的术语“NP完全问题”(NP-complete)。“AI完全问题”是指本质上需要人类拥有的所有知识并能够利用这些知识的问题。这样的问题当然是非常困难的，目前还解决不了。笔者特别强调，本文中讨论的问题还是非常初步的，希望引起对于HNC有兴趣的专家的注意。