タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

develと論理学に関するserianのブックマーク (5)

  • 前向き連鎖 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "前向き連鎖" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年3月) 前向き連鎖(まえむきれんさ、Forward Chaining)は、(人工知能において)推論規則を使う時の二種類の主要な推論手法のひとつである。もう一方は後向き連鎖である。 前向き連鎖は使用可能なデータからスタートし、推論規則を使って最適解に達するまでさらにデータを(例えばエンドユーザーから)引き出していく。前向き連鎖を使う推論エンジンは、推論規則を検索し、条件部(IF節)が真であることが分かっている規則を探し出す。見つけた規則の帰結部(THEN節)は、データ

    serian
    serian 2011/02/28
    目的の事実(データ)を得るまで、事実を、IF-THENと辿りながら積み重ねていく。
  • 後向き連鎖 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "後向き連鎖" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2023年3月) 後向き連鎖(うしろむきれんさ、Backward chaining)は、(人工知能において)推論規則を使う時の二種類の主要な推論手法のひとつである。もう一方は前向き連鎖である。 後向き連鎖はゴール(または仮説)のリストによって起動して後向きに作業し、いずれかのゴールが正しいことを補強するのに使用可能なデータがあるかどうかを確かめる後向き連鎖を使う。 推論エンジンは推論規則を検索し、帰結部(THEN節)がゴールにマッチする規則を探す。その規則の条件部(IF節)が真か

    serian
    serian 2011/02/28
    仮説(ゴール)が所与の事実と繋がるまで、THEN-IFへと辿る。
  • http://hagi.is.s.u-tokyo.ac.jp/pub/essay/hagiya/cp/3

    serian
    serian 2011/02/27
    述語論理
  • 一階述語論理の公理 - アンドロイドはしあわせか

    serian
    serian 2011/02/27
    存在記号の意味/ 「からといって、 すべてのペガサスは羽のある馬である→羽のある馬は存在する とはいえないということですよね」
  • アトムノート 述語論理と全称記号、存在記号

    このブログの目的は科学についての知識をあらゆる人と共有することです。2006年 1月 2日 手塚治虫に捧ぐ 2024-02 « 1234567891011121314151617181920212223242526272829 » 前回まで扱ってきた内容は命題論理と呼ばれるものである。命題論理では数学的な命題PやQを考えるが、これらは「真」か「偽」の定まった値を持つ。今回は述語論理と呼ばれるものを考える。次の文章を例にとって説明しよう。   「海は 青い」 これは「海」という主語に「青い」という述語をつけた文章である。更に 「空は 青い」 という命題を考える事もできる。このように主語を色々変えると多くの命題を作る事ができる。そこで主語を変数Xで表し P(X) という命題を考えると便利である。ここでPは「青い」という性質を表す述語、つまりX=海、空 の場合には P(空) = 空は青い P(海

  • 1