赵飞燕传奇txt:自然演绎推理 - 6DAN - 博客园

来源：百度文库 编辑：九乡新闻网 时间：2024/05/16 01:27:49
自然演绎推理

自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑推理规则推出结论的过程。

 

假言推理的一般形式

拒取式推理的一般形式

 

优点：使用逻辑规则证明，过程灵活，表达自然，意义理解。

缺点：推理过程中得到的中间结论一般呈指数级形式递增，容易产生组合爆炸。

 

参考文献：

[1] 王永庆. 人工智能原理与方法. 西安: 西安交通大学出版社

[2] 尹朝庆. 人工智能方法与应用. 武汉: 华中科技大学出版社, 2007.

自然演绎推理 - 6DAN - 博客园 框架表示法 - 6DAN - 博客园 语义网络表示法 - 6DAN - 博客园 一阶谓词表示法 - 6DAN - 博客园 数据、信息与知识 - 6DAN - 博客园 面向对象表示法 - 6DAN - 博客园 产生式表示法 - 6DAN - 博客园 状态空间的搜索策略 - 6DAN - 博客园 [转载] ANTLR——词法分析 - 6DAN - 博客园 [转载] ANTLR——语法分析 - 6DAN - 博客园 ANTLR——安装配置 - 6DAN - 博客园 博弈论——概述 - 6DAN - 博客园 [转载] 希腊字母读音表 - 6DAN - 博客园 演绎推理（上） 状态空间搜索及状态空间表示法 - 6DAN - 博客园 [转载] ANTLR——编译原理基础知识 - 6DAN - 博客园 集合论——集合的定义组成及性质 - 6DAN - 博客园 集合论——集合表示方法，关系及特殊集合 - 6DAN - 博客园 集合论——集合的基本运算 - 6DAN - 博客园 集合论——二元关系的定义组成及性质 - 6DAN - 博客园 集合论——关系的闭包，等价关系与划分 - 6DAN - 博客园 线性代数矩阵论——矩阵的属性 - 6DAN - 博客园 线性代数矩阵论——特征值特征向量相似矩阵应用示例 - 6DAN - 博客园 自然音乐大师——Dan Gibson