长期目标是开发一个数字亚里斯多德(Digital Aristotle)系统，一个可以解决复杂的科学问题或者日常问题的推理系统
它的主要应用域是教育，并试图解决知识获取和自动推理中的若干问题。
SILK(Semantic Inferencingon Large Knowledge),主要是研究表达力很强的规则语言(rule language)。
SILK是一种default LP,基于良基语义(well-founded semantics),里面集成了强否定，弱否定(NAF)和高阶逻辑(HiLog)。他们还定义了一个RIF的非官方方言，RIFSILK。
Benjamin Grosof,以前是MIT的研究员和RuleML的一个主要设计者。合作伙伴是BBN Technologies,主要是和Mike Dean,一个非常资深的语义网专家和DAML的设计者之一。
本文来自知之小站
PDF报告已分享至知识星球，微信扫码加入立享3万+精选资料，年更新1万+精选报告
（星球内含更多专属精选报告.其它事宜可联系zzxz_88@163.com）
