摘 要： Haenni的概率推理系統在與D-S理論相互轉化的過程中進行了投影，從而不可避免地導致一些有價值信息的丟失。為此提出一種新的概率邏輯結果支持度的合成算法來避免信息的丟失。
關鍵詞： 概率推理系統；D-S理論；合成算法
概率推理系統的目的是根據不確定知識來判斷一個未知問題，與不確定性推理中的其他理論相比，該理論既支持定量判斷，也支持定性計算。它將古典邏輯和概率理論完美結合，使得在不脫離古典邏輯的領域內也能通過自然、簡捷的方法得到非單調性，同時還可以利用古典邏輯的豐富計算手段進行數值計算。另一方面，概率理論是貝葉斯方法的基礎，它能得到不確定性推理的更為一般的方法，概率理論的使用結果能使該理論與D-S理論進行相互轉化[1-2]。概率推理系統中的計算主要是通過消除變量或命題而得到最小擬支持，這種方法的優點是對不同的公式體系[3]都適用。但在與D-S理論相互轉化的過程中進行了投影，從而不可避免地導致丟失有價值的信息。為了克服這個缺陷，本文采取將一個大的概率推理系統劃分為幾個小的概率推理系統，從而得到不同的勢，再將這些勢擴充到同一空間合成的方法來避免信息的丟失。
1 D-S理論
中H={(1，1，1)，(1，0，1)，(0，1，1)，(0，0，1)，(0，1，0)，(0，0，0)}。通過擴張后再合成的優點是不容易丟失有價值的信息。
參考文獻
[1] KLEER J D. An assumption-based TMS[J]. Artificial Intelligence， 1986(28)：127-162.
[2] KLEER J D. Extending the ATMS[J]. Artificial Intelligence， 1986(28)：163-196.
[3] 張晨東，陳火旺，王兵山，等.概率邏輯推理的弱相關分解方法[J].計算機學報，1997，20(10)：894-898.
[4] HAENNI R， KOHLAS J， LEHMANN N. Probabilistic argumentation systems[M]. Handbook of Defeasible Reasoning and Uncertainty Management Systems，Volume 5： Algorithms for Uncertainty and Defeasible Reasoning. Kluwer Academic Publishers， 2000.
[5] 張晨東，謝兵，陳火旺，等.概率邏輯含多重原子交集分解模型的可靠性[J].計算機研究與發展，1998，35(8)：673-677.