Prédicat vs fonctions dans la logique du premier ordre
j'ai été tellement confus dernièrement en ce qui concerne la différence entre prédicat et fonction dans la logique du premier ordre.
Ma compréhension,
Predicate est d'afficher une comparaison ou d'afficher une relation entre deux objets tels que,
President(Obama, America)
les fonctions doivent spécifier ce qu'est un objet particulier tel que,
Human(Obama)
maintenant je suis sur la bonne voie pour différencier ces deux termes ou j'ai complètement tort et j'ai besoin d'une brève explication, J'aimerais avoir l'opinion d'un expert pour clarifier mes connaissances (ou approuver ma compréhension). Merci à l'avance
Krio
5 réponses
symboles de fonction, la carte de particuliers à particuliers – -père de Marie) = Jean – couleur(Ciel) = Bleu • Symboles de prédicat, qui amène les individus aux valeurs de la vérité – une plus grande(5,3) – vert(Herbe) – couleur(Herbe, Vert)
le prédicat est la confirmation pour une propriété particulière d'un objet ou d'une relation entre des objets. c'est de dire que la propriété existe pour cet objet. si on vous donne une formule P pour Président de L'Amérique alors
P(Obama, Amérique)=vrai.
il vous dit que vous avez raison et que les biens de Obama le Président de l'Amérique est vrai et que la relation d'Obama le président de l'Amérique est vrai, mais
P(Poutine, Amérique)=faux.
dit Poutine étant président des Amériques est faux vous disant Ainsi qu'un objet ou des objets détient ou ne détient pas une propriété ou une relation particulière. Comme pour 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 vont retourner une valeur.Comme P soit une fonction qui renvoie le président du pays passé comme arguments
P(Amérique)=Obama.
P(Russie)=Poutine.
ce que je comprends
la fonction renvoie une valeur qui est dans le domaine, en faisant correspondre n éléments à un seul membre du domaine.
le prédicat confirme si la relation que vous essayez de faire est vraie ou non selon les axiomes et les règles d'inférence que vous suivez dans votre système.
les fonctions sont des relations dans lesquelles il n'y a qu'un seul valeur pour un entrée.
source : AIMA (intelligence Artificielle Une Approche Moderne de la Livre)
plus de description dans l'image:
