• Author / Uploaded
• Yuridiana Margalli

Citation preview

INTELIGENCIA ARTIFICIAL Representación del conocimiento 1. Traza una red semántica para los siguientes hechos HECHOS: - Miguel tiene un coche - Miguel le presta su coche a Carmen - Después Carmen le presta el coche a Manuel - Esto provoca que Miguel se enfade con Carmen     REPRESENTACIÓN  EN  PROLOG:     Parte_de(Coche, Miguel) Prestar_coche(Miguel, Carmen) Prestar_coche(Carmen, Manuel) Enfadar(Miguel, Carmen) MÁS HECHOS: - El coche de Miguel es de la marca Pontiac - Los Pontiac son coches - Los coches son vehículos - Los coches tienen sistema eléctrico - Los sistemas eléctricos tienen batería - Las baterías tienen ácido - El ácido es un producto químico   REPRESENTACIÓN  EN  PROLOG:     Es_un(Parte_de(Coche, Miguel), Pontiac) Es_un(Pontiac, Coche) Es_un(Coche, Vehículo) Parte_de(S.electrico, Coche) Parte_de(Bateria, S.electrico) Parte_de(Ácido, Bateria) Es_un(Ácido, p.químico)

Representa el conocimiento que resuelva las siguientes preguntas 1. 2. 3. 4.

¿El coche de Miguel es un vehículo? ¿El coche de Miguel tiene sistema eléctrico? ¿El coche de Miguel tiene batería? ¿El coche de Miguel tiene un producto químico?

REPRESENTACIÓN EN LÓGICA PROPOSICIONAL Premisas

Reglas de inferencias

1.Si es coche entonces es vehículo Si Miguel tiene un coche

P→Q P

:. Coche de Miguel es un vehiculo

:. Q

(Modus ponens)

2.Si es coche entonces tiene sistema eléctrico Si Miguel tiene un coche :. Coche de Miguel tiene sistema eléctrico

P→Q P :. Q (Modus ponens)

3.Si es coche entonces tiene sistema eléctrico

P → Q

Si tiene sistema eléctrico entonces tiene batería

Q→R

:. Coche de Miguel tiene batería

:. P → R (ley del silogismo)

4.Si es coche entonces tiene sistema eléctrico

P→Q

Si tiene sistema eléctrico entonces tiene batería

Q→R

Si tiene batería entonces tiene ácido

R → S

Si tiene acido entonces es producto químico

S → T

:. Coche de Miguel tiene producto químico

:. P → T (ley del silogismo)

REGLAS EN PROLOG PARA CONTESTAR AFIRMATIVAMENTE LAS PREGUNTAS - ¿El coche de Miguel es un vehículo? Es_un(Parte_de(C, P), V) :- Es_un(C, V), Parte_de(C, P). - ¿El coche de Miguel tiene sistema eléctrico? Parte_de(S, Parte_de(C, P)) :- Parte_de(S, C), Parte_de(C, P). - ¿El coche de Miguel tiene batería? Parte_de(B, Parte_de(C, P)) :- Parte_de(S, C), Parte_de(C, P), Parte_de(B, S). - ¿El coche de Miguel tiene un producto químico? Parte_de(Q, Parte_de(C, P)) :- Es_un(A, Q), Parte_de(A, B), Parte_de(B, S), Parte_de(S, C), Parte_de(C, P).

2. Traza una red semántica para los siguientes hechos HECHOS es_un(elefante_circense, elefante). tiene_parte(elefante, cabeza). tiene_parte(elefante, trompa). tiene_parte(cabeza, boca). es_un(elefante, animal). tiene_parte(animal, corazón). es_un(elefante_circense, acróbata). tiene_parte(acróbata, disfraz). es_un(disfraz, ropa).

Representa el conocimiento que resuelva las siguientes preguntas Es decir, ¿Qué reglas generales se requieren añadir para que el sistema pudiera contestar afirmativamente a las siguientes preguntas?

- ¿ es_un(elefante_circense, animal) ? - ¿ tiene_parte(elefante_circense, corazón) ? - ¿ tiene_parte(elefante_circense, boca) ? - ¿ tiene_parte(elefante_circense, ropa) ?

1. LÓGICA DE PREDICADOS DE 1ER. ORDEN Considérense los siguientes hechos y representa en lógica de predicados cada uno de ellos. i. Marco era un hombre ii. Marco era un Pompeyano iii. Todos los Pompeyanos eran Romanos iv. César fue un gobernante v. Todos los Romanos o eran leales a César o le odiaban vi. Todo el mundo es leal a alguien vii. La gente sólo intenta asesinar a los gobernantes a los que no es leal viii. Marco intentó asesinar a César ix. Todos los hombres son personas CLAUSULAS Hombre(x) = x es un hombre Pompeyano(x) = x es un pompeyano Gobernante(x) = x es un gobernante Romano(x) = x es un romano Leal(x,y) = x es leal a y Odia(x,y) = x odia a y Persona(x) = x es una persona Intenta_asesinar(x,y) = x intenta asesinar a y. PREDICADOS i. ii. iii. iv. v. vi. vii. viii. ix.

Hombre(Marco) Pompeyano(Marco) ∀x [Pompeyano(x) → Romano(x)] Gobernante(César) ∀x [Romano(x) → Leal(x, César) V Odia(x, César)] ∀x∃y Leal(x,y) ∀x∀y [(Persona(x) Ʌ Gobernante(y) Ʌ Intenta_asesinar(x, y) ) → ¬(Leal(x, y)] Intenta_asesinar(Marco, César) ∀x [Hombre(x) → Persona(x)]

Demuestra que: 1. Leal(Marco, César) 2. ¬Leal(Marco, César)

3. Odia(Marco, César)

LÓGICA PROPOSICIONAL 2.

Considera cada uno de los siguientes argumentos, si el argumento es válido, identifica la regla de inferencia que establece su validez. Si no, indica si el error se debe a un intento de argumentación por la recíproca o por la inversa. i.

- Javier puede programar en Pascal y puede programar en C. - Por lo tanto, Javier puede programar en Pascal

ii.

eliminación

p∧q :. p

- Si el programa de Beatriz es correcto, podrá terminar su tarea de algoritmos en menos de dos horas. p→q

¬q :¬p

- Beatriz tarda más de dos en terminar su tarea de algoritmos. - Por lo tanto, el programa de Beatriz es incorrecto.

iii.

modus tollens

- Las llaves del auto de Cristina están en su bolso o sobre la mesa de la cocina. - Las llaves del auto de Cristina no están sobre la mesa de la cocina - Por lo tanto, las llaves del auto de Cristina están en su bolso.

iv.

silogismo disyuntivo

- Si Filiberto recibe su aguinaldo, viajará a Monterrey.

ley del

- Si Filiberto viaja a Monterrey, entonces visitará el Parque Chipinque.

silogismo

- Por lo tanto, Si Filiberto recibe su aguinaldo, visitará el Parque Chipinque.

p∨q ¬q :. p q q→ r :. p → r p→

v.- Cualquiera que pueda programar es inteligente - Juan puede programar :. Juan es inteligente vi.- Si hay energía eléctrica, computadora trabajará - Hay energía eléctrica :. La computadora trabajará vii.- Si hay aire puedo volar mi cometa - No puedo volar mi cometa :. No hay aire viii.- Deseo comer frutas o comer ensaladas - No hay ensaladas :. Comeré frutas ix.- Si hay aire puedo volar mi cometa - Si está nevando puedo esquiar - No puedo esquiar o no puedo volar mi cometa ;. No hay aire o no está nevando

3.

Escriba cada una de las siguientes proposiciones en términos de p, q, r y de palabras de unión lógicas. i. Estoy despierto implica que trabajo duramente. ii. Sueño con mi hogar solamente si estoy despierto iii. Trabajar duramente me basta para estar despierto

iv. Me es necesario estar despierto para no soñar con mi hogar. 4.

Escriba cada una de las siguientes proposiciones en términos de p, q, r y de palabras de unión lógicas. i. No estoy despierto si y sólo si sueño con mi hogar ii. Si sueño con mi hogar, entonces estoy despierto y trabajo duramente. iii. No trabajo duramente sólo si estoy despierto y no sueño con mi hogar. iv. No estar despierto y soñando con mi hogar me basta para trabajar duramente.

5.

Enuncia la contraposición de las siguientes implicaciones. v. Si 2 +2 = 4, entonces yo no soy la reina de Inglaterra vi. Si no soy Presidente de los Estados Unidos, entonces caminaré a mi trabajo. vii. Si ya se me hizo tarde, entonces no tomé el tren para mi trabajo.

6.

Sean p, q y r las siguientes proposiciones: p: estudiare matemática discretas; q: Iré a un cine; r: Estoy de buen humor. Escriba las siguientes proposiciones en términos de p, q, r y de conectivos lógicos viii. Si no estoy de buen humor, entonces iré a un cine ix. No iré a un cine y estudiaré matemáticas discretas. x. Iré a un cine sólo si no estudio matemáticas discretas. xi. Si no estudio matemáticas discretas, entonces no estoy de buen humor.

7.

Escriba cada una de las siguientes proposiciones en términos de p, q, r y de palabras de unión lógicas. xii. Todos los números primos solamente son divisibles entre 1 y entre si mismo xiii. algunos impares son primos xiv. algún par es primo xv. el cero no es primo xvi. todos los primos son secuencia de otro primo

8. Considera el siguiente sistema de producción (horno estropeado) y analiza las siete reglas. Al ejecutar un encadenamiento hacia adelante con valores verdaderos para la base de hechos siguiente, ¿qué regla/s aplican o disparan? y ¿cuál es el resultado o salida del sistema de producción? Base de hechos (es decir, son valores verdaderos si se pregunta por ellos) problema(horno) ¬encendedor(averiado) salida(limpia) REGLA 1: Verificar si los quemadores de la cocina están rotos IF problema(quemadores) and quemador(X,roto)

THEN (print ’El quemador X no funcionan. Debe ser remplazado’), ¬problema(quemadores)

REGLA 2: Verifica los reguladores de los quemadores IF problema(quemadores) and ¬quemador(X,roto) and regulador(X,averiado) THEN (print ’Sustituya el regulador del quemador X probablemente, el agua ha penetrado en el causando un corto circuito.’), ¬problema(quemadores)

REGLA 3: Verifica la unidad de electrodos del quemador IF problema(quemadores) and ¬quemador(X,roto)