Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
推論エンジン(すいろんエンジン、英語: inference engine)とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 推論エンジンを独立したソフトウェアコンポーネントとして分離させたのは、プロダ
ただし型推論と関数の多重定義(オーバーロード)は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない(型推論ではシグネチャを一意に決めることができない)ケースがある。 この節では型推論の構文解析理論には踏み込んでいない。 ほとんどの言語においては、関数の仮引数および戻り値、演算子のオペランドお
推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。) モーダスポネンス P, P→Q ⊢ Q モーダストレンス ¬Q, P→Q ⊢ ¬P 否定導入 P → ⊥ ⊢ ¬P 普遍例化 ∀xψ(x) ⊢ ψ(a) 普遍汎化 存在例化 存在汎化 ψ(a)
推論と非単調推論である。不確かさに関する研究では論証(argumentation)が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。 自動推論
推論 > 事例ベース推論 事例ベース推論(じれいベースすいろん、英: Case-based reasoning、CBR)は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である。自動車整備士が以前にいじったことがある自動車の似たような故障を思い出してエンジンの修理を
または起源の不在」(17) 佳作 - 蓮沼尚太郎 「第三の推理小説――ホワイダニット Whydunit――について 名探偵システムの完成」(17) 第5回(1998年) 受賞作 - 該当なし 佳作 - 蓮沼尚太郎 「第二の推理小説――ハウダニット Howdunit――について――HowdunitからWhend
自然実験(Natural experiment) RCTのような介入をこれから行う実験のことを「前向き研究」、介入がすでに起こったものを後から観察するような自然実験の結果観察を「後向き研究」という呼び方で区別することも多い。なお、統計的因果推論の定義の一つとして、反事実モデル (Counterfactual