2.1 知识表示

人工智能的本质：知识的表示。

人工智能成功与否取决于它所蕴含的知识是否清楚。

• 数据：一般指单独的事实、信号、符号，是信息的载体。
• 信息：对符号赋予了一定的意义，因此有一定的用途或价值的。
• 知识：由经验总结升华得到，在信息的基础上增加了上下文信息，提供了更多的意义。新的知识可以根据规则和已有的知识推导出来。
• 智慧：通过之前的知识和当前的状态，做出的对未来的决策。

2.2 命题演算形式系统 PC

$n$ 元命题公式的全体可以划分为 $2^{2^n}$ 个等价类，每一类中的公式彼此逻辑等价，并等价于它们共同的主合取范式（或主析取范式）。

命题演算 (Propositional Calculus, PC)：从一给定公式集合，产生所有重言推论的形式化方法。