人工智能導論筆記-第三章-肯定性推理方法

推理的定義、方式及其分類：面試     推理：根據已知事實(證據)和知識，經過某種策略獲得結論3d      歸結演繹推理：     反證法：P=>Q，當且僅當P∧^Q <=>F，即Q爲P的邏輯結論，當且僅當P∧^Q是不可知足的blog     定理：Q爲P1,......pn的邏輯結論，當且僅當(P1∧P2∧...∧Pn)∧^Q是不可知足的class     思路：變量             

>>阅读原文<<