論理推論
読み方：ろんりすいろん
【英】：logical inference
【英】：logical inference
記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である.
「OR事典」の他の用語
| 近似・知能・感覚的手法： | 縮約 記号論理学 論理プログラミング 論理推論 識別不能性 近似アルゴリズム 逆伝播学習アルゴリズム |
論理推論と同じ種類の言葉
- 論理推論のページへのリンク
