智能控制-第二章_知识表示方法教材教学课件.pptVIP

中南大学 智能系统与智能软件研究所 没有后裔的非终叶节点为不可解节点。 如果某个非终叶节点含有或后继节点，那么只有当其全部后裔为不可解时，此非终叶节点才是不可解的。 如果某个非终叶节点含有与后继节点，那么只要当其后裔有一个为不可解时，此非终叶节点就是不可解的。 不可解节点的一般定义 2.2 问题归约法 中南大学 智能系统与智能软件研究所 如图所示 与或图例子 t t t t t t t t t （a） （b） 有解节点 无解节点 终叶节点 2.2 问题归约法 中南大学 智能系统与智能软件研究所 与或图构成规则 （1）与或图中的每个节点代表一个要解决的单一问题或问题集合。起始节点对应于原始问题。 （2）对应于本原问题的节点，叫做终叶节点。 （3）对于把算符应用于问题A的每种可能情况，都把问题变换为一个子问题集合；有向弧线自A指向后继节点，表示所求得的子问题集合，这些子问题节点叫做或节点。 （4）一般对于代表两个或两个以上子问题集合的每个节点，有向弧线从此节点指向此子问题集合中的各个节点,这些子问题节点叫做与节点。 2.2 问题归约法 中南大学 智能系统与智能软件研究所 2.3 谓词逻辑法 逻辑语句：一种形式语言，它能够把逻辑论证符号化，并用于证明定理，求解问题。 形式语言：严格地按照相关领域的特定规则，以数学符号（符号串）形式描述该领域有关客体的表达式。 2.3.1 谓词演算 1. 语法和语义 基本符号：谓词符号、变量符号、函数符号、 常量符号、括号和逗号 MARRIED(father(LI), mother(LI)) 谓词符号 函数符号 常量符号 中南大学 智能系统与智能软件研究所 原子公式：由若干谓词符号和项组成的谓词演算。原子公式是谓词演算的基本积木块。 如: INROOM(ROBOT, r1) （机器人在1号房间内） 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 2. 连词和量词(Connective Quantifiers) 连词(∧, ∨ , =, ～) 与及合取（conjunction)：用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。 例：LIKE(I，MUSIC) LIKE(I，PAINTING) （我喜爱音乐和绘画。） ∧ LIVES(L1，HOUSE-1) COLOR(HOUSE-1，YELLOW) （李住在一幢黄色的房子。） ∧ 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 例：PLAYS(LILI，BASKETBALL) ∨ PLAYS(LILI，FOOTBALL) （李力打篮球或踢足球。） 或及析取（disjunction）：用连词∨把几个公式连接起来而构成的公式。析取项是析取式的每个组成部分 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 蕴涵（Implication）：“=”表示“如果—那么”（IF—THEN）关系，其所构成的公式叫做蕴涵。蕴涵的左式叫做前件,后式叫做后件。 例： RUNS ( LIUHUA , FASTEST) = WINS (LIUHUA, CHAMPION) 非（Not） ：表示否定，～、—均可表示, 用来否定一个公式的真值。 例： ～INROOM (ROBOT, r2 ) 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 以上讲的是命题演算(谓词演算的一个子集)，但它缺乏用有效的方法来表达多个命题的能力，如： “所有机器人都是灰色的”可以表示为： (?x)[ROBOT(x)=COLOR(x, GRAY)] 但命题演算就无法表示，所以需要使公式中的命题带有变量。 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 量词 全称量词（Universal Quantifier） ：若一个原子公式P（x），对于所有可能变量 x都具有T值，则用（ ? x）P（x）表示 约束变元 全称量词作用域 存在量词（Existential Quantifier） 若一个原子公式P（x），至少有一个变元x，可使P （x）为T值，则用（ ? x）P（x）表示。 全称量词 约束变元 存在量词作用域 存在量词 例：(?x)INROOM(x,r1)（1号房间内有个物体） 2.3 谓词逻辑法 中南大学 智能系统与智能软件研究所 2.3.2 谓词公式 原子公式的的定义 用P(x1，x2，…，xn)表示一个n元谓词公式，其中P为n元谓词，x1,x2,…，xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。 分子谓词公式 可