人工智能——自然演绎推理

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

 

假言推理的一般形式

拒取式推理的一般形式

 

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

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

 

参考文献：

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

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

转载于:https://www.cnblogs.com/6DAN_HUST/archive/2010/07/20/1781117.html