基于逻辑推理的计算机试题评卷算法研究  

Research on Computer Grading Algorithm based on Logical Reasoning

作　　者：贾志先[1] 

机构地区：[1]新疆财经大学网络与实验教学中心,乌鲁木齐830012

出　　处：《智能计算机与应用》2014年第4期47-49,53,共4页Intelligent Computer and Applications

基　　金：教育部人文社会科学研究新疆项目(14XJJAZH001)

摘　　要：到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多种多样,存在着不一致(inconsistent)或不确定(uncertain)的问题。R.Reiter缺省逻辑(default logic)推理可以有效地解决在不一致或不确定的情况下进行逻辑推理的问题。在N.D.Belnap四值逻辑的基础上,可将经典缺省逻辑推理推广到四值逻辑的双格结构上。将四值缺省推理应用到填空等试题的评分方法中,可使填空等试题的评分结果更加准确和科学。So far, the grading methods of filling in the blanks and other topics are almost by matching keywords of grading with answers of examinee, and the results of grading are not satisfactory. Due to the answers of examinee with diversity, there are inconsistent or uncertain problems. The default reasoning by R. Reiter can effectively solve the problems of reasoning in the case of inconsistency or uncertainty. On the basis of four - valued logic by N.D. Belnap, the classic default logical reasoning can be extended to four - valued. The default reasoning based on four - valued can be used to grade filling in the blanks and other topic, so as to make the results of grading more accurate and scientific.

关 键 词：四值逻辑 缺省逻辑 计算机评卷 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]