论构建稳定性理论的知识库
人工智能
2010-09-22 v1
摘要
目前，大量数学知识已被形式化并存储在知识库中：不同的数学定理和理论已被纳入数学知识库。然而，那些离纯数学较远的应用——尽管基于这些理论——通常需要关于底层理论的更详细知识。在本文中，我们展示了一个来自电气工程领域的Mizar形式化示例，该示例聚焦于基于复分析的稳定性理论。我们讨论了在此需要何种特殊知识，以及现有知识库中包含了多少这类知识。
引用
@article{arxiv.1005.0917,
title = {On Building a Knowledge Base for Stability Theory},
author = {Agnieszka Rowinska-Schwarzweller and Christoph Schwarzweller},
journal= {arXiv preprint arXiv:1005.0917},
year = {2010}
}
备注
To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010