Predicado vs funciones en la lógica de primer orden

Question

Últimamente he estado tan confundido con respecto a la diferencia entre predicado y función en la lógica de primer orden.

Mi entendimiento hasta ahora es,

El predicado es mostrar una comparación o mostrar una relación entre dos objetos como,

President(Obama, America)

Las funciones son para especificar qué es un objeto en particular como,

Human(Obama)

Ahora me dirijo al camino correcto para diferenciar estos dos términos o estoy completamente equivocado y necesito una breve explicación, me gustaría tener una opinión de un experto para aclarar mi conocimiento (o aprobar mi comprensión). Gracias por adelantado

Krio

Answer 1

Un predicado es una función que devuelve verdadero o falso.

Answer 2

Símbolos de función, que asignan a los individuos a los individuos-padre de (María) = John-color-de (cielo) = azul • símbolos predicados, que asignan a los individuos a los valores de la verdad-mayores (5,3)-verde (hierba)-color (Pasto verde)

Answer 3

El predicado es confirmación para una propiedad en particular un objeto o relación entre objetos. Eso es decir que la propiedad existe para ese objeto. Si se le da una fórmula P para presidente de América, entonces

P (Obama, América) = Verdadero.

Le dice que tiene razón y que la propiedad de Obama es presidente de América es cierta y que la relación de Obama es presidente de América es verdadera pero

P (Putin, América) = Falso.

dice que Putin es el presidente de América es falso, así que le dice que un objeto u objetos posee o no posee una propiedad o relación en particular. En cuanto a las funciones, devuelve el valor asociado con una propiedad específica de un objeto como la presidenta de Estados Unidos, la madre de Ann, etc., les da un valor y devolverán un valor. Al igual que P sea una función que devuelva el presidente del país aprobado como argumentos

P (América) = Obama.

P (Rusia) = Putin.

Answer 4

De lo que entiendo

La función devuelve un valor que está en el dominio, mapeando n elementos a un solo miembro del dominio.

El predicado confirma si la relación que está tratando de hacer es verdadera o no de acuerdo con las reglas de axiomas e inferencia que está siguiendo en su sistema.

Answer 5

Las funciones son relaciones en las que solo hay una valor para una dada aporte.

Fuente: AIMA (Libro de enfoque moderno inteligente artificial)

Más descripción en la imagen: