Abstract
傳統上解決標名問題的兩種方法是邏輯法及機率法。邏輯法的基本方式是對限制條件作推導，雖然快但不容易處理雜訊；而機率法雖然容易處理雜訊，卻難於取得起始機率值，以及在執行時較慢。由Zucker等人所提傳統鬆散式標名法，利用起始機率與相容值，反覆計算而求出。在實際應用上，有以下兩個問題：（１）當問題複雜時，相容值很難取得；（２）對同類的問題，相容值必須重複給定，我們提出了加強型鬆散式標名法，來解決以上兩個問題。然而以上兩方法都有三種弊病：（１）皆使用機率法，而機率本身無法解決不確定性；（２）相容值用數字表示，給定困難；（３）反覆改變機率的公式，並無相關定理。在本篇論文□，提出了一新方法，稱為丹式標名法。主要是用證據式推論來完成標名問題，這是一混合邏輯與機率的架構，文中針對一些景物標名問題文比較了鬆散式標名法、加強型鬆散式標名法及丹式標名法三者間的優劣。模擬結果顯示丹式標名法執行較快，因此適合用於解決標名問題。