安德烈亚·科尔哈斯;迈克尔·科尔哈斯 重新审视MKM价值主张：从数学Web搜索到数学Web重新搜索。 （英语） 兹比尔1202.68467 Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，313-326（2007）。 摘要：数学知识管理领域的兴趣基于这样一个假设，即通过投资于数学知识的标记或形式化，我们可以在管理（创建、分类、重用、验证和查找）数学理论、语句和对象方面获得好处。这一全球价值主张被用来推动对能够为这些知识管理任务增加机器支持的技术的追求。但这种以技术为中心的动机（相当幼稚）仅从全球（宏观）角度来看，几乎完全无视用户的观点和使用动机，即本地（微观）角度。本文通过从微观角度关注数学搜索引擎的动机，对MKM价值主张进行了更具原则性的分析。我们将使用一种基于表格的方法，称为其中一位作者开发的“附加值分析”（AVA）。尽管我们只将AVA应用于数学搜索引擎，但该方法很快就会导致与MKM整个领域相关的价值考虑。关于整个系列，请参见[Zbl 1119.68011号]. 引用于2文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68立方英尺 知识表示 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） PDF格式BibTeX公司 XML格式引用 \textit{A.Kohlhase}和\textit{M.Kohlhase}，Lect。注释计算。科学。4573313--326（2007；Zbl 1202.68467） 全文： 内政部