CoRg公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献,1标准件)

显示结果1/1。
按年份排序(引用)

  1. Claudia Schon,Sophie Siebert,Frieder Stolzenburg:使用ConceptNet向自动定理证明者教授常识(2019)阿尔十四