第三章 基于逻&eg

第三章 基于逻&eg

Info iconThis preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 1 第三章 基于一阶逻辑的问题求解方法
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 2 基于逻辑的问题求解方法 ± 逻辑是人工智能的重要基础 ± 一阶逻辑的基本概念回顾 ± 机器演绎推理技术及其应用 ± 基于规则的演绎系统
Background image of page 2
北京航空航天大学软件开发环境国家重点实验室 Slide 3 逻辑是人工智能的重要基础 ± 遵循符号原理 用一套表意的符号表达思维的逻辑结构和规 律,把对思维的研究转换为对符号的研究,以摆脱自然语言的 局限性、消除歧义性。 ± 一阶逻辑满足形式化表达和处理要求 ² 类自然语言的形式化的符号语言 (谓词公式描述) ² 强有力的推理方法(公理化推理方法、归结法); ² 坚实的理论证明基础(语义模型、推理的可靠性、完 备性研究等)。
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 4 逻辑是人工智能的重要基础 ± 一阶逻辑对 AI 的贡献: ² 提出了陈述性知识表示方式 ² 将知识描述与知识处理相分离 ² 基于一阶逻辑扩展了多种应用逻辑 --- 从语法和推理框架两方面进行扩充,获时序 、模糊、 非单调等多种应用逻辑。
Background image of page 4
北京航空航天大学软件开发环境国家重点实验室 Slide 5 基于逻辑的问题求解方法 ± 逻辑是人工智能的重要基础 ± 一阶逻辑的基本概念回顾 ± 机器演绎推理技术及其应用 ± 基于规则的演绎系统
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 6 ± 字符表 一阶逻辑的基本概念回顾 一阶谓词逻辑知识表示方法 ² 项、合式谓词公式 ² 解释与赋值 ² 等价公式 ² 演绎推理方法
Background image of page 6