【管理数学领域中的问题求解与机器学习LSIN符号积分求解与学习系统】杨巍.pdf
摘要 数学是诺多学科的基础和实现工具,大多数的问题 求解过程最终都可能通过某些途径转化为数学问题的求 解过程。数学领域本身所具有的严密性和形式化特点,也为研究同题求解的理论和方法提供了一个合适的环境.本文以管理数学毕的不定积分求群为同题背景,对问题 求解及学习,特别是基于解释的学习作了一定的探讨,并在此基础上设计实现了不定积分求解与学习系统LSIN.本文首先对解释学习近期的研究进行了论述,包括 解释学习机制,兰前解释学习研究的几个重要问题:如 可操作性的形式化定义,典型解释学习过程的解释与概 括、还就群释学习的特点及今后研究方向提出一些看法 以友ISIN对这些问题的解决方法。
ABSTRACT Mostproblem solving question canbe changed into a question of solvingmathematicalproblem.Theformalismof thedomain ofmathematicsprovidesanappropriate enviromment fordeveloping thetheories and methods ofproblem solving.
引 一、机器学刁与基于解释的学习 二、问题领城及LSV系统的总体结构 14) 三、LSIV的知识库与环境文持 17) 四、执行部分:20) 五、学习部分 30) 六、解释学习近期研究方向 42) 致谢 参弓文献 附录、部分运行实例