人工智能原理第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世界中智能体的判断

文档评论(0)

1亿VIP精品文档

相关文档