Thoth Children
ログイン
知識投稿
他サービス
Thothnator
Thoth Coworker
ウジャトで理解する学問
You Only Search Once(β)
Thoth Hieroglyph
ヒエログリフ変換
論理プログラミング関連用語
編集
論理プログラミング等で現れる単語に関してまとめているページです.
編集
2018.12.4
54
Views
0
Watch
5
Knows
Watch登録
知識登録
削除申請
一つ上へ
サーカムスクリプション
サーカムスクリプション(極小限定)は、宣言されていることだけが正しいものと仮定して推論を行う.閉世界仮説のように明示的に示されていないものは偽とする.例外がありうるときにも「例外である」としていないものは全て「例外でない」として扱う.
バックトラック
バックトラック(バックトラッキング、BackTracking)はPrologでのインタプリタで解を探すときのプロセスのこと.そもそもは効率的なしらみつぶし探索のことを指す.Prologにおけるこの処理過程は非決定性を備え複数の解がありうる場合もそのうちの一つ満たすものを返すように探索を行い、もしそれで条件が満たせない場合は次の解候補で探索を再度行う.
開世界仮説
開世界仮説(Open World Assumption)とは、まだ真または偽とはっきりしない事柄について真かもしれないという導出を行う仮説.データベースなどは十分なデータがあって不足はないと考えられるため、閉世界仮説を使用するが、Semantic Webなどにおいては開世界仮説を使用する.
失敗による否定
失敗による否定(negation as failure)は、Prologなどの論理プログラミングにおいて活用される「真であると導けなかった事柄は偽」と導出すること.
閉世界仮説
閉世界仮説(Close world assumption: CWA)は、真ということが示されていない証明されていないものは全て偽とする仮説のこと.データベースなどの完全な情報を持つシステムでは閉世界仮説となっている.すなわち知らない情報は存在しないもの.Prologなどにおいても「失敗による否定」は閉世界仮説によるもの.
×
新しい分野を追加
×
新しい知識を追加
×
分野の削除申請
×
移動または削除を行うには理由を申請ください。
理由
他の分野の移動の場合は分野を設定してください。 削除要請される場合はそのまま下のボタンを押下してください.
分野:
学問
技術
言語
高校
中学
一般
物性
道具
思考
計算
アルゴ
その他
分野の説明を編集
×
分野のタイトルを編集
×
論理プログラミング関連用語の新規投稿
サーカムスクリプション
サーカムスクリプション(極小限定)は、宣言されていることだけが正しいものと仮定して推論を行う.閉世界仮説のように明示的に示されていないものは偽とする.例外がありうるときにも「例外である」としていないものは全て「例外でない」として扱う.
PV
154
Fav
0
2018.12.08
バックトラック
バックトラック(バックトラッキング、BackTracking)はPrologでのインタプリタで解を探すときのプロセスのこと.そもそもは効率的なしらみつぶし探索のことを指す.Prologにおけるこの処理過程は非決定性を備え複数の解がありうる場合もそのうちの一つ満たすものを返すように探索を行い、もしそれで条件が満たせない場合は次の解候補で探索を再度行う.
PV
137
Fav
0
2018.12.08
開世界仮説
開世界仮説(Open World Assumption)とは、まだ真または偽とはっきりしない事柄について真かもしれないという導出を行う仮説.データベースなどは十分なデータがあって不足はないと考えられるため、閉世界仮説を使用するが、Semantic Webなどにおいては開世界仮説を使用する.
PV
178
Fav
0
2018.12.04
失敗による否定
失敗による否定(negation as failure)は、Prologなどの論理プログラミングにおいて活用される「真であると導けなかった事柄は偽」と導出すること.
PV
101
Fav
0
2018.12.04
閉世界仮説
閉世界仮説(Close world assumption: CWA)は、真ということが示されていない証明されていないものは全て偽とする仮説のこと.データベースなどの完全な情報を持つシステムでは閉世界仮説となっている.すなわち知らない情報は存在しないもの.Prologなどにおいても「失敗による否定」は閉世界仮説によるもの.
PV
155
Fav
0
2018.12.04
論理プログラミング関連用語人気知識・質問
開世界仮説
開世界仮説(Open World Assumption)とは、まだ真または偽とはっきりしない事柄について真かもしれないという導出を行う仮説.データベースなどは十分なデータがあって不足はないと考えられるため、閉世界仮説を使用するが、Semantic Webなどにおいては開世界仮説を使用する.
PV
178
Fav
0
2018.12.04
閉世界仮説
閉世界仮説(Close world assumption: CWA)は、真ということが示されていない証明されていないものは全て偽とする仮説のこと.データベースなどの完全な情報を持つシステムでは閉世界仮説となっている.すなわち知らない情報は存在しないもの.Prologなどにおいても「失敗による否定」は閉世界仮説によるもの.
PV
155
Fav
0
2018.12.04
サーカムスクリプション
サーカムスクリプション(極小限定)は、宣言されていることだけが正しいものと仮定して推論を行う.閉世界仮説のように明示的に示されていないものは偽とする.例外がありうるときにも「例外である」としていないものは全て「例外でない」として扱う.
PV
154
Fav
0
2018.12.08
バックトラック
バックトラック(バックトラッキング、BackTracking)はPrologでのインタプリタで解を探すときのプロセスのこと.そもそもは効率的なしらみつぶし探索のことを指す.Prologにおけるこの処理過程は非決定性を備え複数の解がありうる場合もそのうちの一つ満たすものを返すように探索を行い、もしそれで条件が満たせない場合は次の解候補で探索を再度行う.
PV
137
Fav
0
2018.12.08
失敗による否定
失敗による否定(negation as failure)は、Prologなどの論理プログラミングにおいて活用される「真であると導けなかった事柄は偽」と導出すること.
PV
101
Fav
0
2018.12.04