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