作者：贾志先四值逻辑缺省逻辑计算机评卷
摘要：到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多种多样,存在着不一致（inconsistent）或不确定（uncertain）的问题。R.Reiter缺省逻辑（default logic）推理可以有效地解决在不一致或不确定的情况下进行逻辑推理的问题。在N.D.Belnap四值逻辑的基础上,可将经典缺省逻辑推理推广到四值逻辑的双格结构上。将四值缺省推理应用到填空等试题的评分方法中,可使填空等试题的评分结果更加准确和科学。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
