雙向推理（bidirectional reasoning）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：雙向推理
- 外文名：bidirectional reasoning
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
專家系統中，正向推理與反向推理的混合策略，用正向推理向假設方向推導，並用逆向推理向驗證假設方向推導，直至某箇中間界面上兩個方向的結果相符後成功結束。
出處
《計算機科學技術名詞 》第三版。
雙向推理
相關詞條
- 雙向推理
雙向推理（bidirectional reasoning）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義專家系統中，正向推理與反向推理的混合策略，用正向推理向假設方向推導，並用逆向推理向驗...
- 增量非單調推理
常用的有數據驅動(也稱為正向推理)和目標驅動他稱為反向推理)的推理控制策略，綜合兩種推理控制策略的推理策略稱為雙向推理。一致性維護算法 基於規則的產生式系統是套用較為廣泛的一類專家系統，其知識庫的規則可自由地增加、修改和刪除。然而隨著從領域專家處不斷獲取知識，知識庫越來越大，庫中知識單元之間的相互...
- DDS專家系統推理機
DDS專家系統推理機是指在一定的控制策略下，識別和選取知識庫中對當前問題的可用知識進行推理，也就是進行搜尋尋找所需要的解。推理部分是表現決策支持系統智慧型特徵的一個重要環節。專家系統推理機應當支持人一機界面部分的雙向推理過程。即對於系統的提問，操作者通過自己的理解和推理來回答問題；對於操作者回答的問題，...
- 知識圖譜建模與智慧型推理技術
3.1常用推理分析方法56 3.1.1演繹法——正向推理56 3.1.2歸納法——反向推理57 3.1.3溯因法——雙向推理58 3.1.4默認推理58 3.1.5因果反事實推理59 3.2可操作性分析（HAZOP）方法60 3.2.1HAZOP的產生背景和意義60 3.2.2HAZOP國際標準和術語定義61 3.2.3HAZOP原理62 3.2.4設計描述64 3.2....
- 充分必要條件
充分必要條件，又稱充要條件，是數學和邏輯學中的一種重要概念。具體來說，如果能從命題p推出命題q，而且也能從命題q推出命題p ，則稱p是q的充分必要條件，且q也是p的充分必要條件。這種關係在數學中通常用“若且唯若”來表示。充分必要條件是一種雙向推理的關係，即一個命題的成立必然導致另一個命題成立，反...
- 產生式表示法
產生式系統的推理方式有正向推理、反向推理和雙向推理 正向推理：從已知事實出發，通過規則庫求得結論，或稱數據驅動方式。推理過程是:規則集中的規則前件與資料庫中的事實進行匹配，得匹配的規則集合。從匹配規則集合中選擇一條規則作為使用規則。執行使用規則的後件。將該使用規則的後件送入資料庫中 重複這個過程直至...
- 分類檢索表
存放於事實表中作為知識傳遞出來牣。混合雙向推理(基於關鍵特徵推理)混合雙向推理是將正向和反向推理方法結合在一起的推理方式牣推理過程中先根據假設目標或結論進行反向推理，然後在整理的病蟲知識規則鏈中，再次根據病蟲關鍵特徵作為搜尋結點進行正向推理，反覆這個過程，直至達到目標為止牣。
- 類比法
類比是將一類事物的某些相同方面進行比較，以另一事物的正確或謬誤證明這一事物的正確或謬誤。這是運用類比推理形式進行論證的一種方法。與其它思維方法相比，類比法屬平行式思維的方法。無論那種類比都應該是在同層次之間進行。亞里士多德在《前分析篇》中指出：“類推所表示的不是部分對整體的關係，也不是整體對...
- 王富天
其發明和專利填補了多項醫學空白，他的“張仲景《傷寒論》計算機診療教學系統”達到世界領先水平，該系統利用人工智慧及資料庫技術，具有雙向推理機制和學習、諮詢等多項功能，使用方便，效果顯著。他研製的醫療器械“腦電地形圖綜合分析論斷儀”，運用計算機分析成像技術，定量、定位反映大腦機能變化並顯示腦損傷部位和...
- 人工智慧基礎(2023年清華大學出版社出版的圖書)
3.4.1不確定性推理基礎46 3.4.2貝葉斯推理48 3.4.3信度推理50 3.4.4模糊推理53 3.5推理控制策略60 3.5.1正向推理60 3.5.2反向推理61 3.5.3雙向推理63 3.5.4衝突消解策略63 本章小結65 第4章搜尋策略/66 4.1搜尋策略概述66 4.1.1搜尋與搜尋過程66 4.1.2常用的搜尋策略67 4.2盲目搜尋...
- 智慧型設計(設計人員的重要輔助工具)
*推理技術的深化，要有正、反向和雙向推理流程控制模式的單調推理，又要把重點集中在非歸納、非單調和基於神經網路的推理等方面。*綜合的知識表達模式，即如何構造深層知識和淺層知識統一的多知識表結構。*基於分布和並行思想求解結構體系的研究。*黑板結構模型 黑板結構模型側重於對問題整體的描述以及知識或經驗的繼承...
- 他來了,請閉眼(2015年霍建華、馬思純主演的懸疑愛情劇)
在劇情架構上,《他來了,請閉眼》將犯罪心理學、基本演繹法和都市言情三者流暢結合,刺激且邏輯明確的案件,燒腦且嚴謹專業的推理,甜萌且激情不斷的愛情,交織上演。在當下國內甚少此類影視作品的前提下,《他來了,請閉眼》的風格著實令人耳目一新。(搜狐評) [3]...
- 石化過程中基於定性SDG的故障混合診斷方法
d.對於已經賦值的SDG模型進行雙向推理，得到故障傳播路徑。基於模糊邏輯的SDG故障診斷的一般算法：a.SDG節點的模糊包括閾值上下限的模糊，採集DCS上現場儀表的高高報、高報、低報、低低報數據，根據試驗得到SDG中各節點的閾值縮放因子，以所述數據為基礎，乘以閾值縮放因子，將報警限的範圍放大或縮小一定的倍數，從而...
- 思維方法
一、基礎邏輯思維：抽象與概括、分析與綜合，歸納與演繹，對比（求同、求異），原因與結果（正推：原因推理結果，逆推：結果推理原因，因果鏈：原因產生結果，結果作為原因產生下一個結果。）二、系統：上下層次的事物是歸屬關係，同一層次的事物是並列關係（通常相互合作），系統是變化的，系統接口和漏洞。三、矛盾的...
- 鞏玉冉
玉冉（鞏玉冉），北京人，畢業於北京電影學院。中國內地影視編劇。代表作：大型歷史古裝電視劇《霍去病》；女性雙向救贖推理懸疑電影《姐妹》、都市青春情感創業劇本《掌舵人》。人物經歷 2018年7月，獲北京電影學院錄取。2018年，參加第十二屆FIRST青年電影展創作交流峰會 。2019年，參加韓國釜山電影節創作交流會 。201...
- 專家系統prolog程式設計
本書著重介紹用Turbo PROLOG語言的基本語句來編寫多種推理形式的專家系統之方法和技巧，內容新穎，論述精煉，由淺入深，有大量精心設計的例子可助讀者自學速成，是一本專家系統程式設計的實用書籍。全書共分五章，內容包括：專家系統的基本理論，PROLOG語言編寫的逆向推理、正向推理、雙向推理、可做多答案、帶雙重判別樹...
- 人工智慧原理與方法
4.4.3與域形雙向演繹推理 4.4.4代換的一致性及剪枝策略 本章小結 習題 第5章不確定與非單調推理 5.1基本概念 5.1.1什麼是不確定性推理 5.1.2不確定性推理中的基本問題 5.1.3不確定性推理方法的分類 5.2機率方法 5.2.1經典機率方法 5.2.2逆機率方法 5.3主觀Bayes方法 5.3.1知識不確定性的...
- 葛若凡
葛若凡，旅美懸疑推理作家、編劇、影視劇製片人。湖北武漢人，現居美國洛杉磯。曾獲日本宇都宮市國際友好榮譽市民。文學方面，2006年起著有多部系列長篇小說，有港、澳、台、新加坡、印尼、美國多個版本。代表作：《諜報三部曲》系列、《大偵探葛森探案》系列。影視方面，2011年起多次參與電影、電視劇的編劇和執導工作...
- 奔向所有時空的你
《奔向所有時空的你》是由吳強執導，樊治欣、塗冰領銜主演，吳昊澤、劉賈璽、宋一雄、林艾泇主演的奇幻愛情懸疑劇 。該劇講述了原夏雖在逆境中成長，卻始終心向暖陽，與魏子期雙向奔赴、雙向救贖，穿越時空，在無數個平行宇宙里，一次又一次拯救對方、愛上對方的故事。該劇於2024年5月21日在搜狐視頻播出 。劇情介紹 ...
- 因子圖
將一個具有多變數的全局函式因子分解，得到幾個局部函式的乘積，以此為基礎得到的一個雙向圖叫做因子圖。在機率論及其套用中, 因子圖是一個在貝葉斯推理中得到廣泛套用的模型。簡介 將一個具有多變數的全局函式因子分解，得到幾個局部函式的乘積，以此為基礎得到的一個雙向圖叫做因子圖。在機率論及其套用中,因子圖是...
- 丹尼爾·卡尼曼
這個理論認為正常的人具有合理的推理能力，把握了規範化的理智和抉擇妄想原則。這些理性的抉擇妄想原則默示在人們的思惟和動作上。在傳統的經濟學中也貫串著理性人的思惟，認可“經濟人”（homo oeconomicus）的假設，認為人類為小我益處所差遣，抉擇妄想者基於所把握的信息作出周全的權衡，作出最優的抉擇。直到1947年...
- 張瑞春(河南交通職業技術學院教授)
先後在發表了《嵌入式微機運用於過程控制的研究》、《旋轉柱式顯示屏的原理與設計》、《棗樹蟲害防治智慧型雙向推理機的設計》、《淺析防範DDOS的攻擊》、《深入解析網路蠕蟲病毒》等。先後已出版專著、教材（含合著、參編、翻譯）有《QBASIC語言程式設計》、《物流與電子商務》、《DV視頻後期處理實用教程》等。獲獎記錄 ...
- 移動機器人認知地圖中的空間上下文模型與算法研究
本研究擬在分析各種空間上下文信息內在聯繫的基礎上，從便於移動機器人在地圖創建中充分利用空間上下文信息同時進行局部環境類型識別與物體檢測這個角度出發，通過將馬爾可夫邏輯網擴展到連續空間，利用擴展馬爾可夫邏輯網為移動機器人的認知地圖構建一種具有層次化結構、可以雙向推理的空間上下文模型，從而架起空間信息(地圖)與...
- 專家系統外殼
1)推理解釋程式及可信度估算。2)知識編輯程式及類似英語的簡化會話語言。3)知識庫管理和維護手段，如一致性檢查、跟蹤、查錯等。4)系統測試實例。KAS專家系統外殼 KAS系統是由PROSPECTOR系統抽去原有的地質勘探知識而形成的。它採用語義網路和產生式規則相結合的知識表達方式，以及啟發式雙向推理控制策略。適用於開發...
- 人工智慧與專家系統原理及其套用
4 推理與推理機制 4.1 推理概述 4.1.1 推理的基本概念 4.1.2 推理的種類 4.2 歸結原理 4.2.1 謂詞公式與子句集 4.2.2 置換與合 4.2.3 歸結（魯濱遜消解）原理 4.3 推理的控制策略 4.3.1 正向推理 4.3.2 逆向推理 4.3.3 混合推理 4.3.4 雙向推理 4.3.5 其他控制策略 4.4 基於規則...
- 哈爾濱軸承集團銷售有限公司
哈爾濱軸承集團銷售有限公司是哈爾濱軸承廠的現貨銷售公司，專營HRB軸承品牌，現自有庫存近1億元，並以哈軸庫存為依託，涵蓋了深溝球軸承、圓柱滾子軸承、調心球軸承、圓錐滾子軸承、角接觸球軸承、絲槓支撐軸承、雙向推理角接觸球軸承等18000多種型號和規格，具有強大的現貨供應能力。“品質締造品牌，服務締造傳奇”，...
- 幼兒期(醫學名詞)
3．幼兒推理能力的初步發展 (1)、幼兒最初的推理是轉導推理。轉導推理是從一些特殊的事例到另一些特殊的事例的推理。這種推理尚不屬於邏輯推理，僅屬於前概念的推理。這是從表象性象徵向邏輯概念過渡的推理形式。如，媽媽告訴孩子喝涼水肚子痛，於是孩子便往魚缸里倒開水，並且說：“小魚喝涼水會肚子痛的。”(2)、...
- RAPD
它的套用是基於這樣的一個推理：對於不同的模板DNA，用同一引物擴增既可能得到相同的帶譜（模板基因組間可能具有同源性），也可能得到不同的帶譜。僅在某一特定模板中出現的條帶就可作為該模板的分子標記。事實上，不同基因組DNA總是具有一定差異的，所以用RAPD就可以進行分子標記研究。理論上講，在一定的擴增條件...
