人工智能一阶谓词逻辑表示法
一阶谓词逻辑表示法是一种重要的知识表示方法，它以数理逻辑为基础，是到目前为止能够表达人类思维活动规律的一种最精准形式语言。它与人类的自然语言比较接近，又可方便存储到计算机中去，并被计算机进行精确处理。因此，它是一种最早应用于人工智能中的表示方法。
知识的谓词逻辑表示法
人类的一条知识一般可以由具有完整意义的一句话或几句话表示出来，而这些知识要用谓词逻辑表示出来，一般是一个谓词公式。所谓谓词公式就是用谓词联接符号将一些谓词联接起来所形成的公式。
用谓词公式既可以表示事物的状态、属性和概念等事实性的知识，也可以表示事物间具有确定因果关系的规则性知识。对事实性知识，谓词逻辑的表示法通常是由以合取符号（∧）和析取符号（∨）联接形成的谓词公式来表示。例如，对事实性知识“张三是学生，李四也是学生”，可以表示为：
ISSTUDENT（张三）∧ISSTUDENT（李四）
这里，ISSTUDENT（x）是一个谓词，表示x是学生；对规则性知识，谓词逻辑表示法通常由以蕴涵符号（→）联接形成的谓词公式（即蕴涵式）来表示。例如，对于规则：
如果x，则y
可以用下列的谓词公式进行表示：
x→y