摘要
形式语义学是介于语言学和逻辑学之间的交叉学科,它以理论语言学为语言研究的理论依据,以数理逻辑的方法为语言研究的工具,目标是对自然语言的语义进行形式化描述,从而实现机器对自然语言的自动理解。最近的30年,形式语义学在国际上发展迅猛,新的理论不断涌现,并且与理论语言学、计算语言学交叉互动。但是作为理论语言学的实践应用领域之一,形式语义学在我国的发展却严重落后于整体语言学的发展进程。
Formal semantics is interdisciplinary between linguistics and logic. It takes mathematic logic approaches to the language studies, aiming at formalizing the semantics of natural language, which is a necessity to the natural language understanding. During the past 30 years, with various new theories put forward, formal semantics has witnessed a remarkable improvement in the western counties, and a large quantity of interaction between theoretic linguistics and computational linguistics. However, as one of the practice field of theoretic linguistics, formal semantics has lagged behind the development of the other areas of linguistics.
出处
《中国社会科学院研究生院学报》
CSSCI
北大核心
2009年第2期112-117,共6页
Journal of Graduate School of Chinese Academy of Social Sciences
关键词
语言学
形式语义学
自然语言处理
语义模型
linguistics
formal semantics
natural language processing
semantic model
