第4章单元1 确定性推理.docxVIP

《人工智能通识与实践》

第4章单元1确定性推理

教案

教学任务

项目1确定性推理

确定性推理概念

命题推理

谓词推理

授课课时

总时长3学时：课堂讲授2学时、实践环节1学时

一、教学分析

学习目标

知识目标

掌握确定性推理概念与分类，熟记命题/谓词推理规则、公式，能构建真值表并完成等值演算、自然演绎等推理。

能力目标

能将实际问题符号化，运用真值表、归结推理等方法完成命题/谓词推理，实现简单逻辑问题的精准求解。

素质目标

培养严谨的逻辑思维与推理能力，树立精准化问题求解意识，提升AI逻辑推理的专业素养与实践应用能力。

教学重点

掌握确定性推理分类，熟练运用真值表、等值演算完成命题推理，掌握谓词公式与谓词推理核心规则。

教学难点

命题公式的等值演算与归结推理，谓词公式符号化及量词相关的谓词推理推导。

教学内容

讲解确定性推理的概念、分类及真值表构建、命题公式核心定律；讲授命题推理的真值表法、等值演算、自然演绎和归结推理；介绍谓词公式定义、等价公式，讲解谓词推理的符号化与推导方法，结合实例落地推理应用。

二、教学策略

教学设计

以航天发射逻辑校验、智能垃圾分类推理热点激趣导入；采用“概念解构+案例建模+实操推演”分层教学，依托规则链精讲确定性推理分类，图文演示真值表构建、命题公式推演全过程；运用演示法+任务驱动，结合工程、AI场景讲透命题/谓词推理的符号化与推导