收稿日期:
2013-10-21
出版日期:
2014-02-14
发布日期:
2014-02-14
作者简介:
魏玮(1960-),男,山东曲阜人,河北工业大学计算机科学与软件学院教授,硕士生导师,博士,CCF会员(E200029727M),研究方向:模式识别与图像处理; 谢慧珍(1988-),女,河北衡水人,硕士研究生,研究方向:模式识别与人工智能; 张丽纯(1987-),女,河北衡水人,硕士研究生,研究方向:模式识别与图像处理。
Received:
2013-10-21
Online:
2014-02-14
Published:
2014-02-14
摘要: 自动阅卷评分是大规模计算机考试的必然选择,而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题,其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支,命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明,即存在一题多解的情况,但其证明有严格的程式,针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明,系统操作界面友好,可大大提高教师阅卷的工作效率。
中图分类号:
魏 玮,谢慧珍,张丽纯. 命题逻辑中形式推演证明题的自动评阅系统[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2014.02.002.
WEI Wei, XIE Hui-zhen, ZHANG Li-chun. An Automatic Review System for Formal Deduction in Propositional Logic[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2014.02.002.
[1] | 李学俊. 基于人工智能的主观题自动评分算法实现[J]. 江南大学学报:自然科学版, 2009,8(3):292-295. |
[2] | 吴巧玲. 主观题自动评分系统的设计与实现[J]. 数字技术与应用, 2012(1):113-114. |
[3] | 李兵. 初等代数证明题答案的自动检测方法研究[D]. 兰州:兰州大学, 2012. |
[4] | 杨宁学. 作业系统中计算类主观题处理技术研究[D]. 成都:西南交通大学, 2006. |
[5] | 吴文俊. 走向几何的机械化——评Hilbert的名著《几何原理》[J]. 数学物理学报, 1982(2):125-135. |
[6] | William H Billingsley. The Intelligent Book: Technologies for Intelligent and Adaptive Textbooks, Focussing on Discrete Mathematics[R]. University of Cambridge, 2008. |
[7] | Ruokokoski J. Automatic Assessment in University-level Mathematics[D]. Helsinki University of Technology, 2009. |
[8] | 李刚,杨杰. 命题逻辑等值演算的计算机实现[J]. 电脑知识与技术:学术交流, 2007(2):475-477. |
[9] | 陆钟万.面向计算机科学的数理逻辑(第2版)[M]. 北京:科学出版社, 2002. |
[10] | 李爱玲,李湘江. 基于VBA的Word文档自动评阅技术研究[J]. 科学技术与工程, 2008,8(17):4859-4863,4868. |
[11] | Ken Getz, Mike Gilbert. VBA高级开发指南[M]. 北京:电子工业出版社, 1997. |
[12] | David Boctor. Microsoft Office 2000 VBA基础[M]. 北京:人民邮电出版社, 2000. |
[13] | 申屠浩,鲍可进. 用VC++语言创建Word文档[J]. 计算机工程与设计, 2004,25(6):961-962,967. |
[14] | 陈辉. Word对象模型在智能组卷中的应用[J]. 现代电子技术, 2012,35(8):39-41,45. |
[15] | 梁晟,赵雷. 王浩算法的Java实现[J]. 科技信息, 2010(5):56,206. |
[16] | 王小科,徐薇. C#从入门到精通[M]. 北京:清华大学出版社, 2010. |
[1] | 王宏杰, 徐胜超, 杨 波, 毛明扬, 蒋金陵. 基于SRv6技术的云网安全服务链自动编排方法[J]. 计算机与现代化, 2024, 0(01): 1-5. |
[2] | 付鸿林, 张太红, 杨雅婷, 艾孜麦提·艾瓦尼尔, 马 博. 基于生成对抗网络的维语场景文字修改网络[J]. 计算机与现代化, 2024, 0(01): 41-46. |
[3] | 王秋忆, 周 浩, 郑婷婷. 改进RetinaNet的电力设备目标检测方法[J]. 计算机与现代化, 2024, 0(01): 47-52. |
[4] | 林启钊, 彭志平, 郭 棉, 崔得龙. 基于双向多步预测的炉管温度场重构方法[J]. 计算机与现代化, 2024, 0(01): 53-58. |
[5] | 李亚平, 王军防, 余红梅, 窦一民, 肖 媛, 田继林. Regformer:基于稀疏注意力的输油管道水力压降预测方法[J]. 计算机与现代化, 2024, 0(01): 59-66. |
[6] | 詹少强, 曾 安, 张逸群, 孙鸿涛, 张小波. 基于异质属性融合的危重疾病二阶段预测模型[J]. 计算机与现代化, 2024, 0(01): 67-73. |
[7] | 胡崇佳, 刘金洲, 方 立. 基于无监督域适应的室外点云语义分割[J]. 计算机与现代化, 2024, 0(01): 74-79. |
[8] | 郑立瑞, 肖晓霞, 邹北骥, 刘 彬, 周 展. 基于BERT的电子病历命名实体识别[J]. 计算机与现代化, 2024, 0(01): 87-91. |
[9] | 李 鹏, 徐 珞. 一种面向城市战场的智能车自主导航方法[J]. 计算机与现代化, 2024, 0(01): 92-98. |
[10] | 李颖颖, 黄文培. 基于优化八叉树的场景视锥体裁剪算法[J]. 计算机与现代化, 2024, 0(01): 103-108. |
[11] | 夏千涵, 何胜煌, 吴元清, 赵乐乐. 基于可学习记忆特征金字塔网络的小样本目标检测[J]. 计算机与现代化, 2023, 0(12): 7-13. |
[12] | 周成诚, 曾庆军, 杨 康, 胡家铭, 韩春伟. 基于高效通道注意力模块的运动想象脑电识别[J]. 计算机与现代化, 2023, 0(12): 19-23. |
[13] | 曾伟平, 陈俊洪, Muhammad ASIM, 刘文印, 杨振国. 基于多阶段分形组合的点云补全算法[J]. 计算机与现代化, 2023, 0(12): 24-29. |
[14] | 白晓波, 江梦茜, 王铁山, 邵景峰, 李 勃, . 聚类质心与指数递减方法改进的哈里斯鹰算法[J]. 计算机与现代化, 2023, 0(12): 30-35. |
[15] | 邱凯星, 冯 广. 基于双重特征注意力的多标签图像分类模型[J]. 计算机与现代化, 2023, 0(12): 41-47. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||