论文部分内容阅读
<正>《当代语言学》编辑部非常荣幸地邀请黄居仁教授和李逸薇博士编辑"知识本体"专号。考虑到本专号技术性较强,特写此短文,做些背景铺垫,以增强专号的可读性。用形式语言把自然语言中的语义形式化是研究人员多年的企求。在前计算机时代,研究主要集中在如何用命题和谓词逻辑来实现自然语言语义形式化,由此产生形式语义学。进入计算机时代后,如何让计算机进行语义计算成为主