Prädikat vs Funktionen in der Logik erster Ordnung

Question

Ich war in letzter Zeit so verwirrt über den Unterschied zwischen Prädikat und Funktion in Logik erster Ordnung.

Mein bisheriges Verständnis ist,

Prädikat bedeutet, einen Vergleich oder eine Beziehung zwischen zwei Objekten wie, zu zeigen, z.

President(Obama, America)

Funktionen sollen angeben, was ein bestimmtes Objekt ist wie,

Human(Obama)

Jetzt fahre ich auf dem richtigen Weg, um diese beiden Begriffe zu unterscheiden, oder ich bin völlig falsch und brauche eine kurze Erklärung. Ich möchte eine Meinung von Experten haben, um mein Wissen zu klären (oder mein Verständnis zu genehmigen). Danke im Voraus

Krio

Answer 1

Ein Prädikat ist eine Funktion, die wahr oder falsch zurückgibt.

Answer 2

Funktionsymbole, die Individuen Individuen zuordnen-Vater von (Mary) = John-Farbe (Himmel) = Blau • Prädikatsymbole, die Individuen auf Wahrheitswerte zuordnen-größer (5,3)-Grün (Gras)-Farbe (Gras-Grün)

Answer 3

Prädikat ist Bestätigung für eine bestimmte Eigenschaft, Objekte oder Beziehung zwischen Objekten. Das heißt, dass das Eigentum für dieses Objekt existiert. Wenn Sie eine Formel P für den Präsidenten von Amerika erhalten

P (Obama, Amerika) = wahr.

Es sagt dir

P (Putin, Amerika) = Falsch.

Sagt, dass Putin Americas Präsident ist, der falsch ist und Ihnen sagt und Ihnen sagt, dass ein Objekt oder Objekte eine bestimmte Eigenschaft oder Beziehung innehaben oder nicht. Wie für Funktionen gibt der Wert zurück, der mit einer bestimmten Eigenschaft eines Objekts wie amerikanischer Präsident, Anns Mutter usw. verbunden ist. Sie geben ihnen einen Wert und sie werden einen Wert zurückgeben.

P (Amerika) = Obama.

P (Russland) = Putin.

Answer 4

Von dem, was ich verstehe

Die Funktion gibt einen Wert zurück, der in der Domäne liegt und N -Elemente an ein einzelnes Mitglied der Domäne abbilden.

Prädikat bestätigt, ob die Beziehung, die Sie herstellen möchten, wahr oder nicht, entsprechend den Axiomen und Inferenzregeln, die Sie in Ihrem System folgen.

Answer 5

Funktionen sind Beziehungen, in denen es nur eine gibt Wert für ein gegebenes Eingang.

Quelle: AIMA (künstliche intelligente ein modernes Annäherungsbuch)

Weitere Beschreibung im Bild: