ヒラリー・パトナムと充足可能性問題

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ヒラリー・パトナムと充足可能性問題の違い

ヒラリー・パトナム vs. 充足可能性問題

ヒラリー・ホワイトホール・パトナム（Hilary Whitehall Putnam、1926年7月31日 - 2016年3月13日）は、アメリカ合衆国の哲学者。1960年代以来、心の哲学、言語哲学、および科学哲学において、分析哲学の中心人物であった。彼は他の者に対して行うのと同じくらい自分自身の哲学的立場についても、その欠陥が曝露されるまで厳格な分析による吟味を加えることで知られているKing, P.J. One Hundred Philosophers: The Life and Work of the World's Greatest Thinkers. 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。.

デービス・パトナムのアルゴリズム

デービス・パトナムのアルゴリズム（Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法として（Martin Davis）とヒラリー・パトナム（Hilary Putnam）により1958年に考案され Davis Martin.

デービス・パトナムのアルゴリズムとヒラリー・パトナム · デービス・パトナムのアルゴリズムと充足可能性問題 · 続きを見る »

充足可能性問題

充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。.

ヒラリー・パトナムと充足可能性問題 · 充足可能性問題と充足可能性問題 · 続きを見る »

DPLLアルゴリズム

Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。この判定問題はCNF-SATと呼ばれる。 このアルゴリズムは、1960年に発表されたデービス・パトナムのアルゴリズム（Davis–Putnam algorithm）の改良版として、1962年に、、が発表した 。 なお、文献によってはDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し、正確には異なる。.

DPLLアルゴリズムとヒラリー・パトナム · DPLLアルゴリズムと充足可能性問題 · 続きを見る »