CoRg公司

CoRg项目-认知推理。用网络自动教概念证明器。CoRg系统是一个解决常识推理问题的系统。CoRg系统的核心是自动定理证明程序Hyper，它提供了大量的背景知识。这些背景知识在解决常识推理问题中起着至关重要的作用。本文以不同的知识呈现方式探讨了本文所用的知识和图表。