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

原文链接:http://www.cqvip.com//QK/97002X/200902/29909200.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）