論理プログラミング関連用語

論理プログラミング等で現れる単語に関してまとめているページです.
2018.12.4
  • 6
    Views
  • 0
    Watch
  • 5
    Knows

論理プログラミング関連用語の新規投稿

K
Edition: 1
サーカムスクリプション
サーカムスクリプション(極小限定)は、宣言されていることだけが正しいものと仮定して推論を行う.閉世界仮説のように明示的に示されていないものは偽とする.例外がありうるときにも「例外である」としていないものは全て「例外でない」として扱う.
  • 2018.12.08
  • 6
  • PV
  • 0
  • Fav
K
Edition: 1
バックトラック
バックトラック(バックトラッキング、BackTracking)はPrologでのインタプリタで解を探すときのプロセスのこと.そもそもは効率的なしらみつぶし探索のことを指す.Prologにおけるこの処理過程は非決定性を備え複数の解がありうる場合もそのうちの一つ満たすものを返すように探索を行い、もしそれで条件が満たせない場合は次の解候補で探索を再度行う.
  • 2018.12.08
  • 4
  • PV
  • 0
  • Fav
K
Edition: 1
開世界仮説
開世界仮説(Open World Assumption)とは、まだ真または偽とはっきりしない事柄について真かもしれないという導出を行う仮説.データベースなどは十分なデータがあって不足はないと考えられるため、閉世界仮説を使用するが、Semantic Webなどにおいては開世界仮説を使用する.
  • 2018.12.04
  • 3
  • PV
  • 0
  • Fav
K
Edition: 1
失敗による否定
失敗による否定(negation as failure)は、Prologなどの論理プログラミングにおいて活用される「真であると導けなかった事柄は偽」と導出すること.
  • 2018.12.04
  • 2
  • PV
  • 0
  • Fav
K
Edition: 1
閉世界仮説
閉世界仮説(Close world assumption: CWA)は、真ということが示されていない証明されていないものは全て偽とする仮説のこと.データベースなどの完全な情報を持つシステムでは閉世界仮説となっている.すなわち知らない情報は存在しないもの.Prologなどにおいても「失敗による否定」は閉世界仮説によるもの.
  • 2018.12.04
  • 5
  • PV
  • 0
  • Fav

論理プログラミング関連用語人気知識・質問

K
Edition: 1
サーカムスクリプション
サーカムスクリプション(極小限定)は、宣言されていることだけが正しいものと仮定して推論を行う.閉世界仮説のように明示的に示されていないものは偽とする.例外がありうるときにも「例外である」としていないものは全て「例外でない」として扱う.
  • 2018.12.08
  • 6
  • PV
  • 0
  • Fav
K
Edition: 1
閉世界仮説
閉世界仮説(Close world assumption: CWA)は、真ということが示されていない証明されていないものは全て偽とする仮説のこと.データベースなどの完全な情報を持つシステムでは閉世界仮説となっている.すなわち知らない情報は存在しないもの.Prologなどにおいても「失敗による否定」は閉世界仮説によるもの.
  • 2018.12.04
  • 5
  • PV
  • 0
  • Fav
K
Edition: 1
バックトラック
バックトラック(バックトラッキング、BackTracking)はPrologでのインタプリタで解を探すときのプロセスのこと.そもそもは効率的なしらみつぶし探索のことを指す.Prologにおけるこの処理過程は非決定性を備え複数の解がありうる場合もそのうちの一つ満たすものを返すように探索を行い、もしそれで条件が満たせない場合は次の解候補で探索を再度行う.
  • 2018.12.08
  • 4
  • PV
  • 0
  • Fav
K
Edition: 1
開世界仮説
開世界仮説(Open World Assumption)とは、まだ真または偽とはっきりしない事柄について真かもしれないという導出を行う仮説.データベースなどは十分なデータがあって不足はないと考えられるため、閉世界仮説を使用するが、Semantic Webなどにおいては開世界仮説を使用する.
  • 2018.12.04
  • 3
  • PV
  • 0
  • Fav
K
Edition: 1
失敗による否定
失敗による否定(negation as failure)は、Prologなどの論理プログラミングにおいて活用される「真であると導けなかった事柄は偽」と導出すること.
  • 2018.12.04
  • 2
  • PV
  • 0
  • Fav