胡艷

摘 要 “珠璣妙算”是經(jīng)典益智游戲，游戲過程的順利進(jìn)行在很大程度上依賴于條件推理的運(yùn)用。本文通過用excel公式計算模擬和條件推理的四種形式（肯定前件（PM）、否定后件（MT）、肯定后件（AC）和否定前件（DA）），簡述了條件推理如何在該游戲中發(fā)揮作用。

關(guān)鍵詞 條件推理 否定后件 否定前件

中圖分類號：TP301.6 文獻(xiàn)標(biāo)識碼：A

“珠璣妙算”游戲的英文名稱為“Mastermind”， 1970年以色列郵政和電信專家莫迪卡發(fā)明了這一推理棋盤游戲（Riccardo，2011），并在1972年得到了商業(yè)化推廣。正如其名，玩這個游戲需要充分調(diào)動大腦的基礎(chǔ)認(rèn)知資源，至今在歐美國家中仍是經(jīng)典的棋盤益智游戲。

游戲在兩個玩家之間進(jìn)行，其中一位為密碼設(shè)置者，另一位為密碼破解者。密碼設(shè)置者從六種不同顏色的帶插銷彩色珠子中選擇顏色可重復(fù)的四個珠子，然后將它們用銷子固定在棋盤上排列成一組有順序的顏色密碼放在隱藏的保留區(qū)。隨后，密碼破解者進(jìn)行猜測，并把猜測的結(jié)果按順序擺在棋盤上，而且每一次猜測都會得到密碼設(shè)置者的即時反饋。反饋模式由一組黑色和白色帶插銷小珠子組成，每個黑色小珠子代表破解者猜中了一個珠子的顏色而且位置正確；每個白色小珠子代表破解者猜中了一個珠子的顏色但位置不正確。當(dāng)破解者所猜測的顏色組合與密碼完全吻合，即所有顏色和位置均正確時，他便贏了該局游戲。最多可進(jìn)行12次猜測，假如12次都沒有猜對，則游戲結(jié)束。游戲的計分以嘗試的猜測次數(shù)越少分?jǐn)?shù)越高，對時間沒有特別的要求。

條件推理可以說是根據(jù)條件連接詞“如果”得出推斷的過程。例如：

前提：如果P，那么Q。

前提：非Q。

結(jié)論：非P。

前面得出的結(jié)論，在給出的前提下是必然會出現(xiàn)的，也就是說這樣的結(jié)論是必然有效的。這一推理過程稱為否定后件式推理（MT）。以此類似還有否定前件式（DA），肯定后件式（AC）和肯定前件式（MP）推理過程。其中肯定前件式（MP）和否定后件式（MT）推理為必然有效的推理。而否定前件（DA）和肯定后件（AC）式推理二者都并不必然有效。

一直以來，對“珠璣妙算”游戲的研究都集中在如何應(yīng)用策略上（Best，1990），雖然從游戲開發(fā)出來以后人們就視其為邏輯推理游戲，但是很少有研究者注意到“珠璣妙算”游戲中的條件推理過程。而其中的條件推理過程可以通過excel的條件函數(shù)公式簡單地模擬出來。因?yàn)樾枰x擇四個有序排列的彩珠，每一個序號都會有六種可能，所以密碼的可能性將會是6 x 6 x 6 x 6=1296種。模擬思路為首先窮盡所有1296種可能的密碼組合，將每步嘗試的猜測同這1296種可能的密碼組合一一對比，得到一組反饋，而這組反饋中與密碼設(shè)置者給出的反饋匹配的那些可能密碼組合極有可能就是正確答案。隨著嘗試的進(jìn)行，可能密碼組合范圍逐漸縮小，直至剩下正確的那個。沿著這一思路，只需要應(yīng)用兩類條件函數(shù)即可達(dá)到目的。這兩類函數(shù)如下：

（1）IF（F3=A3，1，IF（F3=B3，0，IF（F3=C3，0，IF（F3=D3，0，2））））；

（2）COUNTIF（J3：M3，1）。

顯然，上述模擬只運(yùn)用了肯定前件（MP）和否定后件（MT）式推理，從計算機(jī)模擬方面印證了條件推理對“珠璣妙算”游戲的破解過程至關(guān)重要。然而人類的思維過程跟計算機(jī)有所差別，在游戲過程中不太可能像用excel那樣窮舉所有可能性，這需要超強(qiáng)的記憶力。

雖然如此，人們?nèi)匀荒茉谟邢薜墓ぷ饔洃浄秶鷥?nèi)進(jìn)行條件推理。在“珠璣妙算”游戲中，人們經(jīng)常應(yīng)用條件推理進(jìn)行推斷。如下面所示的游戲片段：

位置 反饋

1 2 3 4

猜測1： 藍(lán) 綠 白 紅 1黑1白

猜測2： 藍(lán) 橙 紅 黃 0黑2白

密碼破解者會這樣進(jìn)行推理：在第一個猜測中得到了一個黑色的反饋，如果黑色反饋代表的是藍(lán)珠子，在第二個猜測中繼續(xù)保持藍(lán)色珠子不動，那么還會得到一個黑色的反饋。但是第二個猜測得到的反饋沒有黑色，表示黑色并是藍(lán)色珠子的反饋。顯然，這里運(yùn)用了否定后件式推理（MT），也就是：

前提：如果藍(lán)，那么一個黑。

前提：非黑。

結(jié)論：非藍(lán)。

顯然，條件推理能夠幫助破解者在游戲中排除某些假設(shè)。為了驗(yàn)證條件推理在游戲中的具體作用，約翰·貝斯特（Best，2001）通過實(shí)驗(yàn)發(fā)現(xiàn)否定后件式推理（MT）可以用于確定密碼的結(jié)構(gòu)類型，也就是確定是否有顏色在密碼中重復(fù)，因?yàn)槊艽a可能存在五種結(jié)構(gòu)類型[1 1 1 1]、[1 1 2 2]、[1 2 2 2]、[1 2 3 4]、[1 2 3 3]。而當(dāng)在否定后件式（MT）推理上犯錯的話，極有可能導(dǎo)致要花更多的猜測步驟才能得到正確答案。貝斯特的實(shí)驗(yàn)還表明，在使用未必一定有效的推理方式，否定前件（DA）和肯定后件（AC）時，只有在密碼中的顏色各不相同時才會導(dǎo)致在游戲中失敗。

參考文獻(xiàn)

[1] Riccardo Focardi & Flaminia L.Luccio.Guessing Bank PINs by Winning a Mastermind Game[J].Theory Comput Syst 2012.

[2] Best，J.B.Knowledge acquisition and strategic action in “Mastermind” problems[J].Memory & Cognition，1990.

[3] Best，J.B.Conditional reasoning processes in a logical deduction game[J].Thinking & Reasoning，2001.