Logica de predicados gy patriciadriana 110R5pR 15, 2011 2 pagcs LÓGICA DE PREDICADOS La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se las representa en lógica proposicional. Por esto se desarrolló una forma lógica más general, capaz de representar todos los detalles expresados en las sentencias, esta es la lógica de predicados. La lógica de predicados es una extensión de la lógica de proposiciones, y a ella se extienden también los conectivos ógicos y operadores de la lógica proposicional.
La lógica de predicados descompone la proposición en sus dos componentes básicos (sujeto y predicado) y cuantifica al sujeto, introduciendo simbolos para el sujeto, para el predicado y para «al uno» además de un símbolo de los cuantificadores «todos» relación entre sujeto ors La lógica de predicad a i a de las sentencias realmente expresan , así como también acion cualidades y atributo bjetos pueden ser personas, objeto les cualidades, relaciones o atributos, se denominan predicados. Swlpe to vlew next page predicados. Los objetos se conocen como argumentos o términos del predicado.
Un predicado puede ser verdadero para un conjunto de términos, pero falso para otro. por ejemplo, el siguiente predicado es verdadero: Color (yerba, verde). El mismo predicado, pero con diferentes argumentos, puede no ser verdadero: Color (yerba, azul) o color (cielo, verde). Tales predicados, establecidos y asumidos como lógicamente verdaderos se denominan axiomas, y no requieren de justificación para establecer su verdad. Desde la lógica de predicados, una proposición expresa relaciones entre objetos y/o atributos asignados a los objetos.
En la oración «Juan es hermano de Pedro» lo que realmente se está expresando es una relación (de hermandad) entre Juan y Pedro. En la oración «Juan es estudiante de la universidad» se está asignando un atributo a Juan. (La lógica de predicados es muy importante para representar el conocimiento en Inteligencia Artificial; las oraciones anteriores se representarían como «Hermano de (Juan, Pedro)» y «EstudianteUniversitario (Juan)») La lógica de predicados, se ocupa únicamente de métodos de argumentación sólidos. Tales argumentaciones se denominan Reglas de Inferencia.
Si se da un conjunto de axiomas que so argumentaciones se denominan Reglas de Inferencia. Si se da un conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia garantizan que sólo serán derivadas consecuencias verdaderas. Cada uno de los argumentos en los ejemplos de predicados dados anteriormente, representan a un objeto especifico. Tales argumentos se denominan constantes. Sin embargo, en la lógica de predicados se pueden tener argumentos que en determinado momento pueden ser desconocidos. Estos son los argumentos tipo variable. En el ejemplo: color (yerba, X), la variable X. ede tomar el valor de verde, haciendo que el predicado sea verdadero; o puede tomar el valor de azul, dando lugar a que el predicado sea falso. Las variables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son: • El cuantificador universal; indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. • El cuantificador existencial; 3, indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio. 31_1f3
