合取项
28
信息工程与自动化学院
辖域： （教材P97） 紧接于量词之后被量词作用（即说明）的谓
词公式称为该量词的辖域。
全称量词辖域
（1）对于全称量词：
x( P( x) G( x, y))
（2）对于存在量词：
存在量词辖域
xP( x) B( x)
29
信息工程与自动化学院
• 指导变元、约束变元、自由变元（教材P97）
39
信息工程与自动化学院
例2: (1) (2) (3) (4)
马科斯是男人。 马科斯是庞贝人。 所有庞贝人都是罗马人。 每个罗马人都有一个父亲。
使用谓词逻辑表达为：
(1) MAN(Marcus);
(2) POMPEIAN(Marcus);
(3) (x)( POMPEIAN x) ROMAN x)); ( (
3.1 知识与知识表示
知识是人类智能的基础。
智能活动过程主要是一个获取知识并运用知 识的过程。 人工智能问题的求解也是以知识为基础的， 知识的获取、知识的表示和运用知识进行推 理是人工智能学科研究的3个主要问题。
5
信息工程与自动化学院
人工智能研究中的基本问题之一---知识表示
–
“如何表示知识?”
谓词逻辑中的n元谓词： P（x1,x2,……,xn)
参量（项/个体）
谓词符号（大写字母）
24
信息工程与自动化学院
为了表达个体之间的对应关系，引入 n元个体函数，简称函数： f（x1,x2,……,xn)
个体变元
函数符号（小写字母）
25
信息工程与自动化学院
量
词：
“所有”、“一切”、“任一”、“全体”、“凡 是”
