公務(wù)員考試培訓(xùn)網(wǎng)

　　"s先生與P先生"問(wèn)題，是 "猜帽問(wèn)題"的發(fā)展。還是從大家熟悉的“猜帽問(wèn)題”談起:

　　老師讓三個(gè)同學(xué)坐在一條垂直線上，使甲可以看見(jiàn)乙和丙，乙可以看見(jiàn)丙但看不見(jiàn)甲，丙既看不見(jiàn)乙也看不見(jiàn)甲。讓三個(gè)同學(xué)閉上眼睛，給他們每個(gè)人戴上一頂帽子，并告訴他們:至少有一頂帽子是白色的。等他們睜開(kāi)眼睛，老師問(wèn)甲戴的是不是白帽子，甲說(shuō)不知 道。老師又問(wèn)乙同樣的問(wèn)題，乙也說(shuō)不知道。老師再問(wèn)丙。丙說(shuō):知道了，我戴的是白帽子。問(wèn):丙是怎么知道的?

　　如果用樸素的形式邏輯的方法嚴(yán)格地討論這個(gè)問(wèn)題，那么，必須首先分析關(guān)于已知條件的信息與目標(biāo)的信息。

　　關(guān)于已知條件的信息是:

　　甲、乙、丙中至少有一個(gè)人戴的是白帽子。(1)

　　甲知道乙、丙戴的是不是白帽子。(2)

　　乙知道丙戴的是不是白帽子。(3)

　　甲、乙、丙都知道以上三點(diǎn)，而且都明白別人也知道。(4)

　　甲不知道自己戴的是不是白帽子。(5)

　　乙知道甲不知道自己戴的是不是白帽子。(6)

　　乙不知道自己戴的是不是白帽子。(7)

　　丙知道以上三點(diǎn)。(8)

　　關(guān)于目標(biāo)條件的信息是: 丙知道自己戴的是白帽子。

　　可以認(rèn)為，這個(gè)題目所包含的已知條件的信息有八條，其中有七個(gè)已知條件是 "知道"或"不知道"的問(wèn)題。這八個(gè)信息缺一不可。甲和乙所回答的"知道"與"不知道"，包含著更重要的信息。丙就是根據(jù)這些信息進(jìn)行推理的。

　　這種推理模式，同計(jì)算機(jī)的發(fā)展關(guān)系極大。為了實(shí)現(xiàn) "人—機(jī)" 對(duì)話，必須首先解決用計(jì)算機(jī)去理解自然語(yǔ)言的問(wèn)題。于是，有關(guān)處 理"知道"類(lèi)問(wèn)題的"知道邏輯"應(yīng)運(yùn)而生了。"S先生與P先生"問(wèn)題就是 "知道邏輯"的趣題。這類(lèi)題目中出場(chǎng)的人是S先生和P先生。無(wú)疑他們也都是絕頂聰明的。對(duì)于他們來(lái)說(shuō)，邏輯推理能運(yùn)用自如。我們還假定，他們的每一句話都是正確的。

　　對(duì)于邏輯，人們的反映常常截然不同。同樣一個(gè)問(wèn)題，有些人認(rèn)為有趣極了，而另一些人則認(rèn)為既繁瑣，又要?jiǎng)幽X筋，令人頭痛。你是前者，還是后者?