The paper discusses semalltics of encodings in logical frameworkswhere equalities in object calculi are represented by families of types as the case inELF. The notion of Leibniz equality in a category is introduced. T...The paper discusses semalltics of encodings in logical frameworkswhere equalities in object calculi are represented by families of types as the case inELF. The notion of Leibniz equality in a category is introduced. Two morphisms ina category are Leibniz equal if they are seen so by an internal category. The usualcategorical properties are then relativized to r-properties by requiring mediatingmorphisms to be unique up to some Leibniz equality. Using these terminologies,it is shown, by an example, that the term model of the encoding of an adequatelyrepresented object calculus is r-isomorphic to the term model of the object language.展开更多
句子的语义处理是自然语言处理的重要难题与挑战。抽象语义表示(Abstract meaning representation,AMR)是近几年国际上新兴的句子级语义表示方法,突破了传统的句法树结构的限制,将一个句子语义抽象为一个单根有向无环图,很好地解决了论...句子的语义处理是自然语言处理的重要难题与挑战。抽象语义表示(Abstract meaning representation,AMR)是近几年国际上新兴的句子级语义表示方法,突破了传统的句法树结构的限制,将一个句子语义抽象为一个单根有向无环图,很好地解决了论元共享问题,成为语言资源建设和句子语义解析的研究热点。本文从AMR概念与规范、解析算法和应用等方面对AMR相关研究进行系统的梳理,特别对AMR的各种解析算法进行了比较深入的分析和比较,指出了现有算法存在的问题和不足,同时介绍了中文AMR的开发进展,最后展望了AMR未来的研究方向。展开更多
结合定量和定性研究的方法,基于大型汉语语料库“中文词汇特性速描系统”(Chinese Word Sketch)对汉语中的动词进行了全面考察和分析,在考察的1337个动词中并不是所有的动词都能带非典型宾语,能带非典型宾语的74个动词全部都是单音节动...结合定量和定性研究的方法,基于大型汉语语料库“中文词汇特性速描系统”(Chinese Word Sketch)对汉语中的动词进行了全面考察和分析,在考察的1337个动词中并不是所有的动词都能带非典型宾语,能带非典型宾语的74个动词全部都是单音节动词,而且部分频率较低的动词也能带非典型宾语。就语义角色而言,非典型宾语可以进一步分为工具、处所、材料、方式、目的、角色、来源和时间等八个小类。就语义及句法特征而言,非典型宾语结构具有共现制约、介词引导、动性减弱等特点。展开更多
文摘The paper discusses semalltics of encodings in logical frameworkswhere equalities in object calculi are represented by families of types as the case inELF. The notion of Leibniz equality in a category is introduced. Two morphisms ina category are Leibniz equal if they are seen so by an internal category. The usualcategorical properties are then relativized to r-properties by requiring mediatingmorphisms to be unique up to some Leibniz equality. Using these terminologies,it is shown, by an example, that the term model of the encoding of an adequatelyrepresented object calculus is r-isomorphic to the term model of the object language.
文摘句子的语义处理是自然语言处理的重要难题与挑战。抽象语义表示(Abstract meaning representation,AMR)是近几年国际上新兴的句子级语义表示方法,突破了传统的句法树结构的限制,将一个句子语义抽象为一个单根有向无环图,很好地解决了论元共享问题,成为语言资源建设和句子语义解析的研究热点。本文从AMR概念与规范、解析算法和应用等方面对AMR相关研究进行系统的梳理,特别对AMR的各种解析算法进行了比较深入的分析和比较,指出了现有算法存在的问题和不足,同时介绍了中文AMR的开发进展,最后展望了AMR未来的研究方向。
文摘结合定量和定性研究的方法,基于大型汉语语料库“中文词汇特性速描系统”(Chinese Word Sketch)对汉语中的动词进行了全面考察和分析,在考察的1337个动词中并不是所有的动词都能带非典型宾语,能带非典型宾语的74个动词全部都是单音节动词,而且部分频率较低的动词也能带非典型宾语。就语义角色而言,非典型宾语可以进一步分为工具、处所、材料、方式、目的、角色、来源和时间等八个小类。就语义及句法特征而言,非典型宾语结构具有共现制约、介词引导、动性减弱等特点。
