元推理（meta reasoning）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：元推理
- 外文名：meta reasoning
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
關於推理的推理。一般通過自省來觀察、評估、解釋推理過程，達到控制和調節推理過程的目的。
出處
《計算機科學技術名詞 》第三版。
元推理
相關詞條
- 杜衡(民國單元推理探案劇《民國大偵探》中的角色)
杜衡 杜衡，男，民國單元推理探案劇《民國大偵探》中的角色，由張帆扮演。
- 基於元數據的推理
基於元數據的推理（inference based on metadata）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 根據元數據提供的信息建立推理通道，推導出隱含數據的推理方法。出處 《計算機科學技術名詞 》第三版。
- 基於格值邏輯的α-n(t)元歸結動態自動推理研究
《基於格值邏輯的α-n(t)元歸結動態自動推理研究》是依託西南交通大學，由徐揚擔任項目負責人的面上項目。項目摘要 針對帶有不可比較性信息的自動推理，依據基於格蘊涵代數的格值邏輯系統，借鑑基於經典二值邏輯的0-2元歸結自動推理的...
- 命題邏輯
元推理規則 設示範被表示為相繼式，假設在十字轉門（turnstile）的左側而結論在十字轉門的右側。則演繹定理可以被陳述如下：如果相繼式 \phi_1,\ \phi_2,\ ...,\ \phi_n,\ \chi \vdash \psi 已經被證明了，則也有可能證明...
- 基於知識元的突發事件演化推演方法研究
本課題以知識元作為突發事件案例、情景以及推演規則的共性描述基礎，提出相應的表示、存儲以及調用方法。通過對突發事件推演過程中涉及的知識進行梳理，分析挖掘其中的關鍵要素，識別演化過程的風險。基於知識元融合案例與規則推理，構建突發事件...
