当前课程知识点:人工智能 > 2.知识表示 > 2.3问题归约法 > 2.3.2问题规约法三个组成部分
从已知问题的描述出发,通过一系列变换或分解将问题最终变为一个子问题集合,这些子问题的解可以直接得到,从而解决初始问题
问题归约法由三个部分组成:
一个初始问题描述
一套将问题变换或分解为子问题的操作符
一套本原问题(解可以直接得到的简单问题)描述
问题归约法可以用一个三元组(S, O, P)来表示,其中:
S:原始问题,即要解决的问题
P:本原问题集,其中的每一个问题是不用证明的或自然成立的,例如公理、已知事实等
O:操作算子集,用于将问题化为子问题
-1.1人工智能的定义与发展
--人工智能的诞生
--定义
--发展
-1.2智能的本质
--人类智能
--人工的智能
-1.3人工智能各学派的认知观
--AI的萌芽
-1.4人工智能的研究与应用领域
--AI的研究范围
--AI在中国
-资源推荐
--有趣的资源
-章节习题
-2.1知识的基本概念
-2.2状态空间法
--习题
-2.3问题归约法
-2.4谓词逻辑法
-章节习题
-3.1图搜索策略
--图搜索策略概述
-3.2盲目搜索策略
-3.3启发式搜索策略
-3.4消解原理
-章节习题
-4.1概述
--计算智能定义
-4.2神经网络
-4.3进化计算
-4.4蚁群算法
-4.5模拟退火算法
-4.6博弈搜索策略
--教师讲解:博弈树
--教师讲解:剪枝
-章节习题
-5.1专家系统概述
-5.2专家系统结构
--5.4 黑板模型
-5.3专家系统的应用与发展概况
-5.4专家系统实例
-6.1机器学习的基本概念
-6.2记忆学习
-6.3归纳学习
-- 6.3.3决策树学习
-6.4解释学习
-6.5神经学习
-章节习题
-7.1自然语言理解概述
--7.1.1概述
-7.2词法分析
--词法分析
-7.3句法分析
-7.4 统计语言建模
-7.5信息检索