A-1アルゴリズム・プログラミング · 情報理論
述語論理
Predicate Logic
じゅつごろんり
命題を主語と述語に分解し、「すべてのxについて」（全称記号∀）や「あるxが存在する」（存在記号∃）といった量化を使って表す論理の体系。命題論理より表現力が高く、形式仕様記述、データベースの問合せ、人工知能の知識表現の基礎になる。
共有:
Related
他の資格での定義
IP述語論理
命題論理を拡張し、主語と述語の関係や変数の量化（すべての、ある〜が存在する）を扱える論理体系。データベースの問合せやAIの知識表現の基礎となる。
FE述語論理
命題論理を拡張し、変数と述語（性質や関係を表す関数）、全称量化子（∀）と存在量化子（∃）を用いてより複雑な論理的関係を表現する体系。データベースの問合せ言語やAIの知識表現の基礎。
AP述語論理
命題論理を拡張し、変数と述語（性質や関係を表す関数）、全称量化子（∀）と存在量化子（∃）を導入した論理体系。「すべてのxについてP(x)が成り立つ」のような命題を形式的に表現でき、関係データベースの理論的基盤。
PD-D述語論理
命題論理に、対象の性質や関係を表す述語と変数、「すべてのxについて」を表す全称記号∀と「あるxが存在して」を表す存在記号∃を加え、より細かな論理を表現できるようにした論理体系。「すべての人間は死ぬ」のような一般的な命題を扱え、知識表現、論理型プログラミング（Prolog）、データベースの問合せの理論の基礎となる。
Related