赛克

赛克,下一个项目开始于1984年支持下微电子学和计算机技术的公司财团美国的电脑,半导体电子产品制造商,推进工作人工智能(AI)。1995年,道格拉斯Lenat节律项目总监,剥离项目Cycorp, Inc .奥斯丁德克萨斯州。Cycorp的最雄心勃勃的目标是建立一个知识库(KB)包含很大一部分的常识性知识人类。预计1亿年常识断言或规则,被编码到幕布,在一种方法称为符号人工智能。期望是这“临界质量”将进一步允许系统本身提取规则直接从普通的散文和最终作为未来的基础专家系统。

只有一小部分的常识知识库编译,本体,可以画推论失败更简单的系统。例如,本体,可以推断出“加西亚是湿的”声明“加西亚是完成马拉松跑,”利用其规则,跑马拉松需要较高的努力,人们在高水平的努力,汗水与一些出汗时,它是湿的。剩下的问题是问题之一在搜索和问题求解的例子中,如何自动搜索知识库信息相关的一个给定的问题。人工智能研究人员调用更新的问题,搜索,否则操纵一个大型结构的符号在现实的时间框架的问题。一些象征性的AI的批评者认为,框架的问题很大程度上是无法解决的,所以保持符号的方法永远不会产生真正的智能系统。可能是本体,例如屈服框架问题之前系统达到人类水平的知识。