Actividades y Ejercicios

INTELIGENCIA ARTIFICIAL3ra. UNIDAD

BASE DE CONOCIMIENTOS
Resuelve el siguiente ejercicio:
Disponemos de una base de conocimiento compuesta de reglas sobre clasificacin
de animales y hechos sobre caractersticas de un animal.
Regla 1: Si un animal es ungulado y tiene rayas negras, entonces es una cebra.
Regla 2: Si un animal rumia y es mamfero, entonces es ungulado.
Regla 3: Si un animal es mamfero y tiene pezuas, entonces es ungulado.
Hecho 1: El animal es mamfero.
Hecho 2: El animal tiene pezuas.
Hecho 3: El animal tiene rayas negras.
Demostrar a partir de la base de conocimientos que el animal es una cebra.
Enva tu archivo a travs de este medio.

BASE DE CONOCIMIENTO
Para representar una regla, se empieza por elegir los smbolos para los tomos
que aparecen en la regla. Para la regla 1, podemos elegir los smbolos
es_ungulado, tiene_rayas_negras yes_cebra
Usando las conectivas lgicas la expresin se escribe mediante la frmula:
Para representar la base de conocimiento en Prolog, se escribe en un fichero (por
ejemplo,animales.pl) cada una de las reglas y los hechos.

1 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,

Al lado de cada regla y de cada hecho se ha escrito un comentario (desde % hasta

el final de lalnea).
Para iniciar una sesin de Prolog (con SWIProlog) se usa la orden pl. La base de
conocimientose carga en la sesin Prolog escribiendo el nombre entre corchetes y
terminado en un punto. Lapregunta se plantea escribiendo el tomo y un punto.

La respuesta Yes significa que ha demostrado que el animal es una

cebra.Podemos ver cmo Prolog ha obtenido la demostracin mediante el rbol de
deduccin de la siguiente figura:

2 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,

Podemos observar que el rbol tiene dos ramas: una rama de fallo (su hoja es
novaca y su primer tomo no coincide con la cabeza de ninguna regla) y una rama
dexito (su hoja es vaca).
A partir de la rama de xito podemos extraer la siguiente demostracin (por
resolucinSLD):

Leda en sentido contrario, y con notacin lgica, se obtiene la siguiente

demostracin:

3 INGENIERIA DE SISTEMAS E INFORMATICA

Edwin Antonio

Alumno : Castro Rosado,