8.2.3 知识模式逻辑 　　知识模式逻辑是表示当前智能体对其世界的知识的置信的模式逻辑表示方法。如果我们要采取有意的方式对其它智能体进行建模，我们就需要使用知识模式逻辑来对其它智能体进行建模。 8.2.3.1 模式算子 　　我们对在命题和一阶谓词逻辑中使用的连接词∨和∧都很熟悉，可以把这些连接词作为算子把简单的模块构造成更复杂的公式。当使用这些算子构造一个新公式的时候，新公式的真值依赖于操作对象的真值，也依赖于算子的特殊性。这里我们想构造一个公式，其预期的含义是一个确定的智能体知道一个确定的命题。公式的模块由一个表示智能体和一个表示智能体知道的命题组成。为实现这种构造方式，引入了模式算子（modal operator）Κ。