概率邏輯

概率邏輯 （ 或或然性邏輯 ） 的目標是組合概率論的處理不確定性的能力和演繹邏輯開發結構的能力 。 結果是更加豐富和更有表達力的形式化 ， 並有廣闊的可能應用領域 。 概率邏輯的困難是增加了它們的概率論和邏輯構件的計算複雜性 。