四、知识技能拓展.docVIP

四、知识技能拓展 1．利用谓词自然推理形式来证明命题。例：所有水果（S(x)）都是带甜味（D(x)）的，所有辣椒（L(x)）都是不带甜味的，所以，所有辣椒都不是水果。 证明过程如下： 前提l：(∨x)(S(x) →D(x)) 前提2：(∨x)(L(x）→┐D(x)) 结论：(∨x)(L(x）→┐S(x)) 形式证明： (l) (∨x)(S(x)→D(x)） 前提l (2) (∨x)(L(x）→┐D(x)） 前提2 (3) S(a)→D(a） 全称消去 (4) L(a）→┐D(a） 全称消去 (5） ┐D(a）→┐S(a） 逆否律 (6) L(a）→┐S(a） 假言三段论 (7) (∨x)(L(x）→┐S(x)） 全称引人 命题即证 以上是一个简单的例子，目的只是了解一下谓词逻辑中的形式推理，较为深人的讨论要学习谓词演算的推理理论，在大学人工智能或离散数学教科书中均有介绍。 产生式规则系统可以正向推理，也可以逆向推理。如果目标是从一组给定事实出发，找到所有能推断出来的结论，那么采用正向推理较好。如果目标是证实或否定某一特定结论，那么采用逆向推理较好。例如，对医疗方