随着信息领域的不断发展,互联网、云计算、人工智能等技术不断的改变着当代人的生活。以智慧教育为目标,教育行业的现代化也被提上了日程。离散数学智能判卷技术的研究,是类人判卷技术应用到离散数学领域的一次尝试。利用研究的判卷技术,能有效提高教师的工作效率,让老师有更多的时间和精力去完成课程准备、对学生进行个性化辅导等更有价值的工作。本文以离散数学知识为基础,研究针对各类主观题的通用化判卷方法,设计准确、高效的正误判卷流程,最后将判卷技术落实到应用中,构建了一套适用于离散数学的主观题智能判卷系统。主要研究内容如下:1.离散数学知识库的构建。以一阶谓词逻辑知识表示方法为基础,结合面向对象技术,将离散数学中集合、关系、逻辑等章节的知识进行表示,从无到有,建立结构化的离散数学知识库。该知识库可扩展性高,层次分明,为后续判题方法的研究提供理论支持。2.主观题判卷方法的研究。通过对离散数学主观题题目信息进行分析,定义了题目知识库的作用域。再以题型为划分,使用知识库比对、逻辑判断和计算推理,研究对应主观题的判卷方法,保证了判卷的准确性。知识库比对适应范围广,判卷效率高;逻辑推理可以帮助排除步骤逻辑错误;计算推理提高特定题型的判卷效率和判卷准确度。3.设计并实现了离散数学智能判卷系统。整个系统包含了用户交互、数据处理、计算与推理、知识库四大模块,为用户提供稳定可靠的交互,数据传输服务。通过数据处理模块对传入用户数据、题目信息进行字符处理,知识库生成等服务,在计算与推理模块利用规则引擎Drools更新知识库,再通过知识比对、计算分析、逻辑判定来进行正误判定。最后利用用户反馈机制收集用户的意见,以便能够随时进行改正。