艾哈迈德·马希尔;拉布区;纳瓦夫·喀尔马 使用基于知识的系统解决数学问题。 （英语） Zbl 1134.68517号 数学。计算。模拟。 67，第1-2号，149-161（2004）. 摘要：开发了一个基于知识的系统，教学生在数学基础课程中如何解决问题。首先，系统识别手写数学表达式。然后，它理解问题，解释表达式，最后解决问题。此外，还讨论了两个数学主题：微分和在一系列整数中寻找一般项。识别阶段的第一步是缩放、细化，并用由几条短直线组成的模型表示每个细化的符号。系统通过将生成的模型与系统知识库中存储的模型进行比较来识别每个符号。识别所有符号后，系统应用另一组规则来理解问题，并解释表达式。最后，将推理机中的规则应用于问题的求解。 引用于1文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：手写符号识别;数学表达式;基于知识的系统 软件：gfun公司;组织环境信息系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Ahmed}等人，数学。计算。模拟。67，编号1--2，149-161（2004；Zbl 1134.68517） 全文： 内政部 参考文献： [1] Salvy，B。；Zimmermann，P.，GFUN：一个枫树包，用于操作一个变量中的生成函数和完整函数，ACM-Trans。数学。软件，20，2，163-177（1994）·Zbl 0888.65010号 [2] 艾哈迈德，M。；Ward，R.，通用符号识别专家系统，模式识别。，33, 12, 1975-1988 (2000) ·Zbl 1006.68835号 [3] R.Anderson，二维数学符号，收录于：K.S.Fu（编辑），句法模式识别，Springer，Verlag，1977年，第147-177页。；R.Anderson，二维数学符号，收录于：K.S.Fu（编辑），句法模式识别，Springer，Verlag，1977年，第147-177页。 [4] Belaid，A。；Haton，J.，《手写数学公式识别的语法方法》，IEEE Trans。模式分析。机器。智力。，6, 105-111 (1984) [5] S.Pearce，M.Ahmed，通用符号分割的进化算法，收录于：第七届国际文档分析与识别会议论文集（ICDAR，2003），2003年8月。；S.Pearce，M.Ahmed，《通用符号分割的进化算法》，载于《第七届国际文档分析与识别会议论文集》（ICDAR，2003），2003年8月。 [6] Lee，H。；王杰，数学表达式理解系统的设计，模式识别。莱特。，18, 3, 289-298 (1997) [7] Chan，K。；Yeung，D.，《数学表达式识别：一项调查》，国际期刊Doc。分析。认可。，3, 1, 3-15 (2000) [8] 艾哈迈德，M。；Ward，R.，一种基于旋转不变规则的字符识别细化算法，IEEE Trans。模式分析。机器。智力。，24, 12, 1672-1678 (2002) [9] N.J.A.Sloane编著的整数序列在线百科全书：http://www.research.att.com/~njas/序列；N.J.A.Sloane编著的整数序列在线百科全书：http://www.research.att.com/～njas/序列·Zbl 1274.11001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。