克劳迪奥·萨塞尔多蒂·科恩;斯特凡诺·扎奇罗利 虚假消歧错误检测。 (英语) Zbl 1202.68410号 Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,微积分2007,第6次国际会议,MKM 2007,奥地利哈根贝格。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,381-392(2007)。 摘要:公式输入的消歧方法使用户能够以简洁的语法键入正确的公式,接近于通常的模糊数学符号。当涉及到不正确的公式时,我们只想显示与用户所指的解释相关的错误,隐藏与其他解释有关的错误(虚假错误)。我们提出了一种识别虚假错误的启发式方法,该方法已与[C.Sacerdoti科恩和S.扎奇罗利,“数学公式的高效歧义解析”,Lect。注释计算。科学。3119, 347–362 (2004;Zbl 1108.68602号)].关于整个系列,请参见[Zbl 1119.68011号]. 引用于2文件 MSC公司: 68立方英尺 知识表示 引文:Zbl 1108.68602号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sacerdoti Coen}和\textit{S.Zacchiroli},莱克特。注释计算。科学。4573、381--392(2007年;Zbl 1202.68410) 全文: 内政部