歸結與演繹

1、應用歸結之前，wff（合式公式）必須是一個範式或標準形式。範式有三種主要類型： 1）合取範式。如： (P1∨P2....)∧(Q1∨Q2...)∧(Z1∨Z2...) 2）子句。 全子句形式的表達式通常如下：(表示A1,A2,...An全真是，B1，。。。Bn中至少有一個爲真) A1,A2,...An->B1,B2,.....Bn 3）HORN子句子集。 PROLOG使用HORN子句，只允許一

>>阅读原文<<