人工智能逻辑 课件 第8 章动态更新逻辑.pptx

第8章动态更新逻辑;章节引言;8.1知识更新;泥孩难题：问题情境;第一次说话后的模型;第一次提问后的推理;两个孩子的推理过程;两个小孩确认模型;最终状态;定义55：语言;定义56：真值条件（1/2）;定义56：真值条件（2/2）;定义57：公开宣告逻辑;公理系统的推理规则;归约公理的特点;归约公理的深层含义;基本定理;定理40：有效原则;有效原则的意义;动态认知逻辑的扩展;8.2信念修正;8.2.1AGM信念修正理论;理论变化的三种方式;利维同一性;AGM理论的语言特点;扩张算子的公理;扩张算子公理的含义;定理41：扩张算子的表征定理;收缩算子的复杂性;壕沟概念;收缩算子的公理;失而复