论文部分内容阅读
本文最初的目的是提出一个关于知识库管理系统（ＫＢＭＳｓ）的代表性的数据库观点。但是，不久我们发现这种观点并不存在，关于ＫＢＭＳｓ的每一种观点，无论它代表什么，都与观察者了背景和举有关，这些背景和兴趣包括数据库、概念模型、知识表示、逻辑计算，推理系统、机器学习等。因此我们决定给出关于ＫＢＭＳｓ的纯理论观点，并从我们的背景－概念模型、数据库、逻辑计算和自动推理／定理证明－出发提出一些问题和概念。