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

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

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

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

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

    在規(guī)劃系統(tǒng)中用來描述抽象行為的運算符。一旦描述了抽象操作,規(guī)劃系統(tǒng)就可填充規(guī)劃的具體內(nèi)容。...[繼續(xù)閱讀]

    在計算機科學和軟件開發(fā)中,抽象是指消除研究對象或系統(tǒng)的物理、空間或時間細節(jié)或?qū)傩缘倪^程,以便關(guān)注更感興趣的細節(jié)。抽象過程也稱為建模,在本質(zhì)上與泛化過程非常相似。計算機科學中的抽象與數(shù)學中的抽象密切相關(guān),也與藝...[繼續(xù)閱讀]

    一種通過數(shù)據(jù)讀入或數(shù)據(jù)改變來觸發(fā)新的計算的編程方法。...[繼續(xù)閱讀]

    在計算機網(wǎng)絡系統(tǒng)中,為保持信息的一致性而對服務器與其他協(xié)作節(jié)點訪問所提出的統(tǒng)一規(guī)約。...[繼續(xù)閱讀]

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