人工智能基础——知识的表示方法，一阶谓词逻辑表示法
知识的表示：就是将人类的知识形式化（符号）或模型化（结构）
这样有利于：对知识的组织维护与管理。便于对知识的增删改查。
表示方法：一阶谓词逻辑表示法命题：非真即假的陈述句。若命题的意义为真，则它的真值为T，否则为F。一个命题不可以同时为真又为假，但是可以在一种条件下为真，另一种条件下假。
命题逻辑表示有较大的局限性：无法把它所描述的事物的结构即逻辑特征反映出来。如”老李是小李的父亲。“用命题逻辑就是一个字母“y”.看不到内部的逻辑结构。无法把两者共同的特征表示出来。如“李白是诗人”和“杜甫是诗人”用命题逻辑就是两个字母p,q。
由于这些原因，在命题逻辑的基础上发展起来了谓词逻辑。
谓词：分为谓词名和个体两个部分，谓词的一般形式是：P(X1,X2,X3,…,Xn)，其中P是谓词名，用来刻画个体的性质，状态和个体间的关系。个体表示独立存在的事物或者某个抽象的概念。
个体可以是常元：例如”老张是教师可以用谓词逻辑表示为：“Teacher(Zhang)”Teacher这个谓词名刻画了“zhang”这个个体是教师这一性质。
个体可以是变元：例如“x