数学与信息学院学术讲座预告

       主讲：宋振明
       题目：自动推理的应用
       时间：2016年12月8日下午2：30
       地点：图书馆102学术报告厅      
       讲座内容简介：从一个或几个已知的判断(前提)逻辑推论出一个新的判断(结论)的思维形式称为推理, 这是事物的客观联系在意识中的反映。人解决问题就是利用以往的知识, 通过推理得出结论。自动推理的理论和技术是程序推导、程序正确性证明、专家系统、智能机器人等研究领域的重要基础。
       自动推理是人工智能中最成功的部分。自动推理的基本思想就是希望对一类类问题分别给出一个个确定的、能够机械地执行的解决方案。凡是用到计算机的地方,或多或少都要用到自动推理。自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面。我国在数学机械化的应用上有一些先进成果。
       主讲人简介：宋振明，博士，教授。先后于1982、1988年在河南大学分别获学士、硕士学位，1998年在西南交通大学获博士学位，现为中国运筹学会模糊信息与工程分会常务理事，中国计算机学会多值逻辑与模糊逻辑专业委员会委员。长期从事智能信息处理理论研究与教学工作，共参加了5项国家自然科学基金项目的研究，先后在“科学通报”、“Information Science”、“Int. J. of Intelligent Systems”等国内外学术刊物及学术会议上发表研究论文近30篇，合作出版了二本研究生教材和一本本科生教材。
       目前主持参与的科研项目有：
       （1）工业和信息化部无线电管理局项目：无线电监测中的智能分析(工信无函[2011]146号)，2011.8—2013.12。
       （2）国家自然科学基金项目：基于格值逻辑的α-n(t)元归结动态自动推理研究 (61175055)，2012.1—2015.12。
       （3）四川省科技支撑计划项目：无线电智能监测网络系统(2011FZ0051)，2011.8—2013.12。