「論理推論」の版間の差分
ナビゲーションに移動
検索に移動
細 ("論理推論" を保護しました。 [edit=sysop:move=sysop]) |
Albeit-Kun (トーク | 投稿記録) |
||
| 2行目: | 2行目: | ||
記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である. | 記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である. | ||
| + | |||
| + | [[category:近似・知能・感覚的手法|ろんりすいろん]] | ||
2008年11月14日 (金) 09:53時点における最新版
【ろんりすいろん (logical inference)】
記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である.