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) |
CYC面面观
最新推荐文章于 2023-05-03 13:34:40 发布