8.2.3.3 关于其它智能体知识的推理 　　当前的智能体可以对其它智能体的知识语句进行证明，证明中使用了知识公理，认识必要性和其自己的推理能力（假言推理，归结）等。在这里用一个聪明人的问题来对上述过程进行描述：假设有三个聪明人，国王说他们中至少有一个人的前额有一个白点。事实上他们每个人的前额都有一个白点。我们假设所有的人都可以看到其他人前额上的白点，而看不见它自己的，因而每个人都知道其他人是否有白点。这个问题有很多版本，在这里如果当前的智能体被告知：第一个聪明人说："我不知道我是否有白点"，第二个聪明人说："我也不知道我是否有白"。我们可以使用知识逻辑公式来表示这个问题，并表明当前的智能体可以证明第三个聪明人知道他有白点。