222谓词逻辑表示方法(1/2) ●表示步骤: (1)先根据要表示的知识定义谓词 (2)再用连词、量词把这些谓词连接起来 例21表示知识“所有教师都有自己的学生” 定义谓词:T(x):表示x是教师。 S(y):表示y是学生。 TS(x,y):表示x是y的老师。 表示知识: (Vx)(彐y)(T(x)→TS(x,y)∧S(y) 可读作:对所有x,如果x是一个教师,那么一定存在一个个体y,y的老 师是x,且y是一个学生。⚫ 表示步骤： ⚫ (1)先根据要表示的知识定义谓词 ⚫ (2) 再用连词、量词把这些谓词连接起来 ⚫ 例2.1 表示知识“所有教师都有自己的学生” 。 ⚫ 定义谓词：T(x)：表示x是教师。 ⚫ S (y)：表示y是学生。 ⚫ TS(x, y)：表示x是y的老师。 ⚫ 表示知识： ⚫ ( x)( y)(T (x)→ TS(x, y) ∧S (y)) ⚫ 可读作：对所有x，如果x是一个教师，那么一定存在一个个体y，y的老 师是x，且y是一个学生。   17