【摘 要】
：
自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动
【机 构】
：
华中师范大学教育部教育信息技术工程研究中心,广州大学教育软件研究所,中国科学院成都计算机应用研究所
论文部分内容阅读
自动推理是人工智能中最成功的部分．自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案．凡是用到计算机的地方，或多或少都要用到自动推理．自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面．我国在数学机械化的应用上有一些先进成果，但是在自动推理平台方面，还远远落后于世界先进水平，智能软件的开发需要长期努力．
其他文献
法国符号学家茱莉亚·克里斯蒂娃的“符号心理分析”（Semanalysis）理论是1968年法国五月革命的产物.作为一种意指实践的符号学,它主要针对的是索绪尔以来的符号学研究所出
中国国家博物馆图书馆中收藏有许多善本古籍,它们是中华民族宝贵的文化遗产。善本古籍事业的基础是保护。本文就如何对善本古籍加以保护管理提出了具体方法及应采取的措施:1
在中国传统文化视角下,注重优秀民族文化传承,通过邱县孝固村景区规划,围绕着“慈孝”主题,挖掘孝文化底蕴,着力打造以“孝文化”为主题的景观设计,探讨具有历史记忆、地域特
针对授受补助动词「～てくれる」和「～てもらう」的区别这一问题,以往的语法书籍一般解释为：「～てくれる」表示别人主动为自己做某事;「～てもらう」表示请别人为自己做某事。但是,
当前研究表明,糖尿病患者发生甲状腺功能紊乱的几率远远大于普通人群,本文就糖尿病与甲状腺的研究发展进行综述。
为了有效解决煤气化粗渣含水量高、污染环境、运输困难、水资源浪费等问题,通过与现有工艺技术路线比选,结合现场实际和粗渣的自身特点,设计出煤气化粗渣脱水工艺路线并实施
近一年多来，在运城大地上，就学习“长三角经验”“金三角经验”“走进新时代，建设大运城”“改革创新 奋发有为”“不忘初心 牢记使命”“守初心 担使命 找差距 抓落实”掀起了
本研究依托中国第6次北极科学考察和中国第32次南极科学考察航次,开展了白令海和南极半岛附近海域硝酸盐氮、氧同位素组成,以及南极半岛附近海域硝化速率的研究,目的在于揭示
残疾人是我国社会弱势群体,根据对我国8300万残疾人康复服务需求的情况研究发现,仅有20%的残疾人康复需求得到满足。文章采取访谈法和问卷调查法等研究方法,通过对新疆吐鲁番
在知识经济时代，企业在经营发展中更加的重视对企业的管理，而会计工作和企业中的一切经济活动都有密切的联系，对于企业的经营方向和发展思路都有重要的影响。文章对于管理会计在