安德烈亚·科尔哈斯;迈克尔·科尔哈斯 数学知识空间的探索。 （英语） Zbl 1151.68666号 Kohlhase，Michael（编辑），《数学知识管理》。第四届国际会议，MKM 2005，德国不来梅，2005年7月15日至17日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-31430-X/pbk）。计算机科学课堂讲稿3863。人工智能课堂讲稿，17-32（2006）。 摘要：尽管知识是MKM的中心话题，但关于“知识”实际上可能是什么，几乎没有明确的讨论。关于知识的形式和内容，关于知识的结构，以及塑造MKM系统的认识论性质，有一些具体的直觉，但缺少一个概念模型。在本文中，我们试图使这一讨论合理化，以使MKM有更坚实的基础，在MKM研究人员之间展开讨论，并帮助将MKM的直觉和论述与其他社区联系起来。从数学知识对象的许多具体实现被认为是等价的这一观察出发，我们提出了一个按抽象级别和表示显式级别分级的（数学）知识对象空间的概念模型，并得出了MKM标记格式的结论。关于整个系列，请参见[邮编1096.68004]. 引用于三文件 MSC公司： 68立方英尺 知识表示 软件：OMDoc公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Kohlhase}和\textit{M.Kohlhase}，Lect。注释计算。科学。3863，17-32（2006；Zbl 1151.68666） 全文： 内政部