賈志先

摘要：到目前為止，填空等試題的計算機評分方法，基本上是利用評分關鍵字與考生的答案匹配進行評分，評分結果并不理想。由于考生的答案多種多樣，存在著不一致（inconsistent）或不確定（uncertain）的問題。R.Reiter缺省邏輯（default logic）推理可以有效地解決在不一致或不確定的情況下進行邏輯推理的問題。在N.D. Belnap四值邏輯的基礎上，可將經典缺省邏輯推理推廣到四值邏輯的雙格結構上。將四值缺省推理應用到填空等試題的評分方法中，可使填空等試題的評分結果更加準確和科學。

關鍵詞：四值邏輯； 缺省邏輯； 計算機評卷

中圖分類號：TP391 文獻標識碼：A文章編號：2095-2163（2014）04-0047-04

Abstract：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.

Key words：Four-valued Logic； Default Logic； Computer Grading

0引言

隨著計算機技術的發(fā)展，大部分考試和評分都實現了智能化和數字化。一些傳統(tǒng)的考試題型，例如填空題，由于計算機自動評分難于實現所致，已在大部分考試中少獲采用。

近年來，國內外學者在填空等試題計算機評分方面進行了一系列的研究[1-3]。到目前為止，填空等試題計算機評分方法，基本上是利用評分關鍵字與考生答案的相互匹配來完成評分。但在實際應用中，這些評分方法的評分結果卻都未臻理想。并且，由于考生答案呈現的多樣性，這就決定了考生答案中也必然存在著不一致（inconsistent）或不確定（uncertain）的問題，由此即可推知填空等試題的計算機評分將是一個非單調推理活動[4]。

在非單調邏輯的作用下，可能會由于某個新結論的產生或者新條件的加入而推翻先前的某個結論，從而使推理過程回返至上一步[5]。Reiter于1980年提出了缺省邏輯推理（default reasoning）[6]，即已有效地解決了在不一致或不確定的情況下，進行邏輯推理的問題。

經典邏輯演算是二值的，即對于任何命題都只有兩個可能的真值，真（t）和假（f）。但是二值邏輯對于不完備信息和不一致信息的情形卻已宣告為無效。為了克服二值邏輯的不足，1977年，Belnap在經典邏輯真值中，增加了兩個邏輯值⊥和┬，由此則構成了四值邏輯[7]。1986年， Ginsberg 進一步推廣了N.D. Belnap的四值邏輯結構，并建立了雙格概念[8]，這種四值邏輯的雙格結構為知識表示提供了方便。

本文中，在四值邏輯的基礎上，將經典缺省邏輯推理外拓至四值邏輯的雙格結構上。并且應用四值缺省推理到填空等試題的評分方法中，則可使填空等試題的評分結果更趨準確與科學。

1缺省推理

在推理過程中，經常涉及到一些在多數時候是真，但不總是真的事實的推理。前提真，結論卻可能矛盾。應用缺省推理，則在可能的情況下，能夠消除矛盾，并從矛盾的結論中得到可接受的結論[5]。

填空類型分為完全相同和包含等類型。其中，完全相同類型表示考生的答案與標準答案完全相同才能得分。包含類型則表示考生的答案中包含標準答案，并且在應用缺省推理過程中，滿足理由才能得分。

一般情況下，填空等試題的答案不止一個，用key_number表示答案的個數。根據答案個數key_number，即可確定缺省推理評分結構數組keys。

4結束語

由于填空等試題，評分難度較大。對填空等試題的題目進行合理設計，是降低評分難度的一個重要方面，答案應該選擇相對確定和唯一。

在考生回答填空等試題過程中，可能在答案中出現了一些多余的字符，例如，空格、標點符號等，另外還會存在英文字符的大小寫與試題答案不一致等問題。因此，在評分之前，需要對考生的答案進行規(guī)范化處理。

應用缺省推理進行填空題的評分，相比利用評分關鍵字與考生的答案相匹配進行評分的方法，評分結果更為準確和科學。

參考文獻：

[1]高思丹， 袁春風. 主觀試題的計算機自動批改技術研究[J]. 計算機應用研究， 2004， 21（2）：181-185.

[2]史娟. 考試系統(tǒng)中填空題自動評分的設計與實現[J]. 計算機應用與軟件， 2010， 27（9）：197-199.

[3]梁振球. 填空題自動評分系統(tǒng)的研究與實現[J]. 計算機系統(tǒng)應用， 2007， 16（2）：109-111.

[4]HUNTER A. Using default logic in information retrieval [A]. Symbolic and Quantitative Approaches to Uncertainty （ECSQARU'95）， edited by FROIDEVAUX C， KOHLAS J， Lecture Notes in Computer Science [C]. Springer ，1995， 946：235-242.

[5]張韌弦. 基于缺省邏輯的一般會話含義例證的形式處理[J]. 當代語言學， 2008， 10（2）：158-167.

[6]REITER R. A logic for default reasoning [J]. Artificial Intelligence， 1980， 13（1&2）：81-132.

[7]BELNAP N D. A useful four-valued logic [A]. EPSTEIN G， DUMM J， editors. Modern Uses of Multiple-Valued Logic [M]. D. Reidel Publishing Company， Boston， 1977：8-37.

[8]GINSBERG M L. Multivalued logics： a uniform approach to reasoning in artificial intelligence [J]. Computer Intelligence， 1988，4： 256-316.

[9]岳安步， 林作銓. 基于四值語義的缺省邏輯[J]. 計算機學報， 2005， 28（9）：1447-1458.

[10]周北海， 毛翊. 一個關于常識推理的基礎邏輯[J]. 哲學研究（增刊）， 2003：1-10.

[11]FITTING M. Bilattices and the semantics of logic programming [J]. The Journal of Logic and Algebraic Programming， 1991， 11（1&2）： 91-116.

[12]BOU F， RIVIECCIO U. The logic of distributive bilattices [J]. Logic Journal of the IGPL， 2011， 19（1）：183–216.

[13]賈肇聰. 四值邏輯的直觀語義[D]. 北京： 北京大學， 2013.

[14]ARIELI O， AVRON A. The value of the four values [J]. Artificial Intelligence， 1998， 102（1）：97-141.

[15]HUNTER A， WILLIAMS M. Aggregating evidence about the positive and negative effects of treatments [J]. Artificial Intelligence in Medicine， 2012， 56：173-190.