Lógica de Predicados. Ing. Nerio Villalobos Finol

Transcripción

1 Lógica de Predicados Ing. Nerio Villalobos Finol

2 3 Lógica de Predicados 1. Introducción Como ya hemos visto, la lógica proposicional trata de las proposiciones y de sus combinaciones, pero sin considerar la estructura de las proposiciones. Este aspecto lo atiende la Lógica de Predicados o Lógica de Primer Orden, que estudiaremos en este capítulo. La lógica de primer orden se preocupa por la representación de los mundos en términos de objetos y predicados sobre objetos, es decir, propiedades de los objetos o relaciones entre los objetos, así como del uso de conectivos y cuantificadores, mediante los cuales se pueden escribir oraciones sobre todo lo que pasa en el universo, a un mismo tiempo. La lógica de primer orden permite la aprehensión de buena parte de lo que sabemos sobre el mundo. En la lógica proposicional se supone que en el mundo hay hechos que se cumplen o no. Son de dos tipos: verdaderos o falsos. En la lógica de primer orden se va más allá: que el mundo está compuesto por objetos que guardan entre sí ciertas relaciones que se cumplen y otras que no se cumplen. En la lógica de predicados, las proposiciones se componen básicamente de dos miembros: el sujeto y el predicado. En la proposición Bolívar fue el Libertador de Venezuela, Bolívar es el sujeto y fue el Libertador de Venezuela es el predicado. La lógica de predicados considera, por otra parte, los sujetos y los complementos como una de las partes de la proposición y, por otro lado, los verbos como otra de las partes. Por lo que la proposición se compone de: Sujetos y complementos llamados argumentos Verbos, llamados predicados. Las demás partes de la proposición se reducen a cualquiera de las dos anteriores. Para la lógica de predicados utilizaremos constantes, variables, funciones, predicados, operadores, cuantificadores y delimitadores. Constantes Las constantes con los identificadores más simples, y se utilizan para representar instancias del dominio que estemos tratando. Pueden se meras abstracciones ú objetos físicos, y los representaremos con cadenas alfanuméricas en letras

3 mayúsculas y con caracteres de subrayados en caso de requerir mayor claridad. Por ejemplo: MARTÍNEZ, NARANJA, VENEZUELA, LÓGICA, A, B, C, etc. Variables Las variables son identificadores que representan un elemento de un conjunto, sin representar uno específico, como en el caso de las constantes. Sus identificadores los representaremos por medio de cadenas en letras minúsculas. Por ejemplo: estudiante, fruta, país, asignatura, x, y, z, etc. Funciones. Asumiendo que un conjunto es una determinada colección de entidades, tenemos que entre conjuntos cabe establecer relaciones. Por ejemplo: la relación que asigna a los jugadores de un equipo un número; la relación por la que a cada estudiante de un determinado curso se le asigna una nota; la relación por la que cada vehículo tiene un propietario; la relación de ser más alto que entre los estudiantes de un curso; etc. Una relación entre dos conjuntos tiene una dirección, va de un conjunto al que llamaremos origen a otro conjunto que llamamos imagen. Para ciertas relaciones el conjunto origen y el conjunto imagen coinciden, son el mismo conjunto. Definición.- Una función es una relación entre dos conjuntos que satisface la condición de que a cada entidad del conjunto origen le corresponde una única entidad del conjunto imagen. Definición.- Las entidades del conjunto origen de una función son denominadas argumentos de la función o también dominio. Las entidades del conjunto imagen que corresponden a los argumentos de una función son denominadas valores de la función o también rango. El conjunto de valores o rango de una función no tiene por qué coincidir con el conjunto imagen, pudiendo ser un subconjunto imagen. Así, por ejemplo, la función madre de tiene como dominio el conjunto de personas y como rango el conjunto de mujeres que son madres, así su conjunto imagen podría tomarse del conjunto de las mujeres. Dicha función es una relación tal que a cada persona le corresponde una única mujer, que es su madre. De la misma manera son funciones las relaciones: capital_de entre naciones y ciudades; decano_de entre facultades de una universidad y profesores de la misma; cumpleaños_de entre personas y fechas; etc. Hemos de tener en cuenta también que algunas funciones pueden requerir argumentos formados por secuencias de entidades. Cuando requieren como argumentos entidades singulares se denominan monarias; cuando requieren como argumentos secuencias de dos entidades o pares reciben el nombre de binarias, cuando requieren secuencias de tres ternarias, etc. Y de manera general cuando requieren secuencias de n entidades se les denomina n-arias ó también n-ádicas. La función fruta(x) es monaria; la función producto(x, y) es binaria, pues toma como

4 argumentos pares de números; profesor(alumno, asignatura, período) es una función terciaria. Los argumentos pueden ser constantes, variables o a su vez otra función. Los identificadores de funciones los representaremos con letras minúsculas, y entre paréntesis los argumentos o parámetros separados por comas, si son más de uno. Ejemplos: madre(x): La madre de x, siendo x una variable. madre(juan): La madre de JUAN, siendo JUAN una constante. jugo(naranja): Lugo de naranja. bebida(jugo(naranja): Bebida de jugo de naranja. Predicados. Los predicados se utilizan para representar relaciones entre los diferentes elementos del dominio que esté bajo estudio. Tendrán el valor de verdadero si cumplen la relación o de falso en caso contrario. Los identificadores que los representarán serán cadenas de caracteres en letras mayúsculas. Por medio de los predicados podemos representar fórmulas atómicas como por ejemplo: HOMBRE(JUAN): Se entenderá que JUAN es un hombre. LIBRO(DONQUIJOTE): Don Quijote es un libro. HOMBRE(x): Significará que x es un hombre, siendo x una variable. MUJER(madre(JUAN)): La madre de JUAN es una mujer. PROPIEDAD(casa(JUAN), JUAN): La casa de JUAN es propiedad de JUAN. MAYOR(JUAN, CARLOS): Juan es mayor que Carlos. COMPRA(x, y, z): x compra y a z. DEPORTE(FUTBOL): El fútbol es un deporte. ESTRELLA(SOL): El Sol es una estrella. SATELITE(LUNA) : La luna es un satélite. VENDE(ACME, ARMAS, FIEL(cliente)) La empresa Acme vende armas a los clientes que le son fieles. ACME y ARMAS están como constantes. FIEL es un predicado y cliente es una variable, la cual puede ser reemplazada por cualquiera de los nombres de los clientes que compran asiduamente en Acme. Al estar el predicado FIEL dentro del predicado VENDE se considera a la expresión como molecular.

5 Operadores y Delimitadores Se utilizarán los siguientes operadores al igual que en la lógica proposicional, es decir,,,,,, y ; igualmente delimitadores como los paréntesis, y separadores como la coma, en expresiones moleculares como las siguientes: CIENTÍFICO(EINSTEIN) ALEMAN(EINSTEIN): Einstein fue un científico alemán. CULTURA(CIENCIA) ciencia debe apoyarse. APOYAR(CIENCIA): Si la ciencia es cultura entonces la AMA(ROMEO, JULIETA) AMA(JULIETA, ROMEO): Romeo y Julieta se aman, o mejor, dado el tiempo pasado en que sucedió, Romeo y Julieta se amaron, observe que en lógica de predicados hacemos abstracción del tiempo. SENTIMIENTO(AMOR) SUBLIME(AMOR): El amor es un sentimiento sublime. CIENCIA(LÓGICA) DISCIPLINA(LÓGICA): La lógica es ciencia o disciplina. DEPORTE(BOXEO) DECONJUNTO(BOXEO): El boxeo es un deporte que no es de conjunto. DEPORTE(BOXEO) BRUTAL(BOXEO): El boxeo es un deporte brutal. Todos los ejemplos dados hasta ahora conforman fórmulas singulares, ninguna está siendo cuantificada, como, si lo vamos a iniciar desde el siguiente párrafo. Cuantificación Universal. Utilizaremos para la cuantificación universal el símbolo en expresiones tales como x F(x) significará que para todo valor de la variable x la fórmula que se coloque a continuación será verdadera. Por ejemplo: xp(x): P es lo que se predica de x. Para todo x, x es P. xen_movimiento(x): Significa que todo está en movimiento, o también que dada cualquier cosa x, esta cosa está en movimiento, o también que dada cualquier x, x está en movimiento. x(estática(x) ENMOVIMIENTO(x)): Para toda x que es estática implica que no está en movimiento. x(materia(x) ENMOVIMIENTO(x)): Para toda x que es material implica que está en movimiento. x(deporte(x) x(plusvalía(x) SALUDABLE(x)): Todos los deportes son saludables. TRABAJO(x)): Toda plusvalía es trabajo.

6 x(trabajo(x) DEBESERPAGADO(x)): Todo trabajo debe ser pagado. x((elecciones(x) LIMPIAS(x)) FRAUDULENTAS(x)): Si las elecciones son limpias entonces no son fraudulentas. x(limpias(x) FRAUDULENTAS(x)): Limpias es lo contrario de fraudulentas. x(oso(x) x(animal(x) x(animal(x) ANIMAL(x)): Los osos son animales. OBJETOFISICO(x)): Los animales son objetos físicos. CEREBRO(cerebro(x)): Todos los animales tienen un cerebro. x((estrella(x) PLANETA(x) SATELITE(x)) ASTRO(x)) x y((conectado(x, y) (SEÑAL(x) = SEÑAL(y))): Si dos terminales están conectadas, entonces tienen la misma señal. x y(conectado(x, y) conmutativa. CONECTADO(y, x)): La expresión CONECTADO es x y z((vendedor(x) ARMA(y) CLIENTE(z) DELINCUENTE(z)) VENDE(x, y, z) DELITO(x): Es delito que un vendedor venda armas a un delincuente. x y(mayor(x, y)): x es mayor que y. En resumen, la cuantificación universal de un predicado P(x) es la proposición para todos los valores de x, P(x) es verdadera. Se supone que sólo se consideran los valores de x que tengan sentido en P(x). Si se desea restringir los valores de x, se puede escribir, por ejemplo, x > 0 o x R. La oración P(x): -(-x) = x es un predicado que tiene sentido para los números reales x. La cuantificación universal de P(x), xp(x), es una proposición verdadera, porque para todos los números reales -(-x) = x se cumple. Sea Q(x): x + 1 < 4. Entonces para x >= 0, Q(x) es una proposición falsa, porque Q(5) no es verdadera.

7 Cuantificación Existencial. Utilizaremos para la cuantificación existencial el símbolo, en expresiones como x, que significará que para algún valor de la variable x la fórmula que se coloque a continuación será verdadera. Por ejemplo: x(sabrosa(x)): Significa que algo es sabroso. x (COSA(x) ESTATICA(x)): Significa que algunas cosas no son estáticas x(deporte(x) DECONJUNTO(x)): Algunos deportes son de conjunto. x(deporte(x) DECONJUNTO(x)): Algunos deportes no son de conjunto. x(elecciones(x) FRAUDULENTAS(x)): Algunas elecciones son fraudulentas. x(elecciones(x) LIMPIAS(x)): Algunas elecciones no son limpias. En resumen, en las situaciones en que sólo se requiere que haya por lo menos un valor para el cual sea verdadero el predicado utilizamos la cuantificación existencial. Se pueden incluir restricciones al cuantificador, como por ejemplo en x>0. Sea Q(x): x+1<4. La cuantificación existencial de Q(x), xq(x), es una proposición verdadera, porque, por ejemplo, Q(2) es una proposición verdadera. La proposición y(y+2=y) es falsa. No hay ningún valor de y para el cual la función proposicional y+2=y produzca una proposición verdadera. Símbolo de Igualdad. La igualdad es un símbolo de predicado con un significado previamente definido, por ejemplo, en las siguientes expresiones: padre(aureliano_buendia) = JOSE_ARCADIO_BUENDIA madre(aureliano_buendia) = ÚRSULA_IGUARÁN x y(hermana(amaranta, x) HERMANA(AMARANTA, y) (x = y). Esta expresión da a entender que Amaranta tiene al menos dos hermanos. Estrategias de Formalización Para formalizar utilice las siguientes reglas, para tratar de ayudarse. Ahora, no hay ninguna regla definitiva para poder lograr este propósito. Lo que debe hacer es estudiar los ejemplos y principalmente hacer muchos ejercicios de formalización de pasajes lingüísticos: Entender y explicar el universo de discurso, si este no viene dado en el enunciado que se le propone. Establecer las claves o identificadores a manejar para la formalización.

8 Parafrasear el enunciado o enunciados del lenguaje natural, para aproximarlo al lenguaje lógico-formal. Fijarse en el orden de los términos de individuo(constantes y variables) que siguen a un predicado Establecer con claridad qué variables de individuo determina cada cuantificador, ayudándose de paréntesis y sin dejar variables libres. Veamos a continuación algunos ejemplos de casos. x y(padre(x, y) HIJO(y, x)): Para todo x y todo y, si x es el padre de y esto implica que y es hijo de x. x y(hermano(x, y) HERMANO(y, x)): Para todo x y todo y, si x es hermano de y implica que y es hermano de x. y x(amar(x, y)): Siempre hay alguien a quien todos aman. Existe un y, tal que, para todo x, x ama a y. x y(amar(x, y)): Todas las personas aman a alguien. Para todo x existe, al menos, un y, tal que x ama a y. x y(orbitar(x, y) (PLANETA(y) SATELITE(x)) En la representación del conocimiento, un dominio es un fragmento del mundo acerca del que deseamos expresar un determinado conocimiento. Veamos a continuación un dominio muy sencillo de unos lazos de parentesco en una familia: m h(esposo(h, m) HOMBRE(h) ESPOSA(m, h)) x(hombre(x) MUJER(x)) p h(padre(p, h) HIJO(h, p)) x y(hermano(x, y) HERMANO(y, x)) a n(abuelo(a, n) (PADRE(a, p) PADRE(p, n))