数学知识库中的重复问题
摘要：一论文：在数学知识库中构建一个经过验证的证明的知识库无疑是一项艰巨的工作，除了实际的形式化过程，还有维护知识库的任务。因此，保持知识库尽可能小是很明显的，特别是每一个数学知识应该只形式化一次。然而，在本文中，我们认为在数学知识库中复制知识可能是合理的甚至是必要的。我们分析了不同的情况和原因，并提供了支持我们论点的一些例子。
作者：Adam Grabowski and Christoph Schwarzweller
论文ID：1005.0950
分类：Digital Libraries
分类简称：cs.DL
提交时间：2010-09-22