algorithm - 一次論理における述語と関数

Question

私は最近、一階論理における述語と関数の違いについてとても混乱しています。

これまでの私の理解は、

述語は、次のような 2 つのオブジェクト間の比較または関係を示すことです。

President(Obama, America)

関数は、特定のオブジェクトが次のように何であるかを指定するものです。

Human(Obama)

今、私はこれら2つの用語を区別するために正しい道を進んでいますか、それとも完全に間違っており、簡単な説明が必要です.私の知識を明確にする（または私の理解を承認する）ために専門家から意見を求めたい. 前もって感謝します

クリオ

score 50 · Accepted Answer

50

述語は、trueまたはfalseを返す関数です。

于 2011-06-14T00:10:59.150 に答える

score 13 · Accepted Answer

個体を個体にマッピングする関数記号 – 父 (メアリー) = ジョン – 色 (空) = 青 • 個体を真理値にマッピングする述語記号 – より大きい (5,3) – 緑 (草) – 色（草の緑）

score 7 · Accepted Answer

私が理解していることから

関数はドメイン内の値を返し、n 個の要素をドメインの 1 つのメンバーにマッピングします。

述語は、システムで従っている公理と推論規則に従って、作成しようとしている関係が真かどうかを確認します。

score 0 · Accepted Answer

関数は、与えられた入力に対して値が 1 つしかない関係です。

出典：AIMA（人工知能の現代的アプローチの本）

画像の詳細説明:

5 に答える 5