人工智能11概要1.ppt

人工智能　━━　一种现代方法 云南大学 施心陵讲授 第十一章 人工智能语言 PROLOG语言 1972年在法国马赛大学首先发表 是一种逻辑程序设计语言 具有一定的自动推理能力 PROLOG语言 常量 以小写字母开头的符号，例如：abc is-bird append 变量 以大写字母开头的符号，例如：Classmate 表 [a, b, c] [1, 2, [a, b] ] [ ] PROLOG语言 表结构符“|” [a, b | [c, d]] ? [a, b, c, d] [a | X] 表示以a为头的表 [a，b | X] 表示前两个元素为a、b的表 [H | T] 表示一个非空表 项 常量、变量、表等，通称为项 PROLOG语言 关系 关系名（项1，项2，…，项n） Point(X, Y, Z) father(laoma, xiaoma) 关系也称为结构，也是项 PROLOG语言 子句 P:-P1，P2，…，Pn. 其中P是句首，P1，P2，…，Pn是句体。 表示当P1，P2，…，Pn均为真时，P为真。等价于： P1∧P2∧…∧Pn = P 子句表示规则，只有句首的子句表示事实 PROLOG程序由子句组成 PR