検索結果
ナビゲーションに移動
検索に移動
- '''失敗による否定'''（しっぱいによるひてい、{{lang-en-short|Negation as failure, NAF}}）は、[[論理プログラミング]]で使われる[[非単調論理]]的推論規則であり、<math>p</math> を導出することに失敗したとき <math>\mathit{not}~p< [[Category:論理プログラミング]] …6キロバイト (417 語) - 2024年11月24日 (日) 17:00
- [[安定モデル意味論]]は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は[[失敗による否定]]のある[[論理プログラミング]]の意味論として使われている。 [[Category:論理プログラミング]] …5キロバイト (264 語) - 2019年11月18日 (月) 10:24
- [[Category:論理プログラミング]] …8キロバイト (470 語) - 2018年10月3日 (水) 21:59
- …c programming}}）は[[制約プログラミング]]の一種で、[[制約充足問題|制約]]という問題表現・解決の考え方を導入することによって[[論理プログラミング]]を拡張した[[プログラミングパラダイム]]である。論理プログラミングの持っている宣言的な表現力に制約の考え方を導入し、より一般化したものとも言うこと *[[論理プログラミング]] …22キロバイト (1,157 語) - 2024年10月23日 (水) 17:07
- '''節標準形'''（[[英語|英]]: '''Clausal normal form'''、'''CNF'''）とは、[[数理論理学]]において、[[論理プログラミング]]や多くの[[自動定理証明]]系で使われる[[論理式 (数学)|論理式]]の標準形式である。論理式を節標準形に変換すると論理式の構造が破壊される。また …3キロバイト (137 語) - 2022年8月1日 (月) 11:08
- [[Category:論理プログラミング]] …10キロバイト (306 語) - 2021年1月15日 (金) 10:11
- …換 (論理学)|en|Substitution (logic)|label=置換}}を求めるのが目的である。ユニフィケーションは[[自動推論]]、[[論理プログラミング]]、プログラミング言語の[[型システム]]の実装などに幅広く用いられている。 ユニフィケーションは計算機科学の重要なツールである。特に一階のユニフィケーションは[[論理プログラミング]]、プログラミング言語の[[型システム]]設計、[[自動推論]]などに用いられている。高階ユニフィケーションは定理証明支援で使われている。高階ユニフィ …26キロバイト (1,541 語) - 2022年8月9日 (火) 04:08
- …用として、[[Prolog]]は規則群のデータベースに論理問い合わせを行う構造になっていて、ファジィ論理との相性が良い。このようなプログラミングを[[論理プログラミング]]という。 …28キロバイト (1,639 語) - 2025年3月9日 (日) 14:47
- 導出原理を元とする導出の手法は、その後の[[定理自動証明]]に大きな影響を与え、また[[Prolog]]などの[[論理プログラミング]]言語の基礎となった。 …lause''}}）として指定した節と、頂上節から導出された節に限定する方法。導出木を書くと導出の流れが線状に一列に並ぶため、線形導出と呼ばれる。[[論理プログラミング]]言語の代表である[[Prolog]]で用いられる''SLD導出''（{{lang|en|''Selective Linear resolution …17キロバイト (1,170 語) - 2024年10月26日 (土) 14:21
- …基礎例のみを段階的に具体化していくことで、導出原理では効率的な推論が可能になり、その後の[[自動定理証明|定理証明]]や[[Prolog]]などの[[論理プログラミング]]言語に大きな影響を与えた。 *[[論理プログラミング]] …15キロバイト (788 語) - 2024年8月24日 (土) 22:28
- [[Category:論理プログラミング]] …8キロバイト (360 語) - 2024年5月23日 (木) 10:25
- 以上解説した表示的合成的意味論は汎用的であり、[[関数型言語]]、[[命令型言語]]、[[並行計算|並行型言語]]、[[論理プログラミング|論理型言語]]などに適用可能である。 …30キロバイト (2,313 語) - 2025年2月5日 (水) 14:07
- これ以外のアルゴリズムの概念化として、[[関数型言語|関数型プログラミング]]や[[論理プログラミング]]がある。 ….1145/359131.359136}}</ref>。論理部分は計算で使われる公理を表し、制御部分は公理に演繹が適用される方法を決定する。これは[[論理プログラミング]]というパラダイムの基本である。純粋な論理プログラミングでは、制御部分が固定されていて、アルゴリズムは論理部分だけで指定される。この手法の魅力は、[[ …43キロバイト (749 語) - 2025年2月8日 (土) 16:12
- 計算機科学はまた[[自動定理証明]]や[[論理プログラミング]]のような自動検証や証明探索の技術の開発によって数学に寄与している。 …72キロバイト (4,629 語) - 2025年2月20日 (木) 04:26
- …せることができる。言語の様式は様々で、[[命令型プログラミング]]や[[関数型言語|関数型プログラミング]]もあれば、[[制約プログラミング]]や[[論理プログラミング]]もあるし、[[第四世代言語|4GL]]的なものもある。 …39キロバイト (2,008 語) - 2025年2月17日 (月) 18:14
- : 例、背景知識、仮説を一様な表現とし、[[論理プログラミング]]を使って学習を規則化する技法である。既知の背景知識と例の集合をコード化して事実の論理データベースとし、全てのポジティブな例を[[論理包含演算|含み] …76キロバイト (3,418 語) - 2025年2月20日 (木) 09:08
- …|2a1=Castaño|2y=2018|2p=2|3a1=Wile|3a2=Goss|3a3=Roesner|3y=2005|3p=447}}。[[論理プログラミング]]言語は、論理式を用いて事実を表現し、これらの事実から推論を行うよう設計されたものである。例えば、[[Prolog]]は、述語論理に基づく論理プログラ …144キロバイト (12,193 語) - 2025年1月13日 (月) 04:05