人工智能导论

命题（Proposition）：一个非真即假的陈述句。

• 若命题的意义为真，称真值为真，记为 $T$
• 若命题的意义为假，称真值为假，记为 $F$

一个命题可在一种条件下为真，在另一种条件下为假。

定义 命题逻辑 是研究命题及命题之间关系的符号逻辑系统。

定义 命题逻辑表示法：无法把它所描述的事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。

谓词的一般形式

$$P(x_1,\,x_2,\,\cdots,\,x_n)$$

$P$ 刻画个体的性质、状态或个体间的关系。

个体是 $x_1,\,x_2,\,\cdots,\,x_n$。

个体的性质：

• 个体是常量：一个或者一组指定的个体
  • 一元谓词 $\mathrm{Teacher(Zhang)}$
  • 二元谓词 $\mathrm{Greater}(5,\,3)$
  • 三元谓词 $\mathrm{Works(Smith,\,IBM,\,engineer)}$
• 个体是变元：没有指定的一个或者一组个体，例如

$$x < 5 : \mathrm{Less}(x,\,5)$$