CYC面面观

---

CYC技术源于人类的梦想：让机器具有人的智慧。CYC的研发对于信息技术以至人类文明进步都有重要的意义。可以想见，在不远的将来，随着企业对于CYC技术应用的不断深入，各个领域的不同需求将推动CYC技术不断走向成熟。关于CYC技术本身的一些东西，前文已经有很详细的论述，在这里，只简单地列出几个重要的内容。 ·知识库 海量人类基本知识的形式化表现，包括事实、规则，以及用于对日常生活事件进行推理的探索方法。它用形式化语言CYCL表述。到目前为止，CYC一直是手工输入，已经包含了40万条左右的断言。 ·推理引擎 CYC的推理引擎进行综合逻辑推理，包括modus ponens、modus tolens,以及普遍和存在判断的量化。它使用了AI中一些著名的推论方法，如遗传算法、自动分类算法等，同时也包含了一些自己的有特别用途的算法。 ·CYC表述语言(CYCL) 用来表述CYC知识库的一种形式化语言，具有容量大、表现灵活等优点。 CYCL是一种形式化的语言，它的语法来源于一阶谓词运算（形式逻辑语言）。为了表达现实世界中各种各样的专业知识，或者仅仅是一些常识，CYCL的发展也已经远远超出了一阶谓词逻辑的范围。CYCL中的词汇由几部分组成：常量、可分离项（NAT）、变量、数字、字符串等。特定的项组合起来便成为了有一定含义的表达式，最后形成严密的CYCL语句。将CYCL语句集合起来便成了知识库。 ·CYC API CYC的应用程序接口（API）是一种应用程序使用的协议，它允许应用程序连接到CYC服务器上，使用CYCL的模块和功能，并且维护CYC知识库。 CYCL API分为两层：应用层，这一层提供了各种代码模块、函数调用和功能说明文档；传输层，提供了外部应用程序与CYC实例建立连接的具体细节，如何在应用层上发送请求，并返回结果。 CYC API的应用层包含了一个列表，列表由CYCL模块提供的函数组成。CYCorp自己设计了一种语言，叫做SubL，用这种语言可以实现CYC API。而SubL可以很容易地用Lisp或C来实现。因此，SubL可以移植到多种不同的平台和操作系统上，函数和宏的声明都用SubL来声明，就像用Lisp一样。 · 微理论 微理论是知识库中的一个规则集合。任何一个规则必须包含在某个微理论中，一个特殊的规则也可以包含在多个微理论中。但是当这些断言刚刚被写入知识库的时候，它们都在一个单独的微理论中。 微理论是一种很具体的对象，它不只包含CYCL规则，也可以作为元素来组成CYCL规则。某些谓词可以用微理论来作为其参数。 从形式上来说，知识库中的每一个规则，无论是原始规则还是经过演绎后得出的规则，都包含在某个微理论中。CYCL中的通信系统会简单地认为所有的断言、规则都包含在一个大的微理论中。一个符合规范的断言要么在默认的（最外层的）理论中，要么用ist来显式地声明它在某一个特定的微理论中。 ·自然语言处理系统 能够通读并且理解英文语句，具有人类常识，成为解决自然语言处理难题的必要条件。 例如: Peter saw the plane flying over Zurich. Peter saw the mountains flying over Zurich. 前一句说彼得看见飞机在苏黎世上空飞翔，理解起来没有什么困难;而后一句对于一般的自然语言处理系统就比较难于理解了。不过，由于CYC系统独有的自然常识辨别能力，系统会知道飞机可以飞行，而山脉不可以飞翔，所以第二句中所说的多半是彼得在飞翔了。 自然语言处理系统包含三个构件：词典、造句法解析和语义解释，其目标是提供友好的人机界面，为更为广阔的应用提供基础。 ·语义综合总线 语义综合总线是CYC系统中针对不同结构的数据源，在知识库推理引擎和启发层模块(HL)之间的选择性通道。其过程如下：结构化(半结构化)的数据直接作为虚拟断言放入启发层模块,非结构化的数据通过自然语言处理系统(NL)整理后找出合适断言，同样放入启发层模块。推理引擎在总线上广播一个请求，启发层模块一旦发现请求所需断言已存在于自己的空间中，则随即截获请求，返还引擎数据源信息。 语义综合总线的工作原理如下图所示。 （计算机世界报 第29期 B16、B17）

<script language="JavaScript" type="text/javascript"> </script>