例如，考虑一个与预测天气有关的代理，变量 R 表示是否可能下雨，变量 C 表示是否多云，变量 L 表示低压。给定知识库 K：

L（压力低）

C（多云）

C ∧ L ⇒ R，（云和低压意味着下雨）

代理人可以得出 R；因此，代理的知识意味着 R 为真，因为 K |= R。

同样，给定知识库 L：

¬L（压力高）

C（多云）

C ∧ L ⇒ R，（云和低压意味着下雨）

代理不能断定 R 为真；L 6|= R

推导真值表：

LC r ((L ∧ C) → r)

FFFT

傅立叶变换

薄膜晶体管

FTTT

薄膜晶体管

TFT

TTFF

TTTT

但这没有意义。