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

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

　　如果用樸素的形式邏輯的方法嚴格地討論這個問題，那么，必須首先分析關于已知條件的信息與目標的信息。

　　關于已知條件的信息是:

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

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

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

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

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

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

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

　　丙知道以上三點。(8)

　　關于目標條件的信息是: 丙知道自己戴的是白帽子。

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

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

　　對于邏輯，人們的反映常常截然不同。同樣一個問題，有些人認為有趣極了，而另一些人則認為既繁瑣，又要動腦筋，令人頭痛。你是前者，還是后者?