| 作者 |
 [学术感想]自然语言，编程语言和标记语言的统一，看能不能找到人可以一起交流 |
 |
学子
声望: 专家
加入时间: 2005/04/03
文章: 2395
海归分: -24
|
|
|
作者：学子 在 海归商务 发贴, 来自【海归网】 http://www.haiguinet.com
（旧文，写于2006年3月）
最近我一直跟导师吵架，跟辅导我的助理教授吵架就是因为他们死活听不懂我的语言设计原理，因为我是按照中文的语言方式来设计我做的系统里边的计算机语言的。
传统的计算机语言都是有语法的，我的语言是没有语法的。但是没有语法并不代表着不可以就语言组成部分之间进行组合，推理，演绎,相反的，没有语法的计算机语言根据语义进行组合反而可以进行更高效率的内容表达和行为控制。
现在全世界除了中文之外所有的自然语言都是符号式语言，符号式语言的特征就在于句子所要表达的主题是根据语法规则，所有的syntactic根据grammar的规定，即使在不了解某个词汇含义的情况下，整个句子的构件（constructs）的组合只要符合语法仍然可以表达某种确定的意思。在词汇（lexical)建构（construct)的时候，是按照高维数组的形式平行向外拓展，所以英文里边每增加一个概念，就得在平行向外扩展的数组里增加一个新词，英文的词库越来越大。西方语言强调语法结构和逻辑。
而中文里边，每增加一个新的术语，我们只需要在现有的词汇里边根据意思来进行组合，形成一个新词就可以了，除了化学等特殊学科外，一般情况下很少需要另外造字。这样子在思维的时候，中文在大脑中所占的内存就小，而且，因为中文是按照意思来组合的，那么在人脑思维时，需要查询词库的时候，就是按照树状查询或者按照网状查询，这样的整体效率比西方语言的数组查询要效率高得多，所以西方人跟中国人对话的时候，我们一般可以看到中国人的思维反应速度比他们平均要快。
中文不仅仅在词法构成上是按照语义来组合的，在句子组成上也是按照语义(semantic)来组合的，不同语义的词汇分属 不同的语义组 semantic category. 不同语义组之间在互相搭配的时候，按照语义组合规则来进行而非按照符号语法来进行。
现代计算机语言大多数都是按照西方人的思维习惯来设计的，所以我们常常可以看到有西方少年神童可以写出非常牛的程序，或者成为层次极高的黑客，那是因为他们写程序就跟他们平常的思维习惯差不多，按照平常说话的方式写就行了。东方人几乎从来没有这样的计算机神童出现，就是因为中文的思维习惯是按照意思来表达的，逻辑不强，把自己要实现的功能通过语法逻辑表达出来，不经过长期艰苦的训练，几乎没有熟练的可能。
但是只要中国人熟悉了编程规则，那么在写程序的时候，不就是把他们那些东东按照逻辑组合一下嘛。但是这个时候中国人有个优势，就是写程序的时候，在遵循语法的情况下，按照中国人的思维方式，去进行功能组合，也可以写出很好的程序。
在现有程序语言要表达正确的意思的时候，因为语言本身是按照语法来组合的，为了区分语法构件，只能给他们加上类型，类型加上之后，整个句子的表达是否正确仍然是不确信的，为了避免出现类型干涉错误，必须利用二阶逻辑来进行型干涉分析。
但是型干涉分析本身只能用来查漏补缺，并不是建设性constructive的推导出整个句子的意思,如果要用型干涉来推导出表达式或者大程序的意思，需要天文数字级的努力。
这时候如果还想进行表达式分析的话，就得采用 内容分析，内容的分析是按照语义来进行的，那么这就落入了中文的范畴了。
现在的MathML， OpenMath,都采用了内容标记(content markup)，他们的设计者刚开始为了避免进行正规分析（formalization)，都宣称他们的定义是非正式的(informal)。
A.Strotmann,在参与设计完成这两种目前世界上代表数学知识交流(MKM mathematical knowledge management or communication)最高水平的语言之后，为了拿到phd学位，他开始考虑对于content markup 来进行正规化。很快他发现用type theory型理论，语法，和二阶低等逻辑进行分析是一个极其浩繁的工程，但是不formalize,就相当于这位老兄9年左右的phd只是进行了两项语言设计，没有根本性的知识理论创新，在要求严格的大学里一般是不可能给phd学位的。
这位老哥在两种极端之间摇摆的时候，开始考虑怎么样借鉴语言学现有的研究成果。因为不管是什么自然语言（natural language)还是计算机语言（programming language)或者标记性语言（markup language)都是语言，只要是语言，它们之间就有共性。
这位老哥查到1930-1940年左右，（年份我忘了），西海岸一位博士生（很有名，我忘了他的名字了）研究了中文语言和西方语言之间的不同。
大家很多人都知道100年前即使到现在，西方人一般而言都认为中文是一种语义表记语言，西方语言最初也有很多是象形词法，语义句法的，但是后来西方语言统统改成了语音标记，符号标记。在一百年前，强势的西方文化认为中文是一种胎儿语言，就是说是一种落后的，幼稚的尚未进化的语言。
这位学者在研究了这两种语言之后，他惊诧的发现，中文可以极为有效的表达语义，同样表达某个内容，用西方语言需要更多的字数和更复杂的表达方式，而中文往往更加直接，更加有效而且语义表达更加准确，当然中文里边缺乏逻辑是固有的毛病，咱们中国文化里讲究天人合一，世间万物，只要阴阳五行这几个基本因素一组合就足够表达了，再不然加上八卦，足够演绎推理世界万物了，不需要拗口的加上什么逻辑。这位博士生不懂得五行八卦，不过他把自己研究的结果发表了，他的结论是中文是一种语义组合语言（semantica composition)， 根据语义所分属的类别(category)和层次(layer)，可以进行基于类别的语义分析运算子演绎。(categorial semantics calcus deduction),这个运算子是Lambek calculus,是基于高阶逻辑的，传统的二阶逻辑不能支持这样的演绎分析，可以建设性的组合所需的语义元素形成自己要表达的语句。（constructive composition),他的判断是中文是世界上最高级的语言。他的这个观点从美国出发，轰动了整个世界。他也因此拿到了博士学位。
A.Strotmann研究了这个人关于中文语义的演绎后，采用了Lambek calculus来演绎自己所设计的content mark. 他的导师觉得这小子你没事儿干，那么个小符号，你能做出啥来，他导师当时相当不以为然。 这位老哥后来的成功之处在于将 constructive mathematics, type theory, categorial semantics三种理论 成功的统一在了一起，在自己的演绎中指出了他们是融合共通，互为对应，互相支持的。
他成功拿到了自己的博士学位后，去年来我们这儿开会，为了取得programming theory的同行的理解，他又把自己的演算子用type theory重新推理了一遍。目前他仍然在跑遍世界各地，推销自己的理论，有点像当年的爱因斯坦。：）
作者：学子 在 海归商务 发贴, 来自【海归网】 http://www.haiguinet.com
|
|
|
| 返回顶端 |
|
 |
|
-
 [学术感想]自然语言，编程语言和标记语言的统一，看能不能找到人可以一起交流 -- 学子 - (2906 Byte) 2008-10-17 周五, 01:49 (4261 reads)
|
|
|
|
您不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件不能下载文件, |
|
|
