哈工大人工智能课件chpt3124.pptxVIP

人工智能原理第3章 逻辑系统 ; 本章内容 3.1 命题逻辑和一阶谓词逻辑 3.2 逻辑系统的语法和语义 3.3 逻辑推理举例 3.4 逻辑智能体的推理策略 参考书目 附录 形式系统简介;经典数理逻辑;逻辑智能体;3.1 命题逻辑和一阶谓词逻辑命题、真值、原子公式、合式公式谓词、论域、个体量词、变量、函数一阶语言、一阶语言的项;命题;命题变量与真值;简单命题与复合命题;命题逻辑基础;命题逻辑基础;命题逻辑基础;命题逻辑基础;命题语言与原子公式;命题逻辑的合式公式;例子;例子;命题逻辑的特点;一阶谓词逻辑;例子;论域与个体;谓词;变量与量词;约束变量和自由变量;函数;函数与谓词的区别;一阶语言(1);一阶语言(2);一阶语言的项和公式;一阶语言的公式(1);一阶语言的公式(2);一阶语言的公式(3);3.3 逻辑推理举例 wumpus世界;wumpus世界(1);wumpus世界(2);wumpus世界(3);wumpus世界中的命题和推理规则;命题逻辑的推理模式;wumpus世界的推理例子;3.4 逻辑智能体的推理策略逻辑智能体构造Horn子句置换与合一前向链接算法 / 后向链接算法;逻辑智能体的构造(1);逻辑智能体的构造(2);Horn子句;Horn子句的性质;推理策略;置换与合一;合一置换;置换与合一的例子;合一结果;用于逻辑推理的例子;问题用一阶子句表示(1);问题用一阶子句表示(2);前向链接算法的说明(1);前向链接算法的说明(2);简单的前向链接算法;前向链接算法例子(1);前向链接算法例子(2);前向链接生成的证明树;反向链接算法的说明(1);反向链接算法的说明(2);简单的反向链接算法;反向链接算法的说明(3);反向链接算法的说明(4);反向链接算法例子(1);反向链接算法例子(2);反向链接生成的证明树;正向链接和反向链接;3.2 逻辑系统的语法和语义逻辑系统的语法逻辑系统的语义语法和语义之间的关系;逻辑系统;语法和形式推演;命题逻辑的语义与可满足性;可满足性;逻辑推论;命题逻辑的逻辑推论;一阶语言的语义;一阶语言的赋值;一阶逻辑的逻辑推论;逻辑系统的整体特征;可满足性与有效性(1);可满足性与有效性(2);可满足性与有效性(3);可靠性定???与完备性定理;作业1;参考书目;附录 形式系统简介F1 形式系统和形式推演F2 形式系统的语义F3 形式系统的整体特征;F1 形式系统定义和形式推演;形式系统定义(1);形式系统定义(2);对象语言和元语言(1);对象语言和元语言(2);对象语言和元语言(3);元理论;形式推演;常用推演规则(1);常用推演规则(2);常用推演规则(3);常用推演规则(2);形式可推演性(1);形式可推演性(2);形式可推演性(3);F2 形式系统的语义;形式系统的语义(1);形式系统的语义(2);命题逻辑的可满足性;可满足性;真假判断与逻辑推论;命题逻辑的逻辑推论;逻辑推论的证明;一阶语言的语义(1);一阶语言的语义(2);一阶语言的赋值(1);一阶语言的赋值(2);一阶逻辑的逻辑推论;逻辑推论的证明方法;F3 形式系统的整体特征;形式系统的整体特征;可靠性定理与完备性定理;可满足性与有效性(1);可满足性与有效性(2);可满足性与有效性(3);可满足性与有效性(4);可靠性定理(1);可靠性定理(2);完备性定理(1);完备性定理(2)