一种基于规则转换的机器翻译方法初探

机器翻译(MachineTranslation,简称MT)是21世纪科技领域的一个难题之一,而要实现机器翻译,对自然语言进行形式化是核心。机器翻译的突破依赖于语言学研究的突破。该文介绍一种汉语句子形式化的方法。涉及的内容包括Montague语法,范畴语法,内涵逻辑,汉语语法等。该文主要在理论上进行了探讨,并用例子进行详细说明该汉语句子形式化方法在英汉机器翻译中的应用。结果表明,该方法具有一定的有效性。

形式语义学初探

形式语义学起源于19世纪德国逻辑学家Frege的作品。直到20世纪70年代后期,形式语义学才出现在语言学研究领域。在不同的领域里,形式语义学有不同的研究重点,在语言学领域里形式语义学试图通过构建形式语义理论来解释自然语言的意义。早期的形式语义学主要有四条研究线路：静态语义学,动态语义学,情景语义学和非合成解释语义学。本文主要探讨静态语义学的三种学说及其相互间的比较。