凯文·科弗勒；阿诺德·诺伊梅尔 DynGenPar–通用数学语言的动态通用解析器。 （英语） Zbl 1360.68812号 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，386-401（2012）。 摘要：本文介绍了一种主要针对通用自然数学语言的动态广义解析器。我们的算法结合了GLR解析的效率、无表方法的动态扩展性和扩展的无上下文文法（如并行多上下文文法）的表达性。特别是，它支持在任何时候对语法进行有效的动态规则添加。该算法是以完全增量的方式设计的，允许在不重新启动解析过程的情况下使用其他标记恢复解析，并可以预测可能的下一个标记。此外，我们按照规则处理令牌上的约束。这允许在使用单词标记时使用语法正确的英语不定冠词。它还可以表示无扫描解析的典型操作，例如使用字符标记时的最大匹配。我们的长期目标是使用新解析器将现有数学知识的大型库计算机化，从世界各地数字数学图书馆（DML）项目收集的教科书或论文中的自然语言输入开始。在本文中，我们介绍了我们的方法背后的算法思想，给出了实现的简要概述，并给出了一些有效的结果。新的解析器位于http://www.tigen.org/kevin.kofler/fmathl/dyngenpar网站/.关于整个系列，请参见[Zbl 1245.68013号]. 引用于1文件 MSC公司： 68立方英尺 知识表示 2012年第68季度 语法和重写系统 68T50型 自然语言处理 关键词：动态广义解析器；动态解析器；无表分析器；无扫描分析器；分析器；并行多上下文无关文法；通用数学语言；自然数学语言；受控自然语言；数学知识管理；形式化数学；数字数学图书馆 软件：DynGenPar公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Kofler}和\textit{A.Neumaier}，莱克特。注释计算。科学。7362386--401（2012；Zbl 1360.68812） 全文： 内政部 链接