由美國實用主義哲學家皮爾斯(Peirce)創立的一種邏輯形式。與演繹推理不同,溯因推理在邏輯上并不具有確定性。溯因推理從已知的某個結果出發,試圖確定與其相關的解釋,所以常稱為尋求最佳解釋的推理(inference to the best explanation)。...[繼續閱讀]

    一種高級知識表示框架,可用于以溯因推理為基礎求解問題。它允許一些謂詞不完全定義,將其聲明為可溯因的謂詞,從而擴展了普通的邏輯程序設計。...[繼續閱讀]

    是數據類型的數學模型,其中:一個數據的類型由該數據用戶觀點的行為(語義)來定義,具體指一些可能的值、對該類型的數據可能的一些操作,以及這些操作的行為。...[繼續閱讀]

    在統計學中,絕對頻率用于描述一項試驗或一組試驗期間出現的特定數據或值的次數。從本質上講,它是特定事物發生的次數。若將整個試驗的每個相對頻率相加,則所有相對頻率的總和等于試驗期間收集的數據或觀察的總數。...[繼續閱讀]

    一個抽象個體描述某類事物的集合及集合中成員的屬性,該個體不是針對某個具體的成員而設置,是用來說明集合中全體成員的某些一般性質。這樣的個體稱為抽象個體。在人工智能的對象結構化表示法中,為了增加對象的集合,或增加...[繼續閱讀]

    在規劃系統中用來描述抽象行為的運算符。一旦描述了抽象操作,規劃系統就可填充規劃的具體內容。...[繼續閱讀]

    在計算機科學和軟件開發中,抽象是指消除研究對象或系統的物理、空間或時間細節或屬性的過程,以便關注更感興趣的細節。抽象過程也稱為建模,在本質上與泛化過程非常相似。計算機科學中的抽象與數學中的抽象密切相關,也與藝...[繼續閱讀]

    一種通過數據讀入或數據改變來觸發新的計算的編程方法。...[繼續閱讀]

    在計算機網絡系統中,為保持信息的一致性而對服務器與其他協作節點訪問所提出的統一規約。...[繼續閱讀]

    對某種行為負責并解釋這些行為的能力,專指基于知識的專家系統的解釋其推理或決策方法的能力。...[繼續閱讀]