基於規則的推理（rule-based reasoning）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：基於規則的推理
- 外文名：rule-based reasoning
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
依據事實，使用規則求解問題的過程。由規則前提推導出結論的過程稱為正向規則推理，由規則結論尋找規則前提的過程稱為反向規則推理。
出處
《計算機科學技術名詞 》第三版
基於規則的推理
相關詞條
- 基於規則的推理
基於規則的推理（rule-based reasoning）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義依據事實，使用規則求解問題的過程。由規則前提推導出結論的過...
- 邏輯推理學
邏輯推理學包括一階邏輯推理和時序邏輯推理兩種。一階邏輯推理是一種典型的基於規則的推理方法。該方法的推理機制非常簡單，利用謂詞構建靜態的推理規則庫。當進行推理時，首先向引擎輸入已知的初級上下文信息，通過一致性驗證後，與規則進行...
- 推理控制
XiaoleiQian等提出了基於語義網路的推理通道的檢測方法。R．Yip和K．Levitt提出了基於推理規則的推理控制方法。M．Stickel提出了基於最大信息共享的推理控制方法。以上這些都是設計期推理控制方法和推理通道檢測方面的研究。在查詢期的推理...
- 人工智慧中的圖表推理
5.2 基於規則的推理 5.2.1 基於規則的專家系統的組成部分 5.2.2 推理機 5.2.3 衝突結果 5.2.4 CLIPS 5.3 利益與局限 5.3.1 很難對專門技術進行提取 5.3.2 不能捕獲所有的知識 5.3.3 專家系統不能夠學習 5.3.4...
- 範例推理
基於範例推理（Case Based Reasoning，CBR）正是以人類解決問題的這種實際心理歷程為基礎的一種人工智慧範式。?基於範例推理既是人類推理的一種重要形式，也是人工智慧研究中的一種範式。它不同於通過鏈式推理產生問題結論的基於規則的推理，...
- 基於時空關聯規則推理的LBS隱私保護研究
《基於時空關聯規則推理的LBS隱私保護研究》是2016年科學出版社出版的圖書，作者是張海濤。內容簡介 本書面向位置服務套用中的隱私及安全問題，提出了基於對等防禦策略與動態感知技術對抗基於時空關聯規則推理攻擊的LBS隱私保護方法。主要內容...
- 規則依存模型
規則依存模型，也可以稱作規則依賴模型，屬於一種推理規則方式，是指專家系統或決策支持系統推理獲得的知識基於或依賴系統已存在的規則庫和推理機制。規則庫(Rule Base)是指一個用規則來表達的知識集，包括執行推理所需要的知識。依賴關係...
- 三段論推理
人們根據三段論公理，總結出三段論的一般推理規則，使之成為判定三段論是否有效的標準。三段論的一般規則共有七條，其中前四條是基本規則，後三條是導出規則。在這七條規則中，前三條是關於詞項的規則；後四條是關於前提與結論的規則。一...
- 時序推理
早期的專家系統開發工具僅僅提供了一種基於規則的知識表示方法 , 這種方法簡單且推理能力很有限 , 開發者在選擇知識表示的元基、搜尋策略、專用推理機時感到困難。新一代組合式專家系統開發工具 (Compsite Expert System Tool) 在功能、...
- 基於參數和結構最佳化的置信規則庫推理方法研究
《基於參數和結構最佳化的置信規則庫推理方法研究》是依託福州大學，由傅仰耿擔任項目負責人的青年科學基金項目。項目摘要 置信規則庫推理（RIMER）方法的推理過程需建立在置信規則庫（BRB）的基礎上，因此，最佳化BRB中參數與結構是提高RIMER方法...
- 旗正規則引擎
基於規則的專家系統的出現給開發人員以解決問題的契機。規則引擎由基於規則的專家系統中的推理引擎發展而來。下面簡要介紹一下基於規則的專家系統。使用方式 由於規則引擎是軟體組件，所以只有開發人員才能夠通過程式接口的方式來使用和控制它，...
- 命題與模態邏輯的擴展規則推理與混合推理方法研究
4）深入研究了擴展規則推理方法的特性，設計了基於擴展規則推理算法的冗餘性判定算法，並提出了用於加速判定過程的有效啟發式策略和冗餘性判定算法的並行化策略，進一步提高了基於擴展規則推理方法的冗餘性判定算法的效率。 5）深入研究了模態...
- 命題推理
相容的選言推理有以下兩條推理規則：（1）否定一部分選言支，就要肯定另一部分選言支。（2）肯定一部分選言支，不能因此否定另一部分選言支。根據上述推理規則，相容的選言推理只有一種有效的推理形式即否定肯定式：例如：他或者是導演...
- 結合描述邏輯和霍恩規則的不確定推理算法
項目首先擬進行結合描述邏輯和霍恩規則推理算法的研究，該算法應同時滿足完備性、合理性和可判定性。其次，將算法在不確定性處理方面加以擴展，以支持語義全球資訊網的典型套用。最後，在前述研究的基礎上，實現一個面向語義全球資訊網的推理引擎...
- 推理程式
推理程式 推理程式是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
- 基於本體的認知推理模型及其套用研究
本項目將認知理論、過程模型與規則推理結合起來，可進一步完善現有推理模型的認知理論，為認知推理建模提供新的方法，促進知識的共享與重用，實現高性能的知識推理，為領域問題求解提供新思路。結題摘要 本項目基於ACT-R認知模型，研究從人類...
- 反向推理機
專家系統推理機在進行規則匹配操作時，會有以下可能的結果。（1）有一條規則匹配成功；（2）沒有規則匹配成功；（3）有兩條以上的規則匹配成功。在推理過程中，如果需要對推理結果做出解釋，那么可以建立專家系統解釋機構，這將從某種程度...
- rbr
RBR是基於規則推理的英文縮寫，在RBR系統中一個規則的結論可以是另一個規則的前提，其求解問題的過程是一個反覆從規則資料庫中選用合適的規則並執行規則的過程。專家系統 基於規則推理（RBR）專家系統是專家系統的較初級、較簡單的，在RBR...
- 人工智慧基礎(2004年高等教育出版社出版的圖書)
2．4．2基於規則的逆向演繹推理 2．4．3演繹推理的套用討論 2．4．4邏輯程式語言Prolog 本章小結 習題 參考文獻 第3章知識表示 3．1知識和知識表示 3．1．1知識原則 3．1．2知識表示的作用 3．1．3知識表示的功能 3．1．4...
- d-s證據理論
證據理論的最新發展和套用的方向有：基於規則的證據推理模型及其規則庫的離線和線上更新決策模型，證據理論與支持向量機的結合，證據理論與粗糙集理論的結合，證據理論與模糊集理論的結合，證據理論與神經網路的結合，基於數據的 Markovian 與...
- 高級專家系統
2.3 知識推理 2.3.1 人類的推理 2.3.2 機器推理 2.4 不確定性推理 2.4.1 關於證據的不確定性 2.4.2 關於結論的不確定性 2.4.3 多個規則支持同一事實時的不確定性 2.5 基於規則的推理系統 2.6 模糊邏輯 2.6.1 ...
- 邏輯編程
只要用Prolog語言表示問題描述的這3個部分，支持Prolog語句的推理機制就會自動執行基於規則的逆向演繹推理，並最終給出解答。由於目標和規則的左部都限定為原子公式的合取，而這些原子公式又可激活多條規則(這些規則間隱含或關係)。所以，...
- 演繹資料庫
演繹的含義是根據已知的事實和規則進行推理，回答用戶提出的各種問題。演繹資料庫也稱為邏輯資料庫、演繹關係資料庫或虛關係資料庫。換言之，它們有很強的的推理能力，這種推理能力起源於人工智慧的研究。演繹資料庫是指具有演繹推理能力的...
- 人工智慧(2017年清華大學出版社出版的圖書)
4.3自然演繹推理 4.4歸結演繹推理 4.4.1子句集及其簡化 4.4.2魯濱遜歸結原理 4.4.3歸結演繹推理的歸結策略 4.4.4用歸結反演求取問題的解 4.5基於規則的演繹推理 4.5.1規則正向演繹推理 4.5.2規則逆向演繹推理 4.6習題 ...
- 具身認知(心理學術語)
“基於這樣一種視角，具身認知拒絕這樣一種觀點，即認為在知覺運動系統的背後存在一個‘心智’，這個心智具備各種形式命題和推理規則，指揮著前者的運作。無論我們心目中的那個理性的、基於規則的和推理的東西是什麼，它都完完全全地嵌入...
