亚历山大·科勒;约阿希姆·尼伦;克里斯蒂娜·斯特里格尼茨 放松未指定的语义表示以进行重新解释。 （英语） Zbl 0977.68083号 语法 3，编号2-3217-241（2000）。 本文在Lambda结构约束语言（CLLS）的框架下，研究了自然语言（NL）语义表示的未指定重新解释的基础及其基本的松弛操作，CLLS是一种致力于NL语义未指定的形式主义。在CLLS中，未指定的语义表示由包含优势约束的树描述表示。本文的第2节介绍了CLLS形式中的树描述。第3节讨论了重新解释的欠规范方法，并指定了过度生成问题。第4节专门介绍了松弛概念的形式化，即松弛意味着安全（避免了过度生成问题）和开放（可以将任意材料填充到间隙中）。第5节开发了CLLS中树描述结构属性的推理技术；定义了碎片和碎片链，并证明了这些物体的一些有用性质。第6节给出了一个原型玩具语法，用于派生放松的未指定表示。最后的第7节表明，由所提议的玩具语法的语法/语义接口生成的每个宽松描述都是开放和安全的。这些证明技术可以扩展到更详细的NL形式语法。审核人：内库莱·柯特阿努（伊阿什伊） MSC公司： 68T50型 自然语言处理 03B65号 自然语言逻辑 68立方英尺 知识表示 关键词：自然语言语义学;语言限制;知识表示;lambda结构的约束语言;放松;未指定的重新解释;语义欠指定;树描述;玩具语法 PDF格式BibTeX公司 XML格式引用 \textit{A.Koller}等人，《语法》3，No.2--3，217--241（2000；Zbl 0977.68083） 全文： 内政部