Cyc简介

Cyc中的概念被称为“常量(constants)”。常量以"#$"开头并区分大小写。常量主要分为以下几类：
个体，即individuals：例如 #$BillClinton 又如 #$France。
集合，即Collections：例如 #$Tree-ThePlant (包含所有的树)，又如 #$EquivalenceRelation (包含所有的等价关系）。集合中的个体被称为该集合的实例（instance）。
真值函数，即Truth Functions：该函数可被应用于一个或多个概念，并返回“真”或“假”。例如 #$siblings 表示兄弟姐妹关系，若两个参数对应的内容为兄弟姐妹关系，则该概念返回真值。约定真值函数以小写字母开头，并且可以被拆分为若干个逻辑连接词（例如 #$and、#$or、#$not、#$implies）、量词（#$forAll, #$thereExists 等等）以及谓词。
函数，即Functions：用于以现有术语为基础产生新的术语。例如 #$FruitFn 具有以下作用：若接收到用于描述一种（或一个集合）植物的声明，则会返回其果实。约定函数常量以大写字母开头，并以“Fn”作为结尾。
Cyc中的谓词最重要的是 #$isa 以及 #$genls。#$isa 表示某个对象是某个集合的个体(instance)，#$genls 表示某个集合是另外一个集合的子集合。由概念构成的事实采用CycL语言描述的“句子”表示。谓词则写在与其相关的对象之前，并以括号括起来:
(#$isa #$BillClinton #$UnitedStatesPresident)
表示 “Bill Clinton属于美国总统集合”；
(#$genls #$Tree-ThePlant #$Plant)
表示“所有的树都是植物”；
(#$capitalCity #$France #$Paris)
表示“巴黎是法国的首都”。
句子中可以包含变量，变量字符串以 "?"开头，这些句子被称为“规则”。与#$isa谓词有关的一条规则如下所示：
(#$implies (#$and (#$isa ?OBJ ?SUBSET) (#$genls ?SUBSET ?SUPERSET)) (#$isa ?OBJ ?SUPERSET))
上面的规则可解释为："若OBJ为集合SUBSET中的一个实例，并且SUBSET是SUPERSET的子集，则OBJ是集合SUPERSET的一个实例。下面再给出另外一个典型的示例：
(#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)
上面的规则可解释为：对于脊索动物（chordate）集合#$ChordataPhylum中的所有实例，都存在一个母性动物(为#$FemaleAnimal的实例)作为其母亲(通过谓词#$biologicalMother描述)。
Cyc知识库是由许多“microtheories” (Mt)构成的，概念集合和事实集合一般与特定的Mt关联。与整体的知识库有所不同的是，每一个Mt相互之间并不矛盾，每一个Mt具有一个常量名，Mt常量约定以字符串 "Mt"结尾。例如：#$MathMt 表示包含数学知识的Mt，Mt之间可以相互继承得到并组织成一个层次化的结构。例如#$MathMt 特化到更为精细的层次便包含了如 #$GeometryGMt，即有关几何的Mt。
推理引擎
推理引擎是从知识库中经过推理获取答案的计算机程序。Cyc推理引擎支持一般的逻辑演绎推理，包括[5]：
肯定前件假言推理(Modus ponens)
否定后件假言推理(Modus tollens)
全称量化(universal quantification)
存在量化(existential quantification)。
发布版本OpenCyc
OpenCyc的最近一个版本是于2009年7月发布的OpenCyc 2.0版。OpenCyc 1.0版涵盖了完整的Cyc本体，其中包含了47000个概念、306000个事实，主要是分类断言，并不包含Cyc中的复杂规则。
OpenCyc的第一个版本发布于2002年春天，该版本仅包含6000个概念、60000条事实。该知识库是在Apache许可证保护下发布的。Cycorp公司已表示有意采用无限制的授权形式及多种授权形式满足其用户的需求。CycL和SubL解释器（允许用户浏览并编辑知识库、并具有推理功能）是免费发布给用户的，但是仅包含二进制文件，并不包含源代码。OpenCyc具有针对Linux操作系统及微软Windows操作系统的发行版。开源项目Texai[6] 项目发布了RDF版本的OpenCyc知识库[7]。
ResearchCyc
2006年，Cycorp发布了二进制版本的ResearchCyc 1.0，这是向科研社群发布的免费版本的Cyc（ResearchCyc在2004年经过了一整年的测试开发，并于2005年2月发布了测试版）。ResearchCyc中除了包含OpenCyc中的分类信息外，还在知识库中显著增加了许多语义知识（及附加的事实），并加入了一个庞大的词汇表、英文解析与生成工具、及用于编辑、查询知识的Java接口。
应用恐怖主义知识库项目
恐怖主义综合知识库是一个正在开发中的Cyc应用，该应用的目标是最终创建一个包含所有恐怖组织、相关成员、领袖、其世界观、创建者、赞助者、设施、地点、经费、目的、行为、战术及某次特定恐怖活动事实的知识库。该类知识以数理逻辑表示的声明形式存储[8]。
Cyclopedia项目
Cyclopedia是一个正在开发的项目，它致力于用Cyc中的关键词对Wikipedia网页上的内容进行标注[9][10]。
克利夫兰临床基金会项目
克利夫兰临床基金会采用Cyc开发了一个生物医学信息的自然语言查询系统[11]。该系统将查询通过开放变量解析为CycL(高阶逻辑)片断构成的集合，随后通过应用各种约束（如医学领域知识、常识、语篇语用学、语法）之后，找到将这些片断结合在一起，形成语义丰富的形式化查询的方法[12]。