语言学中的形式语义学

摘要：

形式语义学是介于语言学和逻辑学之间的交叉学科,它以理论语言学为语言研究的理论依据,以数理逻辑的方法为语言研究的工具,目标是对自然语言的语义进行形式化描述,从而实现机器对自然语言的自动理解.最近的30年,形式语义学在国际上发展迅猛,新的理论不断涌现,并且与理论语言学、计算语言学交叉互动.但是作为理论语言学的实践应用领域之一,形式语义学在我国的发展却严重落后于整体语言学的发展进程.

关键词：语言学、形式语义学、自然语言处理、语义模型

分类号：H0(语言学)

在线出版日期：2009-05-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：112-117