基于機器學(xué)習(xí)的自動邏輯推理機。本程序用歸結(jié)反演策略實現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，并推導(dǎo)出一個空子句(NIL)，產(chǎn)生一個矛盾。
標簽： 自動 機器學(xué)習(xí) 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
該程序使用/proc機制檢查反映機器平均負載，進程資源利用等方面的各種內(nèi)核值。
標簽： proc 程序 機制 機器
上傳時間： 2013-12-28
上傳用戶：Pzj
機器須安裝SQL Server2000 程序安裝完之后，需啟動SQL Server2000進行還原數(shù)據(jù)庫。 數(shù)據(jù)庫在 安裝目錄下，文件名為hotel_bhnfc.mdf. 建一個名為hotel的數(shù)據(jù)源，當然你也可以在程序里改，很方便，因為是用ADOconnection 即可使用。
標簽： Server 2000 SQL 機器
上傳時間： 2013-12-12
上傳用戶：xaijhqx
一個簡單的8位cpu的功能實現(xiàn),從外部導(dǎo)入機器碼,模擬cpu的運行
標簽： cpu 8位 機器碼 模擬
上傳時間： 2013-12-25
上傳用戶：stampede
基于機器視覺的嘴巴狀態(tài)檢測方法：利用BP神經(jīng)網(wǎng)絡(luò)
標簽： 機器視覺 BP神經(jīng)網(wǎng)絡(luò) 狀態(tài) 檢測方法
上傳時間： 2015-03-20
上傳用戶：wendy15
一個人與機器對戰(zhàn)的五子其程序. 開始時隨機選擇先下的一方,以網(wǎng)頁中的Applet實現(xiàn).
標簽： Applet 機器 程序 隨機
上傳時間： 2014-01-02
上傳用戶：lixinxiang
匯編寫的非壓縮BCD碼減法。實現(xiàn)兩個非壓縮BCD碼在機器語言中的減法。但未實現(xiàn)輸入
標簽： BCD 減法 非壓縮 匯編
上傳時間： 2013-12-18
上傳用戶：13681659100
數(shù)據(jù)挖掘/機器學(xué)習(xí)Apriori的深度優(yōu)先算法。 編譯方法：g++ -Wall -O3 -o fim_all dffast.
標簽： Apriori fim_all dffast Wall
上傳時間： 2015-03-25
上傳用戶：youmo81
機器學(xué)習(xí)文本分類的SVM算法實現(xiàn)，VC++ 6.0環(huán)境下編譯
標簽： SVM 機器學(xué)習(xí) 文本分類 算法
上傳時間： 2014-01-05
上傳用戶：天誠24
weka機器學(xué)習(xí)系統(tǒng)（本站可下載）的拓展，簡化了從關(guān)系數(shù)據(jù)庫中提取數(shù)據(jù)
標簽： weka 機器學(xué)習(xí)
上傳用戶：lizhen9880
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
