Sei sulla pagina 1di 4

Ejercicios de clculo de

predicados

1. Sean los siguientes elementos de una ontologa en Geometra Afn:
Puntos: P, Q,
Objetos Geomtricos: r, s (rectas) y
1
,
2
(planos).
Predicado: Pertenece
2

o Es la nica relacin definida, la cual toma dos argumentos.
arg1: Punto
arg2: Objeto Geomtrico.

Consideremos el siguiente problema:

La recta r es la interseccin de los planos
1
y
2
. La recta s est contenida en
2
y P
est simultneamente en s y en
1
. Demostrar que r y s se cortan usando
exclusivamente elementos de la ontologa. De qu punto se trata?

2. Utilizando lgica proposicional e inferencia (no se permite utilizar razonamiento en
lenguaje natural), resolved el siguiente enigma:

En el senado romano se dijo:
(I) Marco Antonio: "Fue Casio o Bruto."
(II) Casio: "Yo no lo hice. Marco Antonio miente"
(III) Bruto: "Yo no lo hice"

Se asume que los romanos que mienten siempre mienten, que los romanos que dicen la
verdad siempre dicen la verdad, y que slo uno de ellos dice la verdad. Quin lo hizo?
Quin dice la verdad?

3. Considerad las siguientes FBF
x y Quiere(x, y) (I)
y x Quiere(x, y) (II)

a) Son iguales ambas frmulas? Demostrad si lo son o no traducindolas a
lenguaje natural.
b) Comprobad si (I) (II).
c) Comprobad si (II) (I).

4. Utilizando el truco de Green mediante los mtodos de razonamiento formal de
lgica de predicados, resuelva el siguiente acertijo

La abuela de Laura conduce un descapotable rojo. La nica persona que Laura
conoce y que conduce un coche rojo es Antonia. Quin es la abuela de Laura?

Se dispone de las siguientes funciones y predicados
funciones: abuela
1
predicados: Descapotable
1
, Coche
1
, Rojo
1
, Conoce
2
, Conduce
2

Slo se considerarn vlidas respuestas que utilicen razonamiento formal con los
pasos detallados y explicados.

Ejercicios de clculo de
predicados

5. Es el siguiente razonamiento correcto? Se pide traducir a frmulas bien formadas
y aplicar reglas de inferencia para verificar si es correcto.
O la lgica es difcil o no le gusta mucho a los alumnos. Si las matemticas son
fciles entonces la lgica no es difcil. En consecuencia, si a los alumnos les gusta
mucho la lgica es que las matemticas no son fciles.

6. Dada la base de conocimiento
{ } , , , , , P Q L M Q S T S T L X P Q M P

Se pide demostrar por encadenamiento hacia atrs, caso de que sea posible, si
| X =

7. Considera las siguientes equivalencias entre predicados:
; ; LE G E > =

Se pide:

a. Transcribe a lenguaje de lgica de predicados las siguientes sentencias,
indicando los conjuntos de clusulas resultantes.
i. Si x y y y z entonces no es x z >
ii. x y si y slo si y x > o x y =
iii. Para cada x existe un y tal que x y
iv. Entonces x x para todo x
b. Existe un umg para las clusulas resultantes de iii) y iv)?

8. La figura siguiente muestra el esquema de un semisumador de 2 bits. Existen dos
lneas de entrada (1 y 2) y dos lneas de salida (1 y 2). Internamente, las lneas se
combinan a travs de sendas puertas lgicas.



Objetos: Circuito (C1), puertas lgicas (X1, A1) y lneas de conexin
Funcin Tipo
1
:
Recibe el identificador de puerta lgica empleado.
Devuelve el tipo de puerta.
Ejercicios de clculo de
predicados

Ejemplo: Para el circuito de la figura el siguiente predicado evala a T
Tipo(A1) = AND

Funcin Entrada
2
:
Recibe el identificador de la lnea de entrada y el identificador de la puerta
lgica/circuito.
Devuelve el valor de dicha entrada.
Funcin Salida
2
:
Recibe el identificador de la lnea de salida y el identificador de la puerta
lgica/circuito.
Devuelve el valor de dicha salida.
Funcin ValorDeSeal
1

Recibe lnea.
Devuelve el valor de la lnea.
Predicado Conectado
2
:
Recibe dos lneas.
Devuelve {T, F}.

Observacin: Para el predicado igualdad se asumen sus propiedades bsicas
(transitividad, conmutatividad, etc.).
Ejemplo: Para el circuito de la figura los siguientes predicados evalan a T
Conectado(Entrada(1,C1), Entrada(1,A1))
Conectado(Salida(1,A1), Salida(2,C1))

Se pide:
a) A partir de los elementos anteriores codificad el dominio de conocimiento siguiente:
Ejemplo:
Toda puerta OR cumple que la seal de salida de dicha puerta es 1 si y solo si alguna
de las dos seales de entrada a la puerta vale 1.
g Tipo(g)=OR ValorDeSeal(Salida(1,g))=1
(ValorDeSeal(Entrada(1,g))=1 ValorDeSeal(Entrada(2,g))=1)
1) Toda seal puede tomar slo dos valores: 0 1.
2) Cualesquiera lneas conectadas entre s tienen el mismo valor de seal.
3) El predicado Conectado
2
es conmutativo para cualesquiera lneas.
4) Toda puerta AND cumple que el valor de la seal de salida de la puerta es 1 si y
solo si las dos seales de entrada a la puerta valen 1.
5) Toda puerta XOR cumple que el valor de la seal de salida de la puerta es 1 si y
solo si las dos seales de entrada a la puerta difieren entre s.

Con el dominio de conocimiento obtenido en el apartado anterior se pide:
b) Definir los tipos de las puertas lgicas del semisumador.
c) Definir las instancias de los predicados que representan las conexiones de entrada y
salida entre lneas de las puertas que componen el semisumador.
Ejemplo: Para el circuito de la figura se cumple:
Conectado(Entrada(1,C1), Entrada(1,A1))
Conectado(Salida(1,A1), Salida(2,C1))
d) Sabiendo que
1) ValorDeSeal(Entrada(1,C1)) = 1
Ejercicios de clculo de
predicados

2) ValorDeSeal(Entrada(2,C1)) = 1
Deducir mediante modus ponens y/o reglas de equivalencia (sin emplear resolucin)
los valores de las salidas del semisumador ValorDeSeal(Salida(1,C1)) y
ValorDeSeal(Salida(2,C1)).
[tomado y adaptado de http://aima.eecs.berkeley.edu/slides-ppt/]

Potrebbero piacerti anche