×

一种数学相似性搜索方法。 (英语) Zbl 1304.68040号

Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。人工智能课堂讲稿,404-418(2014)。
摘要:数学表达式独特的结构语法和多样的语义等价性使基于关键字的文本搜索引擎难以有效满足用户的搜索需求。许多现有的数学搜索解决方案侧重于精确搜索,其中符号匹配决定了相关性等级,而结构相似性和数学语义往往被忽略或没有得到充分解决。一个重要的研究问题是如何有效地找到与用户查询相似的数学表达式,以及如何根据相似性对点击数进行相关性排序。本文的重点是(1)概念化数学表达式之间的相似性,(2)定义度量数学相似性的指标,(3)将这些指标用于数学相似性搜索,以及(4)评估性能以验证所提出的数学相似性检索的优势。结果表明,数学相似性搜索的性能优于基于关键字的数学搜索。
关于整个系列,请参见[Zbl 1293.68035号].

MSC公司:

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

参考文献:

[1] 数学函数数字图书馆(DLMF)、国家标准与技术研究所(NIST)、,http://dlmf.nist.gov/
[2] Hashimoto,H.,Hijikata,Y.,Nishida,S.:整合广度优先搜索以索引MathML对象。参加:IEEE系统、人与控制论国际会议,SMC 2008(2008)·doi:10.1010/ICSMC.2008.4811843
[3] Kamali,S.,Tompa,F.:一种新的数学检索系统。摘自:第19届ACM信息和知识管理国际会议记录,CIKM 2010。ACM,纽约(2010年)·Zbl 1176.68070号 ·doi:10.1145/1871437.1871635
[4] Kohlhase,M.,Sucan,I.:数学公式搜索引擎。收录人:Calmet,J.、Ida,T.、Wang,D.(编辑)AISC 2006。LNCS(LNAI),第4120卷,第241-253页。斯普林格,海德堡(2006)·Zbl 1156.68306号 ·数字对象标识代码:10.1007/11856290_21
[5] Libbrecht,P.,Melis,E.:访问和检索ActiveMath中数学内容的方法。收录:Iglesias,A.,Takayama,N.(编辑)ICMS 2006。LNCS(LNAI),第4151卷,第331-342页。斯普林格,海德堡(2006)·兹比尔1283.68319 ·doi:10.1007/11832225-33
[6] Miller,B.,Youssef,A.:数学函数数字图书馆的技术方面。《数学与人工智能年鉴》38(1-3),121-136(2003)·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[7] Miner,R.,Munavalli,R.:通过查询公式和数据规范化进行数学搜索的方法。收录人:Kauers,M.、Kerber,M.,Miner,R.、Windsteiger,W.(编辑)MKM/Calculemus 2007。LNCS(LNAI),第4573卷,第342-355页。斯普林格,海德堡(2007)·Zbl 1202.68130号 ·doi:10.1007/978-3-540-73086-6_27
[8] Miutka,J.,Galambo,L.:全文搜索引擎索引器的数学扩展。摘自:《信息和通信技术学报:从理论到应用》,ICTTA 2008,IEEE目录编号CFP08577,叙利亚,第207-208页(2008)
[9] 第十一届国家信息学研究所信息获取试验台和社区研究研讨会(2013-2014年),http://ntcir-math.nii.ac.jp/
[10] Reddy,A.:《Common Lisp的特征》(2008),http://random-state.net/features-of-common-lisp.html
[11] Sojika,P.,Liška,M.:数学检索的艺术。摘自:《ACM文件工程会议记录》,DocEng 2011,加利福尼亚州山景城,第57–60页(2011)
[12] 数学标记语言(MathML)3.0版(第3版),万维网联盟,http://www.w3.org/TR/MathML3/
[13] Yokoi,K.,Aizawa,A.:使用MathML搜索数学表达式相似性的方法。收录于:《迈向数字数学图书馆》,加拿大Ontanrio Grand Bend,第27-35页。马萨里克大学出版社,布尔诺(2009)·兹比尔1176.68074
[14] Youssef,A.:《数学内容的信息搜索和检索:问题和方法》。In:ISCA第14届智能和自适应系统与软件工程国际会议(IASSE 2005),加拿大多伦多,2005年7月20日至22日(2005)
[15] Youssef,A.S.:数学搜索中的关联排序和命中率生成方法。收录人:Kauers,M.、Kerber,M.,Miner,R.、Windsteiger,W.(编辑)MKM/Calculemus 2007。LNCS(LNAI),第4573卷,第393-406页。斯普林格,海德堡(2007)·Zbl 1202.68161号 ·doi:10.1007/978-3-540-73086-6_31
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。