人工智能期末复习
需积分: 10 140 浏览量
2017-07-25
17:16:27
上传
评论 2
收藏 293KB PPTX 举报
1
1.2.2 谓词逻辑表示方法
•
表示步骤：
•
(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 是一个学生。
剩余63页未读，继续阅读
评论0
最新资源