操作系统理论的探索-（之三）.doc

　　操作系统理论的探索:（之三） 　　序言 　　无意间在报端看到张五常先生的《经济解释》的连载，发现经济学原来可以被这样描述，让我这门外汉感觉到原来经济学还是挺容易入门的，最让我心动的是文章的风格，这种解释型说明方式比常规的证明方式能展示出理论本身的内涵，更容易让人去体会概念的深度。 　　在这些《相关概念》中，试图阐述一些与操作系统智能化相关的概念，而智能化是一个涉及面很广的课题，特别是其数学基础--数理逻辑占了很大份额，它们多数是20世纪30年代由诸位大师们发展形成的可计算理论。这些文字可以算作个人对那些理论的学习结果，希望通过对规则与量化的说明，将现在的技术处境描述给大家。 　　感觉还没有证明任何理论的水平，所以只是从解释的角度，把自己的观点呈现给各位，因此不会有复杂的数学内容出现。写的都是自己的一家之言，供大家讨论，有不当之处恳请各位指出，帮助我改正。 　　一、规则与量化 　　1. 量化 　　一提到量化，最容易想到的是数字化，尤其是在这个数字化的时代，但这种量化方式只是量化的一个层面 　　何为量化？ 　　量化是思维的表达过程 　　高级哺乳动物能通过肢体表达原始的喜怒哀乐，而且能以简单的声音信号来进行少许的信息传递。 　　人类在长期发展中把简单的声音沟通发展成声音语言，能进行复杂信息的描述，把自己从原始的表达中解脱，也使自己的智能发展走上了正轨，把其它动物远远的抛在了脑后。而图案符号与文字的出现，使人与人之间的交流有了精确的表达形式，但不是信息传递上的精确，是传递形式上的精确，文字的出现，也使人类进入真正的文明社会，并迅速发展 。 　　经过长期发展，语言的逐渐形成标准，它是特定人群建立在自身使用习惯上的定义方式，为各声音符号指定了相应的文字符号，并赋予特定的含义，因为当时人们活动范围的非常有限，使得这些规定存在地域上的差异，形成了各种各样的语种，直至今天。 　　这些语言符号含义的规定就是语义的量化，把语言符号事先定义成独立的语义（单个符号的语义量化），在表达时把它们按语法形式连接，使得在同语种的人群中能自由地表达自己的思想。 　　因此可以说量化是人表达思想的必经之路。 　　一个未掌握公共语言的人，会通过各种原始的方式来表达自己的想法，例如手势等肢体语言，如同一个进入异乡它国而不懂当地语言的人所能做的。当掌握公共语言的人，他要表达自己的想法，就会通过该语言来规范表达自己的所思所想。 　　以上两种情况的共同点是，为了表达想法，以双方都能理解的行为来规范表达方式，这种规范过程就是思维遵照规范的准则进行量化的过程，所以说量化是思维的表达过程。 　　总的讲，从古至今有了三次大的量化发展： 　　1）语言是人表达想法的第一次量化 　　符号语言包括： 文字符号、声音符号、图案符号和肢体符号等形式 　　其量化的核心是按声音符号与文字符号表达思想。 　　肢体符号具有含义简单以及组合数量少的特点，而声音符号形成声音语言后就比较完善且相对准确，但也存在完善的肢体语言，如哑语，它可一表达大多数复杂的语言含义，因为它是肢体语言与图案语言的结合形式。 起 源量 化（一）量 化（二）声音符号不同的简单叫声形成声音语言文字出现，使声音语言标准化肢体符号人的喜怒哀乐形成舞蹈与手势语言等分支哑语（声音语言的等价形式）图案符号人对自然观察的表达形成文字符号与绘图等分支无 　　文字语言的出现是思想形式化表达的重大突破，使得人思想表达有了结实的基础，可以据此自由定义出全新的语言形式，如计算机语言等。 　　2）数学与逻辑是人表达思想的第二次量化，在语言的基础上，强调事物的精确描述 　　一般的语言形式对事物的描述往往不够精确，在文字语言出现后，因其出现是作为规范声音语言的标准形式，所以其表达上的精确性成为其发展的方向。在长期语言积累中逐渐形成了一个语言子集来处理精确表达，即数学与逻辑。 　　它们一直伴随着语言的发展，其作用是规范语言的表达，使交流双方能有一个精确交流的基础，但现实世界的复杂性，使得这种精确表达只能是语言中一个不断发展的子集，而且这种精确性是逻辑上的精确性。 　　3）数字化是第三次量化，在数学与逻辑的基础上，强调可计算性 　　虽然数学与逻辑已经能帮助我们正确的描述世界，但在实际应用的中，人们发现计算并不是人脑的特长，因此不断制造出新的工具来辅助计算，以提高计算速度，例如算盘的出现在很长时间内满足了日常生活中计算的要求。 　　当计算机发明后，大规模计算成为可能，极大促进了工程计算的应用，使得所有理论都出现了数字化趋势，因为人工智能的目标是对人脑思维的彻底模拟，将所有人能总结的理论进行数字化是人工智能发展需求，这也是人类探索大脑秘密的必经之路，而计算机模拟只是其中的一个阶段。 　　这种形势下，可计算的特性成为量化中心，而且要求计算过程是有限步的，即具