人工智能原理第3章逻辑系统研究报告.ppt

人工智能原理第3章 逻辑系统 ; 本章内容 3.1 命题逻辑和一阶谓词逻辑 3.2 逻辑系统的语法和语义 3.3 逻辑推理举例 3.4 逻辑智能体的推理策略 参考书目 附录 形式系统简介;经典数理逻辑;逻辑智能体;命题;命题变量与真值;简单命题与复合命题;命题语言与原子公式;命题逻辑的合式公式;谓词;论域与个体;谓词;量词与变量;约束变量和自由变量;函数;函数与谓词的区别;一阶语言(1);一阶语言(2);一阶语言的项和公式;一阶语言的公式(1);一阶语言的公式(2);3.2 逻辑系统的语法和语义逻辑系统的语法逻辑系统的语义语法和语义之间的关系;逻辑系统;语法和形式推演;推演规则举例;形式可推演性;逻辑系统的语义;命题逻辑的语义与可满足性;可满足性;真假判断与逻辑推论;命题逻辑的逻辑推论;一阶语言的语义;一阶语言的赋值;一阶逻辑的逻辑推论;逻辑系统的整体特征;可靠性定理与完备性定理;可满足性与有效性(1);可满足性与有效性(2);可满足性与有效性(3);可靠性定理;完备性定理;3.3 逻辑推理举例 wumpus世界命题逻辑推理模式基于电路的智能体;wumpus世界(1);wumpus世界(2);wumpus世界(3);wumpus世界中的命题和推理规则;命题逻辑推理模式;wumpus世界的推理例子;基于电路的智能体;wumpus世界中智能体的判断