Prädikat vs-Funktionen in Erster Ordnung Logik
Ich war so verwirrt in letzter Zeit bezüglich Unterschied zwischen Prädikat und Funktion in Erster Ordnung Logik.
Mein Verständnis bisher ist,
Prädikat ist zu zeigen, ein Vergleich oder zeigt eine Beziehung zwischen zwei Objekten, wie
President(Obama, America)
Funktionen, um anzugeben, was ein bestimmtes Objekt ist, wie,
Human(Obama)
Nun bin ich überschrift auf der rechten Spur zu differenzieren, diese beiden Begriffe, oder bin ich komplett falsch und brauche eine kurze Erklärung, ich hätte gerne die Meinung von Experten zu klären, mein wissen(oder zu genehmigen, die mein Verständnis). Vielen Dank im Voraus
Krio
Du musst angemeldet sein, um einen Kommentar abzugeben.
Ein Prädikat ist eine Funktion, die true oder false zurückgibt.
Funktion Symbole,
die Karte Privatpersonen an Privatpersonen
–
Vater-von(Mary) = John
–
Farbe(Sky) = Blau
•
Prädikat Symbole,
die Karte Einzelpersonen, um die Wahrheit der Werte
–
größer(5,3)
–
grün(Gras)
–
Farbe(Gras, Grün)
Prädikat ist Bestätigung für eine bestimmte Eigenschaft ein Objekt oder eine relation zwischen Objekten. das ist aufschlussreich, dass die Eigenschaft vorhanden ist, für das Objekt. wenn Sie eine Formel P Präsident von Amerika, dann
er sagt Ihnen, dass Sie richtig sind und das Objekt von Obama wird Präsident von Amerika, ist wahr, und das Verhältnis von Obama wird Präsident von Amerika ist wahr, aber
sagt Putin wird Amerikas Präsident ist falsch, so sagen Sie, dass ein Objekt oder Objekte hält oder nicht halten eine bestimmte Eigenschaft oder relation.
Da für Funktionen gibt den Wert in Verbindung mit einer bestimmten Eigenschaft eines Objekts wie der amerikanische Präsident , Ann Mutter etc. Du gibst Ihnen einen Wert und Sie werden einen Wert zurückgeben.Wie sei P eine Funktion zurückgibt, die der Präsident des Landes, an als Argumente
Was ich verstehen
Funktion einen Wert zurückgibt, der im domain-mapping n Elemente zu einem einzelnen Mitglied der Domäne.
Prädikat bestätigt, ob die Beziehung, die Sie versuchen zu machen, wahr ist oder nicht entsprechend der Axiome und inferenzregeln Sie in Ihrem system.
Funktionen sind die Beziehungen in denen es nur einen Wert für einen bestimmten Eingang.
Quelle : AIMA (Artificial Intelligent Ein Moderner Ansatz, Buch)
mehr Beschreibung im Bild: