在繼承網路上的機率推理：正規說明及其連結實作

Abstract

在設計一個知識表達技巧時，有兩個基本的因素必須考慮。首先這技巧必須能夠涵蓋 在人工智慧應用中所要表達知識的複雜語意，其次在解決問題與做決策時，面對不完 全或不確定的資訊，也必須要有推理的能力。為了滿足這兩個準則，這技巧最好能賦 與每則已知的資訊一個明確的證據以便執行以證據為基礎的數值推理。 本論文首先介紹一種類似述語的語言，並結合證據把知識正規化，然後依這些附屬的 證據，我們使用機率推理的方法來執行不同類型的繼承。基於這些詳細說明，我們將 知識編成一個連結網路，以連結網路強大的數值計算能力來做機率推理。這種編法是 一個比較高階的區域表示法，不僅可以增進推理能力，而且保有傳統人工智慧方法的 符號表達能力。某些因繼承所衍生的特定問題，如例外和矛盾的多重繼承也可以適當 地處理。 最後，我們以Kyoto Common LISP 實作此架構的一個雛形系統，並在VAX-8530上執行 。