服务科学：语用网与知识计算（Service Science：Pragmatic Web & Knowledge Computing）

智慧共享 VS. 知识共享

赵维 — Sun, 22 Jun 2008 10:20:00 GMT

我一直在思考着给自己的那本计算系统图书取个有意义的名字，今天想到了“智慧共享”应该可以概括我的图书名称，而“知识共享”则是狭义产品的名称。

智慧共享是计算本质。人类发明计算机及网络系统，以及计算理论与技术的未来发展，其目标统统是为了更好实现人类自身的智慧共享。

软件工程的目标是为了模块共享，模块不正是软件人所创造出来的智慧物吗？实际上，软件系统、计算器具，乃至人类的一切工具，都是人类智慧的产物，社会自身不也正是智慧共享的产物和场所吗？

那么，计算理论就是人类智慧共享模型，而计算技术就是更方便实现智慧共享的系统方法论了。

这里有2个密不可分相互依赖相互促进相互发展的问题：一个是“什么是智慧”，另一个是“智慧共享方法”。什么是智慧？百度里解释智慧（http://baike.baidu.com/view/2649.htm，有必要预先阅读下百度里的智慧解释）为知识体系，是指人类社会发展而来的全部智力成果。知识是智慧的凝结，知识表示与知识描述是其核心问题，也是计算机系统技术的主要问题。

程序语言是人们发明出来的智力表示与表达方法论，而软件模块是软件工程师的智力成果，属于知识范畴了。

集人类智慧之大成的Web系统也是智力表达方法。Web包括Web系统结构和Web上的信息内容2个部分，此时的智慧突出表现为Web信息资源。Web系统结构是“信息共享方法”，是计算机系统技术的突出成果。

理解Web之后的计算模型发展，就得理解Web之后的智慧表达，以及适合该表达的共享方式。RSS与OPML正是基于Web信息资源的智慧表达，而我们的KSL系统正是RSS与OPML的共享方法、即系统模型。

总结--意识可计算？

赵维 — Tue, 15 Apr 2008 09:03:00 GMT

其中红色部分就是我所实现并在这里阐述的。

经典物理观就是笛卡尔物理观，笛卡尔提出的以解析法实现的惯性参照系是近代科学的“始祖”。因此人们常称机械性思维叫惯性思维，笛卡尔坐标系是解析几何的核心。

整个第一行的经典世界，应当算是完全已知的了，人们都叫程序语言为语义学语言。惯性空间解决的是人们所共有的一致性的问题，而相对论世界的辨证法则是解决个性化的问题，即所谓的个人偏好，如喜恶的适合性。在知识管理理论里，称适合性为“在最需要的时机把最需要的信息资源分配给最需要的人”。而在我之前的语用学还是未正式（完全）从哲学里分离出来的萌芽科学。

问号部分就是前沿物理科学家们所探索的“量子论”世界。Petri老人家说网论是用计算机语言表达的相对论，那么用计算机语言表达的量子理论就是我下一步要阐述的内容了。

评论：人类已知的物理世界模型，目前就只有笛卡尔物理时空观、相对论和量子论3个逐级抽象的系统。所有其他人的所谓系统，都只是它们的一个部分或子集，或者就仅仅是系统方法论的一个子集与方面。居然当今还有人把系统分为线性科学（或数学）与非线性，该理解是错误的，分析如下：1、分不清数学与科学的关系；2、线性只是最简单的多项式模型，如此分法在原始人古时代或者情有可原；3、机械化、惯性系、形而上学，算术（或计算数学）、解析法、几何观，笛卡尔世界观、牛顿时空观，图灵机模型，算法分析与设计学，软件工程、程序设计，以及语义学等等的所有这些学科与概念，研究描述和揭示的统统统统统统统都是一个同一的事务（的不同方面）；4、相对论，辨证法，语境与语用学，网论（世上只有Petri的网络对头，其它全是忽悠人的东西），知件工程，理论数学等等学科与概念又是另一个同一事务（的不同方面）的研究描述。

提出问题--当前互联网所面临的问题分析

赵维 — Wed, 19 Mar 2008 07:29:00 GMT

互联网具有以下特点：

1、网络上信息良莠不济，有效信息比重正趋于零。

好的正确的真实有用的信息约占5%，坏的错误的虚假有害的信息，比如虚假金融网站或虚假电子商务网站，也约占5%，更多的则是不起作用的过期垃圾信息，约占90%，随着时间推移，垃圾信息会越来越更多。

信息总是有时效的，有效期过后，有用信息就会变成垃圾信息。生产者知道信息已然失效，成为垃圾，但没有义务删除垃圾信息的制约因素；再者信息的存储方要追求拥有大量信息，因为网络财富的标志是信息拥有量、而非有效信息量，从而导致服务器往往拒绝删除垃圾信息。长此以往，互联网上的垃圾信息越积越多，有效信息必将被垃圾信息所淹没。

假设信息有效期为1，信息生产量随时间逐步增长，与时间有关，设为i，那么在第n个有效期时，有效信息量为n，垃圾信息量为1+2+…+（n-1）= n（n-1）/ 2。有效信息量占全部信息量的2/(n+1)。因此随着时间推移，有效信息的比例将趋近于零。现状若不改变，互联网终有一天会变成垃圾场。

2、信息本身不能表明其自身的真伪和是否有效，只能由人来鉴定。

一个失效租房信息只有通过联系后才知道被出租出去了；即使被发布方标明失效了，也需要浏览者阅读过才知道。这些垃圾信息浪费了浏览者宝贵的时间与金钱。因此隔绝垃圾信息，从垃圾信息的海洋里甄别出有效信息，并把有效信息聚集起来以供需要者浏览的工作就显得尤为重要了。

3、有害信息越来越多，恶意流氓信息产业化。

由于互联网的无国界性，网上有害信息得不到有效遏制和惩罚。加上恶行能产生巨额利益，因而人们必然趋之若鹜。虚假金融网站让网银损失惨重，虚假电子商务网站的猖獗迫使淘宝发起网商联盟运动，更有恶意欺骗的网络交友信息害人性命。当前这些都发展成为一个恶意信息产业了。

世人都以为房地产是目前最赚钱的行业，却不知贩毒更赚钱，而比贩毒更赚钱、又比房地产轻松的就是恶意信息产业了，例如病毒、有害信息、网络陷阱、信息欺诈等在现今网络里的大行其道。

4、生产信息的成本越来越低，而鉴定信息的代价往往很高，甚至要损失金钱和生命。

Google搜索的结果中就有大量垃圾信息，也有不良信息—部分病毒网站被自动识别出来，但不能自动鉴别内容危害信息，仅有5%左右的有效信息。

一些欺诈网站甚至大胆利用Google等系统来做关键词广告，诱使人们受骗上当。此现状若不改变，互联网终将成为犯罪的乐园。

因此如何在浩瀚的Web信息海洋里，远离恶意信息，避开垃圾信息，获得自己真正需要的有用信息，就成为摆在互联网信息科学家们面前的迫切课题了。

5、技术变革势在必行。

互联网已经成为人们现代生活不可或缺的基础性信息工具了，人们不可能离开正越来越依赖中的网络生活。但人们又一定不会愿意接受互联网正日益成为垃圾场和犯罪乐园的事实，因此技术变革成为必然。所以解决互联网以上问题的KSL技术系统必然会被接受并流行起来。

Web发明人说Web的流行是因为有利于共享信息资源，那么RSS-OPML-KSL必将因有利于共享有用信息而流行起来。其中RSS是“推”Web资源技术，OPML是“推”RSS技术，KSL是“推”OPML的人际关系网络技术。

互联网发展历程

赵维 — Thu, 13 Mar 2008 09:27:00 GMT

服务器坏了，修改了的图片传不上来了。这个blog系统维护出故障了

具体图片请参阅http://bbs.w3china.org/dispbbs.asp?boardid=57&id=59921。

    马云，阿里巴巴的主人，成功地搞出了电子商务模型系统。深刻地影响了互联网的应用与发展。马云是我们互联网时代的英雄豪杰，必将成为历史上的正面代表人物之一。
    马云认为，互联网是逐渐深入地影响人类生活的：在"web1.0"时代，只有以雅虎与新浪为代表的门户网站系统，网民只能浏览网页，被动接受信息；在"web2.0"时代，qq\msn等虚拟网络社区大行其道，通过网络发展人际关系，从网民转化为网友，网友间以游戏娱乐关系为主；在"web3.0"时代里，阿里巴巴、淘宝等电子商务系统成为主流应用，人们在网上做买卖，买进卖出，网络成为人们生活财富的基本途径之一。
    那么，人们在网上浏览游戏和生活之后，互联网还要怎样发展呢？我以为教学科研是必然。人们将通过网络学习交流一切媒体资源，此时网络将发展进入网生时代，网生包括网上学生和网上先生。实现网络资源规划的本体论就是"web4.0"了。所谓本体论就是把网络资源建设为一个全能的图书馆系统；本体论是google和百度这样的资源搜索系统的下一代技术，也是我语用网的基础设施；就是我需要通过一个如同QQ、msn等的p2p即时通信系统来分享rss\opml信息的ksl系统。本体论的价值应该比百度与google等关键字搜索系统的价值之和高一个数量级。
    当然的，“web5.0”就只能是语用网了，语用网里，一切事务性的工程工作都将由计算机系统完成，互联网上的所有计算机系统实现自动通信，有效协作。人们将不再需要从事今天所谓的工科领域，所谓的工程师的工作都将自动实现并完成，从而导致一切物质资料的边际成本为零。人类的物质世界将由计算机自动实现，人们高度依赖自动系统。因此我称此时的人类为网魂，遨游在网络里的灵魂。

从“网格计算”到“服务科学”再到“云计算”

赵维 — Mon, 18 Feb 2008 22:34:00 GMT

Ian Foster搞出来的“网格计算”名词，希望收集和发挥网络上的零星计算力和数据资源的潜在价值，但是因人们始终整不明白“网格是什么？”而不入其门。

IBM在包装了“网格计算”概念无所收获之后就自己杜撰出了“服务科学、管理与工程”，这么一个复杂的名字，但仍不能定义出“什么是服务”来。

此时的人们似乎已经知道了“联系网络上零星计算力和数据资源”的只能是“流系统”，却似乎不愿意承认以下事实：

1、当前的计算力与数据系统，都是面向对象软件工程里的“对象”概念；

2、联系网络上对象系统的只能是“消息”；

3、由消息流所织的实现“网络上的零星计算力和数据资源潜在价值”的网系统，就是实现计算系统协作的“工作流系统”；

4、工作流系统已经被人们研究了10、20年了；

5、人们都承认了Petri网模型是一切流系统的基础理论；

6、Petri网模型的工程技术叫语用学；

7、这里的工作就是阐述“网格计算”和“服务科学”概念的问题、理论和解。

本来是不想提“云计算”这个名词的，主要是觉得恶心得不行！但偏偏有人不停问及。所谓“云计算”就是IBM等大公司--越大型的公司，越喜欢这个名词--在“网格计算”被反问“什么是网格模型”而不能回答之后，再“服务科学”被反问“什么是服务模型”而不能回答之后，又杜撰出来的新名词，但仍然没有人可以回答“什么是云计算模型”这个基本问题。

有人不以为然，认为有云计算模型呢，如同有人认为有网格计算模型和服务科学模型一样。那么请回答：云计算系统是图灵机模型吗？有自己的算法表达吗？可以用程序实现吗？如果答案是肯定，则云计算就是一个算法或程序问题，实现就得了，没有什么值得全民研究的；如果答案是否定，那么模型只能是Petri网了，那就是我的语用网项目呢。

套用一个大家都熟知的概念来阐述“云计算”吧，“网格计算”、“服务科学”与“云计算”的关系，就是“脑黄金”、“脑白金”和“黄金搭档”的关系。但后者起码还有个可以喝下去的东西呢，而前者连个东西都没有，只有概念。

“语义学”的范畴

赵维 — Sun, 10 Feb 2008 11:00:00 GMT

自从“语义web”项目诞生以来，语义学领域再次地被计算机人无限放大了，似乎无所不包呢。

其实语义学（http://baike.baidu.com/view/158702.htm）：语义学又称作词义学（Semantics，来自于希腊语 semantikos），对中文等方块文字而言，则称为字义学。研究对象是词语，是词汇学的一个分支。主要研究词义。

如此看来，名词“语义学”自古就有了，不象直到1938年才由Morris杜撰出的“语用学”名词来。

真实情况是早在研究程序语言的年代里，形式语义学便被计算机人研究个透了。无视这一事实并不能解决当下语义网项目的虚无困境，正视事实才可能有所突破，有所跨越。

这里我要强调的是：我尊重事实，限定语义学在程序语言的范畴里，目的是为语用学的发展让开道路。如此一来，语义学就是完全已知的内容了，语义网项目到达KSL服务器里的本体论就应该结束了。事实上，语义网项目也确实是以本体论为终结点的，在文章Embracing “Web 3.0”--Published by the IEEE Computer Society1089-7801/07/$25.00 © 2007 IEEE IEEE INTERNET COMPUTING里就有阐述。

语义学，有图灵机模型，有算法理论，还有面向对象的程序实践。因此语义学是一个已知的完整的学科领域，就是IBM命名的“计算机科学与工程”。

我称以上的语义学内容为狭义语义学，而称一般的语义学为广义语义学。广义语义学是研究语言系统、语法规律和意识模型的学问，是计算机人永恒的追求。广义语义学被台湾人翻译为语意学，恐怕更确切些。

实现狭义语义学的计算机最新发展就是“UEFI”，一个由Intel牵头从EFI开始搞了10年的项目。在UEFI里，对象是软件的唯一表现形式，所有的软件都被对象所表达，统一存储在Web系统的对象库里，表现为一个基于UEFI的“handle数据库”。对象是Web共享的，即所有支持UEFI的上网计算机都可以访问任一对象资源，如同我们访问网页一样。

UEFI之后的问题便是“计算协作”了，这里的计算就是上文的对象。所谓计算协作问题，就是消息流问题。因为唯有消息联系对象。

由于对象不仅存在于本机里，更多的是分布在Web上，因而程序语言就不适合实现计算协作了。所以IBM与微软就在工作流语言之上联合搞出来了BPEL语言，希望BPEL解决计算协作问题。

工作流领域都承认Petri是其基本模型，如同图灵机是程序系统的基本模型一样。而Petri网的实践理论就是语用学，如同算法是图灵机模型的实践理论一样。

这样，我就在UEFI的“handle数据库”之上实现语用学了，第一步就是构造语用单元典。语用单元典是从本体论演化而来的。本体论所规划的Web资源是供人阅读的网页，语用单元典所规划的资源则是供计算机访问的软件模块--对象资源。

语用网就是IBM提出的“服务科学”的核心内容，如同算法在计算机领域的地位一般。

KSL服务器与语义搜索

赵维 — Mon, 21 Jan 2008 09:23:00 GMT

KSL是一个典型的p2p应用，一般要依托于QQ、MSN等即时通信系统。但从实现上的简单化来讲，却宜以KSL服务器的形式集中管理。

正如QQ与MSN的好友数据等存储在服务器里集中管理一样，KSL也宜由服务器集中管理。个人只与KSL服务器通信，由服务器管理不同好友间的KSL间的通信，以及个人KSL数据的增删与更新等活动。

人类社会正是通过相互学习，进行知识交流而结成并延续的。KSL正是QQ与MSN等即时通信系统里的好友关系的深化：KSL细分好友关系为老师与学生关系，并详细记录下来师生间交流的具体知识内容。

当个人KSL的数据量达到一定限度时，即KSL样本空间足够大的时候，就可以构造本体论了。本体论要基于KSL服务器里的KSL数据，是KSL网络的生成树。本体论支持或者实现语义搜索。因此，KSL服务器也叫语义服务器，或者干脆叫本体论。不仅是KSL服务器里的个人可以访问该语义搜索，所有的Web用户都可以访问。

有的项目，如facebook，仅在服务器端，构建SNS网络，来实现KSL系统，不如建立在即时通信系统上来的纯粹些。知识传承首先体现的是人群间“教师‘推’书本知识给学生”的过程，rss正是服务器向客户端“推网页”的技术，ksl是人群间“推rss网书”的网络。

工作总结

赵维 — Sat, 12 Jan 2008 16:21:00 GMT

探索并回答这样一个基本问题：人类为什么需要计算机，计算机是什么，计算机能做什么，互联网是图灵计算机的自身发展，更是Petri计算机的起点，如何实现未来的计算系统，以及未来还有哪些计算模型等。其中我搞清楚了当今计算机界的许多热点问题，如网格计算、语义网（格）、网络搜索、本体论与IBM刚提出来的服务科学。任何对这些热点问题的持续研究都将必然进入到我的语用网项目里来。（部分删节）

“下一代互联网：知识Web”简介

赵维 — Sat, 12 Jan 2008 16:21:00 GMT

Web资源搜索蕴含巨大市场，但关键字搜索不尽人意。人们期望语义搜索，但不晓得如何构造本体论。

作为知识载体的图书馆里的图书资源是有序的，按编目我们可以找到想要的任何资料。设想：当图书馆里的图书，不是成册、更没有编目，而是一页纸头一页纸头地任意存放。那我们该怎么办呢？Web世界就是这样子的。因此人们称Web里的资源为网页。

循着图书管理系统的思想，我们把网页编辑成册，因此我很自然地称RSS为网书。RSS“装订”网页成网书。

接下来呢，人们希望有个先哲来给出一个编目，叫本体论，好让编辑们把网书编入目录里去。

世上没有先哲，所以本体论玩不去了。

实际上先哲就是我们自己，社会里每一个人的有效组合，就成了先哲。

我们每个人都会读不止一本书，而是一些书。微软描述了个人收藏的这些网书为OPML，OPML“打包”RSS网书。

所谓知识，表达的不是你收藏了什么，而是你共享了什么。无论你收藏了多少资源，直到你共享出来让别人学习以前，都不能算作为知识。

因此我设计出KSL知识共享语言，KSL“分享”网书，是一个人际共享知识的网络。KSL是一个人际共享Web资源的知识网络。

KSL网络的生成树，就是本体论。KSL有很多生成树，因此存在若干本体论。至此实现了Web资源的本体搜索。

总结一下：Internet实现了数据共享,Web实现了资源共享,KSL实现了知识共享,语用网将实现服务科学。顺序4者的关系为：前者是后者的基础，后者是前者的“Killer App”，杀手应用。

科学的2种形态

赵维 — Sun, 25 Nov 2007 09:22:00 GMT

科学的2种形态

人类在长期的社会实践过程中形成了系统的理论认识，这些理论认识的传承深化扩展，是人类以区别于一般动物而存在发展的特别基础。一般社会成员学习理论认识，目的是为了更好地去实践。他们的思维对象是社会的某一个具体事务。而科学则不同，科学研究的是这个人类的认识自身，而非某一个具体社会事务。

科学具有2种基本形态，其一是所谓的博学家。博学家们擅长于理论整理，把人类认识系统化，分类化。他们的群体就是图书馆系统。他们的主要贡献在于教育或教化人类。

博学家的全体就是本体论，本体论就是图书馆图书编目系统。

科学的另一种形态就是创新。创新就是杜撰出历史上还没有出现的、或者人们还没有普遍意识到的理论认识。与博学家的系统性不同，创新往往是片面的，不系统的，点滴的。创新的作用在于扩张整个人类的认识范畴，创新是人类不同于动物的一般性特质。

但科学总是由这些点滴的、片面的创新认识所组合统一起来的。

一直有人困惑于科学的2种形态谁更重要？一般而言，传统领域，科学发育相对比较成熟或者比较完善，为使得自己少犯错误，博学就显得重要一点；而对于前沿领域，为使得有所突破，创新就更为难能可贵了。

服务科学、语用网与知识计算的关系

赵维 — Sun, 18 Nov 2007 13:44:00 GMT

早年IBM公司就倡行业之先提出来了今天我们都熟悉并依赖着的“计算机科学”。计算机科学的核心是《算法分析》，算法的实践叫软件工程，软件工程的2个工具基础就是《高级程序语言》与《数据结构》，因此人们也合称数据结构与高级程序设计语言为算法语言。软件工程的目标是软件的模块复用。

现在IBM又提出来了服务科学。只是人们还不知道：服务科学的核心就叫语用学，也就是这里所说的语用网。语用学的实践就叫知识计算，也叫知识工程。知识计算的工具基础就是表达知识的语用语言，或称语用学。知识计算的目标是知识共享。

算法背后有图灵机，即图灵机回答了算法的正确性与有效性--就是算法时间与空间复杂度--问题。知识背后有Petri网，即Petri网回答了知识的正确性与有效性--就是Petri网系统的可达性与不变量分析--问题。所谓知识的有效性问题，也就是社会里一个系统的成本或代价分析。与算法的封闭、相互孤立不同，社会系统都是普遍联系、相互影响着的。

计算机工程界已经实现了图灵机系统。由于图灵机模型与Petri网模型之间具有天然的对偶关系，因此我利用了该对偶关系在图灵机系统为基础之上实现Petri网系统。

在这个blog里，我不仅回答了服务科学的核心、实质、内容与工程技术方法，更指出来了该工程方法就是人工智能界所设想的知识工程（或陆汝岑院士所谓的知件工程）。

知识、知识社会与知识计算

赵维 — Wed, 24 Oct 2007 08:25:00 GMT

知识这个词现在可热门了，什么知识资本，知识经济的。但知识到底是什么，似乎是一个悬而未决的问题呢。这里给出知识的范畴，以及知识计算的定义。

动态RSS技术

赵维 — Wed, 10 Oct 2007 07:10:00 GMT

在私有RSS技术里，OPML聚合了私有RSS，私有RSS里聚合了本机硬盘里的资源、局域网本地服务器里的资源，以及具有访问控制的广域网资源等私有资源。因此我称私有RSS技术为知识共享系统的第一扩展。本发明是对知识共享系统的另一个扩展，我称第二扩展，使得不同的人访问同一个RSS资源时可以获得各自不同的资源聚合内容和效果。如同现实社会生活里的作业本：同学们把各自的作业本交往同一授课老师处，又从授课老师处拿回不同批阅的各自作业本。这里的作业即可以是公有资源，也可以是私有资源。

有关Killer Application的话题

赵维 — Tue, 02 Oct 2007 07:31:00 GMT

我早就准备写点有关Killer Application的话题了。只是这个话题要牵扯到非计算机领域的理论，讲述起来可能比较麻烦。而且一些所谓的语义网和网格计算领域大牛们也已颇有些误人子弟的论述了，我懒得理会。但本着治病救人的精神与真理越辩越明的事实，我现在就来说道说道。包括：1、互联网Internet上的Killer Application就是万维网Web，2、Killer App永远存在，3、如何找到Killer App，4、哲学与具体科学的关系，5、我们应当如何进行前沿科技探索。

UEFI与微软.net的关系

赵维 — Mon, 03 Sep 2007 14:35:00 GMT

与UEFI的犹抱琵琶半遮面相比，.net恐怕就无人不知无人不晓了。这个比较将有助于表达出UEFI的目标和威力来。

与intel搞EFI的初衷一样，微软搞出.net的目标也是试图解决计算机的互操作问题。所谓互操作，就是一台计算机系统里的模块访问远端计算机的模块就象访问自身的模块一样。我们知道，软件工程的目标是实现最大化的模块复用。.net把所有模块置于其下，实现了与应用无关与语言无关。任何支持.net的Windows都可以调用远端的任何模块。这个进步确实很了不起！

但是，.net只是在Windows操作系统里面实现了这个目标。而UEFI呢，是在硬件层面实现了这个目标，即复用模块的范围，不仅超越了应用和语言，更超越了操作系统的限制！也就是说，网络里的任何一个硬件部件，都可以访问另一个远端的硬件部件，而无需考虑对方的操作系统。

人们设计一个模块，如果发布到.net里，那么只有Windows里可以使用；而发布到UEFI里，所有无论什么操作系统的计算机就都能够调用了。其复用范围更进一步地扩大了。因此，UEFI一出，.net将不得不自行消失。

UEFI也不是一天炼成的，其历史要追溯到1998年的EFI，完全不比.net迟呢。不过都属于各巨头的前沿技术秘密，因而推广少点而已。

当所有的硬件部件或系统都支持UEFI以后，它们就将组合为一台计算机系统了，一台基于网络的、巨大的、开放的、不断指数增大的计算机系统。这台系统就是我这里描述的语用网--以各硬件系统为成员组织为一个社会，计算机社会，并以这个社会整体来为人类服务。

事实上，语用网不直接以硬件为基础，而是以软件为基础的，所有硬件都必需通过各自的软件模块--也叫驱动程序--注册进语用网里，从而体现其自身计算的社会价值的。