算法目的

找到从起点到终点间的最短（最优）路径。

关键问题是如何利用知识，尽可能有效地找到问题的解或最优解。

回溯

概述

精髓在于尝试和递归回溯。

八皇后问题

八皇后问题就是说在棋盘上摆8个皇后让她们互相不处于对方的控制域内。本例中为了演示方便把搜索空间减小为一个的棋盘，变成四皇后问题。。

参考文章

问题描述

八数码问题其实就是数字华容道，九宫格里放着8个数块，有一格是空的，要求出从一种状态到目标状态所需的最小移动数和移动方法。

模糊推理

特征函数

设是论域上的一个集合，对于任意，令

则称为集合的特征函数，集合与其特征函数可以认为是等价的：

模糊集

证据理论

概念

在证据理论中，分别用概率分配函数、信任函数、似然函数和类概率来描述和处理知识的不确定性。

基本概念

不确定性推理是建立在非经典逻辑基础上的一种推理，它是对不确定性知识的运用与处理。

严格地说，所谓不确定性推理就是从不确定性的初始证据出发，通过运用不确定性的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。

基本概念

推理方式

从推出结论的途径划分：演绎、归纳、默认

演绎

从全称判断推导出单称判断的过程，由一般知识推理细化出适合某一情况的结论。从一般到个别。