Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap7 C Lculopredicados PDF
Cap7 C Lculopredicados PDF
ESCRIBIR(VOLTAIRE, CANDIDO)
Para representar una oración del lenguaje corriente por una fórmula
atómica, generalmente el predicado se identifica con el verbo de la fase, y los
términos con el sujeto u objeto del verbo. Es común tener varias alternativas de
representación de oración. Por Ejemplo, la oración “la casa es amarilla” se puede
representar por un predicado de un término, como AMARILLO(CASA1), o de dos
términos, como COLOR(CASA1, AMARILLO), o de tres términos, como en
CARACTERISTICA(COLOR, CASA1, AMARILLO), etc. El diseñador de una
representación elige el alfabeto de predicados y términos que usará, y define lo
que significa cada uno de ellos.
Por ejemplo:
7.2. Conectivos
Toda conjunción de fbfs también es una fbf. Algo similar ocurre con ∨'s,
las cuales se denominan Disyunciones. El conectivo "⇒" se usa para
representar afirmaciones tipo "si-entonces". Por ejemplo, la oración "si el auto
es de Juan, entonces es verde" se puede representar como:
7.3. Cuantificadores
( ∃ x)ESCRIBIR(x, AJEDREZ_COMPUTACIONAL)
Las fbf que tienen todas las variables limitadas se denominan Oraciones
(o Fórmula Bien Formada Cerrada).
1. (∃x){(∀y )[( P( x, y ) ∧ Q( x, y )) ⇒ R( x) ]}
2. ~ (∀q){(∃x[P(x) ∨ R(q)]}
Usamos los símbolos “[“, “{“ y “(“ para delimitar o agrupar los
componentes de las fbfs, para "mejorar y simplificar su lectura" y eliminar
cualquier ambigüedad.
1. f [ P(A) ]
2. A∨ ~⇒ (∀ ~)
Dada una interpretación, los valores de verdad de una fbf (excepto las
reglas que contienen cuantificadores) pueden ser computadas con las reglas
antes descritas. Cuando los valores de verdad se obtienen de esta forma,
estamos usando un método de tablas de verdad.
Si los valores de verdad de dos fbf son iguales (para todas las
interpretaciones) se dice que son Equivalentes.
Las propiedades (*) muestran que las variables son arbitrarias y pueden
ser reemplazadas por cualquier símbolo que no esté ya en la expresión.
7.5. Ejemplos
1) "Cada ciudad tiene un perrero que ha sido mordido por todos los perros de la
ciudad"
(∀x ){CIUDAD (x ) ⇒ (∃y ){PERRERO ( x, y ) ∧ (∀z ){[PERRO (z ) ∧ VIVE _ EN (x, z )] ⇒ MORDIDO ( y, z )}}}
2) "Para todo conjunto x existe un conjunto y, tal que la cardinalidad de y es
mayor que la cardinalidad de x".
(∀x ){CONJ (x ) ⇒ (∃y )(∃u )(∃v)[CONJ ( y ) ∧ CARD ( x, u ) ∧ CARD ( y, v) ∧ MAY (v, u )]}
3) "Todos los bloques que están sobre bloques que han sido movidos, o que
están pegados a bloques que han sido movidos, también han sido movidos".
(∀x )(∀y){{BLOQ ( x) ∧ BLOQ ( y ) ∧ [SOBRE (x, y ) ∨ PEGAD ( x, y)] ∧ MOVIDO( y )} ⇒ MOVIDO( x)}
7.7. Unificación
1) s1 = {z/x, w/y}
2) s2 = {A/y}
3) s3 = {g(z)/x, A/y}
4) s4 = {C/x, A/y}
{g(x,y)/z}{A/x, B/y, C/w, D/z} = {g(A, B)/z, A/x, B/y, C/w, D/z}.
(Ls1)s2 = L(s1s2).
(s1s2)s3 = s1(s2s3).
7.8. Validación
7.9. Resolución
(∀x ){P(x ) ⇒ {(∀y )[P(y ) ⇒ P(f (x, y ))]∧ ~ (∀y )[Q(x, y ) ⇒ P(y )]}}.
El proceso de conversión consta de las etapas siguientes:
(∀x ){~ P(x ) ∨ {(∀y )[~ P(y ) ∨ P(f (x, y ))]∧ ~ (∀y )[~ Q(x, y ) ∨ P(y )]}}
2) Reducir el alcance de “~”:
(∀x ){~ P(x ) ∨ {(∀y )[~ P(y ) ∨ P(f (x, y ))] ∧ (∃y ) ~ [~ Q(x, y ) ∨ P(y )]}}
(∀x ){~ P(x ) ∨ {(∀y )[~ P(y ) ∨ P(f (x, y ))] ∧ (∃y )[Q(x, y )∧ ~ P(y )]}}
3) Estandarización de Variables:
(∀x ){~ P(x ) ∨ {(∀y )[~ P(y ) ∨ P(f (x, y ))] ∧ (∃w )[Q(x, w )∧ ~ P(w )]}}.
4) Eliminar “∃” (cuantificadores existenciales):
Considere la fbf: (∀y) [(∃x) P(x,y)]. Puede leerse como “para todo y,
existe un valor x (posiblemente dependiente de y) tal que P(x, y ) . Nótese
que por estar el “∃” dentro del alcance de “∀”, existe la posibilidad que x
dependa del valor de y. Si hacemos explícita esa dependencia, podemos
establecer una función g(y) que mapea cada valor de y en un x “existente”
(“∃”). Una función así definida se denomina Función de Skolem. Aplicando
Skolem, reemplazamos el cuantificador existencial, y la expresión se
convierte en (∀y) P[g(y),y].A esto se le suele llamar “eskolemizar”.
[(∀w )Q(w )] ⇒ (∀x ){(∀y )[P(x, y, g(x, y )) ⇒ (∀u )R (x, y, u, g(x, y ))]}
Si no hay variables que tengan cuantificadores universales dentro del
alcance de “∃”, usamos una función Skolem sin argumentos (es decir,
una constante). Así, (∃x )P(x ) queda como P(A), en que A se refiere a la
entidad que sabemos existe (usar símbolo de constante nuevo). Siguiendo
con el ejemplo que veníamos elaborando, queda:
(∀x ){~ P(x ) ∨ {(∀y )[~ P(y ) ∨ P(f (x, y ))] ∧ [Q(x, g(x ))∧ ~ P(g(x ))]}} ,
, en donde g(x) es una función de Skolem.
(∀x )(∀y ){~ P(x ) ∨ {[~ P(y ) ∨ P(f (x, y ))] ∧ [Q(x, g(x ))∧ ~ P(g(x ))]}}
6) Poner la matriz de “forma conjuntiva normal”:
Para llegar a esta forma podemos utilizar las reglas distributivas, por
ejemplo. En el ejemplo:
(∀x )(∀y ){[~ P(x ) ∨ [~ P(y ) ∨ P(f (x, y ))]] ∧ [~ P(x ) ∨ [Q(x, g(x ))∧ ~ P(g(x ))]]};
(∀x )(∀y ){[~ P(x )∨ ~ P(y ) ∨ P(f (x, y ))] ∧ [~ P(x ) ∨ Q(x, g(x ))] ∧ [~ P(x )∨ ~ P(g(x ))]}.
7) Eliminar “∀”:
8) Eliminar “∧”:
{ P ( x )∨ P ( y ) ∨ P [ f ( x, y ) ] , P ( x ) ∨ Q [ x, g ( x ) ] , P ( x ) ∨ P( g ( x))}
Para usar estas simples reglas cuando las cláusulas contienen variables
hay que trabajar con las sustituciones adecuadas.
“Antonio, Miguel y Juan pertenecen al Club Alpino. Todos los miembros del
Club Alpino son esquiadores, escaladores o ambos. A ningún escalador le
gusta la lluvia, y a todos los esquiadores les gusta la nieve. A Miguel le
disgusta todo aquello que le gusta a Antonio, y le gusta todo lo que a Antonio le
disgusta. A Antonio le gusta la lluvia y la nieve. ¿Existe algún miembro del Club
Alpino que sea escalador pero no esquiador? ¿Quién?"
Tabla 7.3. Reformulación del problema del Puzzle del Club Alpino utilizando
cláusulas entre los predicados.
1) Eliminar “⇒”:
8) Eliminar “∧”.
9) Como última etapa, se cambian las variables, para que no se repitan en las
expresiones. Así, las fórmulas se han transformado a su forma normal.
Por otro lado, no existe una manera clara de encontrar la solución. Mejor
dicho, instintivamente se debe relacionar las fbfs obtenidas para poder tratar de
encontrar una solución.
Figura 7.2. Árbol de refutación desarrollado para obtener la solución del problema del Puzzle
del Club Alpino