不確実な推論
トップページ→研究分野と周辺→記号論理→ 命題論理、述語論理で紹介した恒真式は、構成命題の真偽の解釈に係らず、常に正しい推論となる。 肯定式、否定式、三段論法等は、複数の命題が真であれば、必ず正しい推論を導く。 命題の真偽値に様々な値を取る多値論理、p→qの因果関係に確率を導入するベイジアン・ネットワーク等は、不確実な推論の一種とも考えられる。 しかし、それらが定義された数値の条件に従って推論を行なうのに対し、帰納・アブダクション・類推は、仮定された数値すら無い場合もあり、さらに不確実な推論と言える。 不確実ではあっても、背景には因果関係が隠れている事も多く、真である場合も多い。 推論の結果は、改めて真偽を解釈する必要があるが、真である可能性が高い場合は、役に立つ推論結果であったり、発想支援の材料になったりする。 帰納・アブダクション 三つの代表的な推論である演繹（deduction）、帰
数理論理学（命題論理と述語論理） （平成１９年度版） ÓÒØ ÒØ× ½ 命題論理 Ä ½º½ Ä の記号と命題 º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½º¾ ½º¿ ½º ½º
数理論理学（命題論理と述語論理） （平成１９年度版） ÓÒØ ÒØ× ½ 命題論理 Ä ½º½ Ä の記号と命題 º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½º¾ ½º¿ ½º ½º ½º 命題の真偽値（命題の意味的側面） º º º º º º º º º º º º º º º º º º º º ½ ½ ¿ Ä での推論（命題の記述的側面） º º º º º º º º º º º º º º º º º º º º º Ù Ø ÓÒ 定理 º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º 無矛盾と矛盾 º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º
述語論理
トップページ→研究分野と周辺→記号論理→ 命題論理は例えば「AはBだ」という命題をp等の論理記号で表現し、それを要素命題として扱った。 述語論理（記述論理ともいう）は、その内部構造を明示するため、「AはBだ」といった述語を用いた命題を、述語記号と項（変数又は定数）で表現する。 日本語では「AのB」といった表現でよく表される、命題ではない複合概念は、関数記号で表現する。 また量化記号を使い、日本語の「全てのA」「或るA」といった概念を記号で表現出来るのも特長だ。量化記号を変数にのみ用いる述語論理を一階述語論理という。 命題論理の拡張なので、「否定」「連言」「選言」「含意」の論理記号も使用する。 量化記号を述語や関数にも用いる論理を二階以上の高階述語論理というが、論理的に完全ではないとされる。ここでは一階述語論理について述べる。 項と述語記号・関数記号 例えば「ソクラテス」をsという項で表現し
Reteアルゴリズム - Wikipedia
Reteアルゴリズムとは、プロダクションシステム実装のための効率的なパターンマッチングアルゴリズムである。カーネギーメロン大学のチャールズ・フォーギーが設計したもので、1974年の論文で最初に公表し、1979年の学位論文や1982年の論文でさらに洗練された（参考文献参照）。数々のエキスパートシステムの基盤として使われており、JRules、OPS5、CLIPS、Jess、Drools、Soar、LISA、Microsoft BizTalk Server におけるビジネスルールエンジン、TIBCO BusinessEvents などがある。Rete とは、ラテン語の 'rete'（網、ネットワーク）が語源である。 素朴なエキスパートシステムの実装では、知識ベース内の既知の事実と規則（ルール）群を順次照合し、適合するルールを実行していく。ルール群や知識ベースがそれほど大きくなくても、この素朴な方
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IBM Developer
