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