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

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

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

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

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

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

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

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

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

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