词汇语义的知识表示：标准的一阶逻辑够用吗？
cmp-lg
2008-02-03 v1 计算与语言
摘要
诸如交互式计划和面对面翻译等自然语言理解应用需要大量推理。许多推理基于特定开放类词汇的意义。为支持此类基于词汇的推理提供表示方法是词汇语义的主要关注点。一阶逻辑的表示语言具有着人们所熟知的语义以及已实现的多种推理系统，因此是服务于词汇语义表示的理想候选。然而，我们认为尽管一阶逻辑是一个很好的起点，但在高效且简洁地支持所有所需基于词汇的推理之前，它需要被扩展。
引用
@article{arxiv.cmp-lg/9412004,
title = {Knowledge Representation for Lexical Semantics: Is Standard First Order Logic Enough?},
author = {Marc Light and Lenhart Schubert},
journal= {arXiv preprint arXiv:cmp-lg/9412004},
year = {2008}
}
备注
Presented at the "Future of the Dictionary" workshop, Grenoble, France (October, 1994), 12 pages PostScript