Predicado vs Funciones en lógica de Primer orden
He estado muy confundido últimamente 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 lo que un objeto particular es como,
Human(Obama)
Ahora estoy yendo por el 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 experto para aclarar mis conocimientos (o aprobar mi comprensión). Gracias de antemano
Krio
5 answers
Un predicado es una función que devuelve true o false.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2011-06-14 00:10:59
Símbolos de función, que mapean individuos a individuos – padre-de (María) = Juan – color de (Cielo) = Azul • Símbolos de predicado, que mapean a los individuos a los valores de la verdad – mayor(5,3) – verde (Hierba) – color (Hierba, Verde)
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2013-03-04 04:36:22
El predicado es la confirmación de una propiedad particular, un objeto o una 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.
Te dice que tienes razón y que la propiedad de Obama como Presidente de Estados Unidos es verdadera y que la relación de Obama como presidente de Estados Unidos es verdadera pero
P (Putin, América)=falso.
Dice Putin siendo presidente de las Américas es falso, por lo que le dice que un objeto u objetos tiene o no tiene una propiedad o relación en particular. As for functions devuelve el valor asociado a una propiedad específica de un objeto como el Presidente de América, la madre de Ann, etc. Les das un valor y te devolverán un valor.Como sea P una función que devuelve el presidente del país pasado como argumentos
P (América)=Obama.
P(Rusia)=Putin.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2014-02-02 23:25:53
Por lo que entiendo
La funciónDevuelve un valor que está en el dominio, asignando 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 los axiomas y las reglas de inferencia que está siguiendo en su sistema.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2014-11-25 22:48:53
Las funciones son relaciones en las que solo hay un valorpara una entrada dada.
Fuente: AIMA (Artificial Intelligent A Modern Approach Book)
Más descripción en la imagen:
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2016-12-12 05:54:12