OpenCyc

OpenCyc

OpenCyc是Cyc技术的简化开放版本,Cyc技术是世界上最大,最完整的常规知识库和常识推理引擎。Cycorp的创建者Cycorp已建立了一个独立的组织OpenCyc.org,以传播和管理OpenCyc,并致力于建立一条管道,所有当前和将来的Cyc技术都将通过该管道流入ResearchCyc(可用于学术界和工业界的研发)),然后打开OpenCyc。
opencyc

分类目录

Linux版OpenCyc的替代品

SWI Prolog

SWI Prolog

SWI-Prolog为进行逻辑推理的编程软件提供了全面的自由软件Prolog环境。