Prédicats vs Fonctions logique de premier ordre

Question

J'ai été si confus ces derniers temps en ce qui concerne la différence entre prédicat et fonction dans la logique de premier ordre.

Ma compréhension à ce jour est,

prédicats est de montrer une comparaison ou montrant une relation entre deux objets tels que,

President(Obama, America)

Les fonctions sont de préciser ce qu'est un objet particulier est tel que,

Human(Obama)

Maintenant que je dirigeais sur bonne voie pour différencier ces deux termes ou je suis complètement faux et ont besoin d'une brève explication, je voudrais avoir l'opinion d'experts pour clarifier ma connaissance (ou d'approuver ma compréhension). Merci à l'avance

Krio

Answer 1

Un prédicat est une fonction qui renvoie vrai ou faux.

Answer 2

Symboles de fonction, quelle carte individus aux particuliers - père de (Mary) = John - couleur de (Sky) = Bleu • symboles de prédicats, quelle carte les individus aux valeurs de vérité - supérieure (5,3) - l'herbe verte) - couleur (Herbe, Vert)

Answer 3

prédicat est une confirmation pour une propriété particulière d'un objet ou d'une relation entre les objets. qui est révélateur que la propriété existe pour cet objet. si vous êtes donné une formule P pour le président de l'Amérique puis

P (Obama, Amérique) = true.

il vous dit que vous avez raison et que la propriété d'Obama étant Président de l'Amérique est vrai et que la relation d'Obama étant président de l'Amérique est vrai, mais

P (Poutine, Amérique) = false.

dit Poutine étant président américain est faux donc vous dire qu'un objet ou des objets détient ou non une propriété particulière ou d'une relation. En ce qui concerne les fonctions renvoie la valeur associée à une propriété spécifique d'un objet comme le président de l'Amérique, la mère d'Ann, etc. Vous leur donnez une valeur et ils retournerez un value.Like soit P une fonction qui renvoie le président du pays passé comme arguments

P (America) = Obama.

P (Russie) = Poutine.

Answer 4

D'après ce que je comprends

Fonction renvoie une valeur qui est dans le domaine, la cartographie n éléments à un seul membre du domaine.

prédicats confirme si la relation que vous essayez de faire est vrai ou non selon les axiomes et les règles d'inférence que vous suivez dans votre système.

Answer 5

Les fonctions sont des relations dans lesquelles il n'y a qu'un valeur pour une donnée Entrée .

Source: AIMA (artificielle intelligente Une approche moderne Livre)

description plus dans l'image: