命题逻辑中形式推演证明题的自动评阅系统

• 作者: 张丽纯 谢慧珍 魏玮
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 形式推演 命题逻辑 形式证明 自动评分 C#
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 人工智能
• 页码范围: 6-9,14
• 页数: 5页
• 分类号: TP39
• 字数: 4390字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2014.02.002

摘要

自动阅卷评分是大规模计算机考试的必然选择，而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题，其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支，命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明，即存在一题多解的情况，但其证明有严格的程式，针对其特点用C＃开发一个适用于其自身的自动评分系统。应用表明，系统操作界面友好，可大大提高教师阅卷的工作效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏玮	河北工业大学计算机科学与软件学院	28	120	7.0	9.0
2	张丽纯	河北工业大学计算机科学与软件学院	3	6	2.0	2.0
3	谢慧珍	河北工业大学计算机科学与软件学院	2	5	2.0	2.0