inteligencia artificiañ

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 unproducto 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 cocheentonces 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 ungobernante
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...