论文部分内容阅读
计算语义研究的是一种可计算的语义表示形式。要使汉语语义分析过程成为一个计算过程，必须将汉语语句抽象为数学表达式。函子是汉语语句与其逻辑式之间的中介形式，它耦合了一个从汉语句子到函子的生成过程与另一个从函子典式到高阶谓词式的转换过程，从而使构造汉语语句到逻辑公式的自动转换成为可能。函子兼有逻辑谓词和动词核心结构的特点，因此兼有分析语义和理解语义的作用。函子及其自动提取技术可以直接应用于动词词义自动分析、派生词词典生成、词典文本转换数据库等方面
Computational semantic research is a computable semantic representation. For Chinese semantic analysis process to become a calculation process, Chinese sentences must be abstracted as mathematical expressions. A functor is an intermediate form between a Chinese sentence and its logical one, which couples the process of generating a sentence from a Chinese sentence to a functor and another process of transforming from a functional prototype to a higher-order predicate, so that constructing a Chinese sentence into Automatic conversion of logic formula is possible. Functor combines the characteristics of logical predicate and verb core structure, so it has the function of analyzing semantics and understanding semantics. Functor and its automatic extraction technology can be directly applied to automatic analysis of verbs, generation of derivative dictionary, dictionary conversion database