×

用于数学检索的结构相似性搜索。 (英语) Zbl 1390.68258号

Carette,Jacques(编辑)等人,《智能计算机数学》。2013年7月8日至12日,MKM、Calculationmus、DML以及系统和项目,作为2013年CICM的一部分,在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。人工智能课堂讲稿,246-262(2013)。
摘要:通过直接查询文档的数学内容来检索文档在各个领域都很有用,包括教育、工程、专利研究、物理和医学。然而,与文本检索不同的是,孤立的数学符号不包含太多语义信息,还必须考虑表达式的结构。不幸的是,考虑到计算文档相关性得分的结构,排名算法的计算成本比用于文本文档的典型排名算法要高。因此,当前的数学检索系统要么局限于精确匹配,要么完全忽略结构;它们要么牺牲召回率,要么牺牲准确性,以提高效率。我们提出了一种基于结构相似性排序算法的高效端到端数学检索系统。我们描述了新的优化技术,以减少索引大小和查询处理时间,并通过实验验证了系统的正确性和效率。所以,通过所建议的优化,可以充分利用数学内容对文档进行排序,以响应数学查询。
关于整个系列,请参见[Zbl 1268.68008号].

MSC公司:

68第20页 信息存储和数据检索
68单位35 信息系统的计算方法(超文本导航、接口、决策支持等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部