人工智能领域的一项重要技术成果——国家“863”初等数学问题求解关键技术及系统，通过了四川省计算机学会组织的鉴定评价。

四川省计算机学会受电子科技大学的委托，于3月22日在中国科学院成都文献情报中心举行了鉴定评价会。依照合同约定，四川省计算机学会组织专家对电子科技大学承担的国家“863”项目“初等数学问题求解关键技术及系统”课题，所产生的“初等数学问题题意分析与理解”和“初等数学问题自动求解”两项成果，组成专家委员会组织会议鉴定评价。

评价专家委员会听取了听取课程组织的研究报告和工作报告，查阅了查新报告、测试报告和应用证明，观看了系统演示，进行了咨询讨论。“初等数学问题求解关键技术及系统”面向初等数学问题，建立了一个融合逻辑推理、计算推理、直觉推理、验证推理为一体的类人智能答题系统，创新逻辑推理与计算推理深度融合，并构建了可读的问题求解过程，实现类人答题；实现了机器学习技术在自动解题中的创新应用，建立了分支推理的价值评估网络。解题系统通过海量的自训练，能在没有人类干预的情形下逐步提高解题能力；研发了一个类人答题系统，系统输入为自然语言文本+Latex数学公式+图形信息的xml文件，输出为类人解答过程。“初等数学问题自动求解”系统，面向初等数学问题，构建了一个包含约500个概念及关系、1100个规则和300个认知模型的初等数学知识库，涵盖当前教材大纲所有知识点，为题意分析与理解提供了本体支持；提出了一个语义分析+实体组合的数学关系理解模型，有效解决了初等数学非文字题的自然语言理解问题。

两项成果综合运用了多种人工智能技术，在初等数学题意分析与理解的关键技术方面取得了重大突破，达到国际领先水平。

学会秘书处