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