命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理，但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論，這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法，可以完全脫離人的經驗和技巧，機械地構造每一步推導，證明一個命題邏輯定理的成立。
標簽： 邏輯 定理
上傳時間： 2013-12-31
上傳用戶：wxhwjf
關于公務員考試判斷推理專題的題目及答案，內容涉及的面較光，是不錯的資料哦！
標簽：
上傳時間： 2013-11-28
上傳用戶：極客
使用自適應神經模糊推理系統的方法預測時間序列
標簽： 模糊推理 時間序列
上傳時間： 2016-11-26
上傳用戶：jennyzai
黑白棋問題 計算機博弈是一種對策性游戲,是人工智能的主要研究領域之一,它涉及人工智能中的搜索方法、推理技術和決策規劃等.目前廣泛研究的是確定的、二人、零和、完備信息的博弈搜索.
標簽： 人工智能 搜索 黑白 計算機
上傳時間： 2014-12-22
上傳用戶：lizhen9880
基于本體的強對流天氣推理系統的研究與實現，碩士論文全部內容
標簽： 本體 強對流
上傳時間： 2017-01-16
上傳用戶：GHF
JAVA圖片編輯器
標簽： JAVA
上傳時間： 2013-12-23
上傳用戶：sxdtlqqjl
實現規則推理 模糊識別 神經網絡的專家系統 ，要運行需要先裝SQL導入數據庫
標簽： 模糊識別 家 神經網絡
上傳時間： 2017-01-20
上傳用戶：lanjisu111
這是一套非常好用的C++物件導向式程式編輯器，C++是程序語言C的擴充，C/C++語言已經是一套古老語言，成為了很多作業系統與應用軟體的編輯大宗，環境適用於WIN95~WINXP。
標簽： 程式
上傳時間： 2014-08-06
上傳用戶：tyler
對jena推理機的文件進行讀取，并存入mysql數據庫
標簽： jena 推理機 讀取
上傳時間： 2014-01-14
上傳用戶：ardager
人工智能中基于產生式規則的經典規則匹配與推理算法-RETE算法實現示例；包括文檔說明
標簽： RETE 算法 人工智能 文檔
上傳時間： 2017-02-25
上傳用戶：啊颯颯大師的
蟲蟲下載站版權所有 京ICP備2021023401號-1
