MMT（ODA）项目中基于中间语言的分析和生成的机制

由日本联合中国、泰国、马来西亚和印度尼西亚共同开发的多国语言机器翻译（ＭＭＴ）系统采用了中间语言的方法。本文简要地介绍了该项目的概况，比较详细地介绍了该ＭＭＴ系统的中间语言和分析、生成的机制．＂概念＂是中间语言的最基本的词汇，本文尝试加以严格定义，并且对于理想的概念辞典给出完全性、必要性、独立性和协调性的新提法。为了使机器翻译界的专家们能够通过篇幅不长的论文准确而完整地了解该系统的核心，本文试图用形式化的方法定义系统的分析规则和生成规则的描述语言．本文是作者关于ＭＭＴ的一些思考和总结，希望能对今后这方面的工作有所裨益。

评《制约逻辑》中的几个形式系统

《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书。