歸納推演法則

歸納推演法則(inductive inference),一種推演法則。

基本介紹

  • 中文名:歸納推演法則
  • 外文名:inductive inference
下述推演法則稱為歸納推演法則:
歸納推演法則
歸納推演法則
其中a不在Fco>,r,o中出現,s是任意項,a稱為這個推演法則的本徵變元.式(1)這種表現形式主要見於根岑系統中(參見“根岑系統”). 歸納推演法則可表示為
歸納推演法則
歸納推演法則表達式
其中a不出現於F中,t是任意項,此種表現形式可套用於各種系統中.

相關詞條

熱門詞條

聯絡我們