什么是计算机--语用网系统的项目小结
赵维 025-83066469，13585172302，ygzw AT tom.com（AT换成@） http://blog.donews.com/ygzw/
我自认为是“追求真理的化身”：学习研究之于我就是毒品之于隐君子；而且我就是“因研究而忘记自己母亲的傻瓜”。
从1984年进入计算机科技领域，转眼20多年过去了，也算阅读无数，实践若干了。但我感觉自己要完全揭示2、300年前的理学家（哲学家与数学家）笛卡尔（他的笛卡儿坐标系应该人人都知道吧）所说的“意识应当独立于生物之外”的论断，还有一段距离。
一、我回答了“什么是计算机”
1.1、人们不知道“什么是计算机”
人们知道计算系统模型应当包括输入/输出/处理/数据、即（I，O，P，D）等4个方面，但并不清楚其中的规律（参见中科院计算所所长、院士李国杰的《对计算机科学的反思》http://blog.donews.com/ygzw/archive/2006/04/10/821271.aspx）。
1.1.1、计算技术的发展
1939年数学家图灵（Turing）提出了著名的图灵机模型（Turing's machine），定义图灵机（图灵计算）是：在用户确定了输入输出需求之后，可以用程序和数据表达出来的算法实现，即图灵机为（I，O；P，D）。
1946年冯-络伊曼给出了支持图灵计算的硬件计算机系统。之后硬件就按照摩尔定律一直发展着。
有了硬件计算机后，实现图灵计算的软件程序设计语言飞速发展，解决社会生活各领域应用问题的数据结构与算法分析的实现方法被不断发明出来，计算技术日益成熟。这些成果基本上都被”图灵奖“所覆盖。
1986年，一个图灵奖得主、著名人工智能领域专家Brooks说：软件工程有怪兽而没银弹，即实现图灵计算的软件工程肯定不能满足人们的计算需求且效率低下。
1.1.2、计算技术的再探索
1989年互联网出现了。网络计算（net computing），特别是网络服务（Web Services）被充分发展起来了。如今网络上充满了“动态的API”，我们已经进入了计算网络（computer nets）时代。
网格计算（Grid Computing）、语义网（Semantic Web）和语义网格（Semantic Grid）等计算技术领域和方向被不断开辟和尝试，但工程界的人们始终没有搞懂“人们还需要计算机做些什么”，因而所有探索都注定无疾而终。
1.1.3、另一支计算理论
人们早就知道，意识并不总是数学的，即并不存在一个基本的数学体系来包括全世界。
1963年，物理学家Petri认为图灵机模型不能解决“异步并发的自动机通信”问题，从而提出了并随后几十年来不断完善的Petri计算网络理论。
Petri网论是解决：在完成了图灵计算、即确定了程序与数据的计算系统之后，如何用输入输出来“重新认识和重新构造（分解与重构）”世界的问题，即Petri网为（P，D；I，O）。从严格数学意义上来说，Petri网与图灵机，俩模型精确对偶。
Petri网被理论界的人们用来仿真现实系统。但计算工程界的人们对于Petri网的认识才刚刚开始，ISO15909就是软件与系统工程小组坚持搞了10多年、至今尚不能完成的Petri计算网络理论目前唯一的国际标准。
1.2、我指出了计算本质
我们知道，世界万物是普遍联系的。日常物理世界里所有对象的位移关系都可以用“笛卡儿坐标系”来精确刻画，如电子地图。意识空间里所有本体（ontology）的相互联系就是用计算来精确表达的，即计算的本质是脱离生物体的意识系统。计算就是在人脑以外实现的本体（ontology）以及本体的相互关系，即计算精确刻画本体（ontology）及本体的联系。
这里人们一定会辩论：意识是什么都没有搞懂，如何来用计算表达？对，人类的认识总是一步一步地向前发展的。语言是（显式）意识的表达，语言的规律可以认为是意识的本质。语言就是符号系统，现代语法学家认为自然语言符号理论包括语义学和语用学两个面向。
另一个问题焦点：本体（ontology）。这个上古的哲学概念，被Web发明人引入，而至现今的计算机工程界的科学家们津津乐道。物理世界的“个体”可以是你所关心的任意对象：一座相对静止的房子，一架飞行中的飞机，甚至一只正在抓昆虫的青蛙。而意识空间里的“个体”就叫作“本体（ontology）”，但意识空间并不就是物理世界的简单映像，本体并不就是“个体”的简单概念化。虽然所有的个体都应该在意识空间里有本体，但反之不成立，并不是意识空间里的本体都与物理世界的个体相对应，即有些本体没有原像。意识是对客观的分解与重构，软件工程之需求分析的任务正是用计算机的语言来对应用环境的分解与重构、即重新认识与重新构造。
现代哲学认为，本体并不能清晰地描述哲学理论，适合于描述客观真理的语用学才是取代本体概念的新哲学体系，其中的语用单元就是本体概念的升华。
1.2.1、程序设计语言表达了符号语义学
语义学研究符号系统里面主观的逻辑因素，即意识的主观方面，也就是数学因素。程序设计语言就是符号语法理论里面所阐述的语义学语言。
1.2.2、人们需要计算协作
社会的本质是协作，人们需要计算也可以协作。图灵计算的协作遵循Petri网理论，即Petri计算解决图灵计算的协作计算问题。我们称计算的计算为元（meta）计算，如同称数据的数据为元数据。
1.2.3、语用语言表达Petri网系统
Petri早在1986年就指出来了，实现Petri网系统的Petri计算工程的形式化语言就叫语用学。语用学是揭示意识的客观方面，属于现代语法学理论、更属于现代哲学范畴。
科学语用学尚在萌芽中，由我揭示，并在这里给出。
语用计算就是图灵计算的元（meta）计算，描述图灵计算相互关系的系统理论。这刚好与网络里的元数据（meta-data）概念相吻合--数据驱动计算，元数据当然驱动元计算。
二、我的语用网项目实现了计算机科学家的梦想
都是这里（http://blog.donews.com/ygzw/）的内容了。从导读开始，慢慢阅读。无论是理解，还是不理解，都希望持续交流，而不要象三复“来自网格中转站读者的评论”http://blog.donews.com/ygzw/archive/2006/04/11/822922.aspx那样不敢讨论下去。
再次强调：语用网是一个工程性的项目，是在Web1.0、SOA、P2P、Web2.0之上的一个运营系统。
我没有完全实现，是因为P2P和Web2.0的技术标准还没有发育完善，更因为我一个人不可能解决全部问题，就如同图灵也不能给出一切算法、冯络伊曼也不能给出128位计算机器一样。
三、我没有揭示的计算问题
至此，计算机可以解决语言问题、即所有一切符号语言可以形式化表达的任务了。但意识还包括非语言成分，或者被叫做“灵感等潜意识”的部分。这个问题也需要计算机来解决。
简单地讲，计算机已经可以解决了所有社会实践的“商务问题”，而不能解决文化自身的问题，即计算机还不能够写出一篇可以获得诺贝尔文学奖的小说来。
四、我的痛苦
我能搞出这个“实现潜意识”的计算系统来吗？如果再给我一个象从前一样的20年，我想还是应该有可能的，并且被我称为“太乙计算”系统。
这里先给出来“太乙计算”系统实现的标准：成功重构出《红楼梦》的后40回，无人能够找出计算机重构的后40回与曹雪芹的前80回有任何不吻合之处。
但我居然要首先推广出去这个“简单得一塌糊涂”的语用网系统。现在的我就象大象踩不死蚂蚁一样地痛苦着、痛苦中。
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 云计算，网格，SaaS，P2P 』 → [原创]什么是计算机--语用网系统的项目小结
(订阅本版)
2006/5/16 8:21:00
新浪微博
[原创]什么是计算机--语用网系统的项目小结
