人工智能（二）确定性推理（启发式推理、消解推理）

淡淡的烟草味﹌ 2023-05-28 06:40 29阅读 0赞

## 人工智能（二）确定性推理（启发式推理、消解推理） ##

推理就是由已知判断推出另一个判断的思维过程。  
知识+推理=人类智慧  
专家知识库+推理机=人工智能  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70]

## 一、推理的方法及其分类 ##

## \#\#按逻辑基础分类 ##

## 1.演绎推理（三段论） ##

从一般性知识出发，推出蕴含在已知知识中的适合于个别情况的结论。是一种由一般到个别的推理方法，核心是三段论。

## 2.归纳推理 ##

是一种由个别到一般的推理。按照所选事物的广泛性又可分为完全归纳推理和不完全归纳推理  
完全归纳推理：是指在进行归纳时需要考察相应事物的全部对象，推出该类事物是否具有此属性；  
不完全归纳推理：在进行归纳时，只考察了相应事物的部分对象就得出了关于该事物的结论。  
按照推理所使用的方法可分为枚举、类比、统计和差异归纳推理等

## 3.类比归纳推理 ##

是指两个或两类事物有许多相似或相同的属性的基础上，推出他们在其他属性上也相同或相似。![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 1]

## \#\#按推理过程所用知识的确定性分类 ##

## 确定性推理、不确定性推理（模糊推理） ##

（1）确定性推理：推理时所用的知识与证据都是确定的，推出的结论也是确定的，其真值或者为真或者为假。  
（2）不确定性推理：推理时所用的知识与证据不都是确定的，推出的结论也是不确定的。

## \#\#按是否利用启发式知识分类 ##

## 启发式、非启发式 ##

（1）启发式：A算法、A\*算法（估价函数）  
（2）非启发式：状态空间的广度优先搜索、深度优先搜索、代价树搜索

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 2]

## 二、消解推理 ##

## 1.谓词演算公式向子句集的转换步骤 ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 3]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 4]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 5]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 6]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 7]  
一个例子，说实在话，我只能看懂例子![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 8]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 9]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 10]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 11]![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 12]

## 2.消解推理反演 ##

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70]: /images/20230528/8780a9f88ed649a09494903bb46d0acb.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 1]: /images/20230528/9add79b196ca4fc08f0e110ff0be542a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 2]: /images/20230528/a8379d2f5a544c11b8b6542a3b27110a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 3]: https://img-blog.csdnimg.cn/20200327224401317.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 4]: https://img-blog.csdnimg.cn/20200327224451766.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 5]: https://img-blog.csdnimg.cn/2020032722452617.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 6]: https://img-blog.csdnimg.cn/20200327224550810.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 7]: /images/20230528/b59a0a5e567447b986bf58eee087be2f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 8]: https://img-blog.csdnimg.cn/20200327224739699.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 9]: https://img-blog.csdnimg.cn/20200327224808239.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 10]: https://img-blog.csdnimg.cn/20200327224839188.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 11]: https://img-blog.csdnimg.cn/20200327224901290.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQzOTA3NTM3_size_16_color_FFFFFF_t_70 12]: /images/20230528/414dde214c97436f94e132ba35fbd9a7.png