UNIVERSIDAD TECNICA DE MANABI

FACULTAD DE CIENCIAS INFORMATICAS

CARRERA DE INGENIERIA EN SISTEMAS INFORMATICOS
INTELIGENCIA ARTIFICIAL II
TRABAJO GRUPAL


TEMAS:
Sistemas de deduccin y reaccin

AUTORES:
Carreo Navia Galo Antonio
Carrillo Pisco Bryan Clemente
Castro Pin Miguel ngel
Morrillo Saltos John Jairo
Patio Garca Jhair Alexander


FECHA:
miercoles, 18 de junio 2014


PERIODO:
Mayo Octubre 2014


DOCENTE:
Ing. Hernn Vargas.


PORTOVIEJO MANAB ECUADOR


Sistemas de Deduccin
Los sistemas de deduccin pueden variar dependiendo del problema pero en general se
utiliza el mtodo de resolucin
Los lenguajes utilizados en IA como LISP y PROLOG tienen su propio motor de inferencia
y estn sujetos a reglas muy particulares.
Cul es la diferencia entre un hecho y una afirmacin?
Un hecho es algo que se considera verdadero, una afirmacin es una proposicin afirmativa
que necesita ser demostrada.
Ejemplos de reglas para identificar animales:
Z1 Si X tiene pelo entonces X es mamfero
Z2 Si X da leche entonces X es mamfero
Z3 Si X tiene plumas entonces X es ave
Z4 Si X vuela y X come carne entonces es mamfero
Z5 Si X es mamfero y X come carne entonces X es carnvoro
1

Disponemos de una base de conocimiento compuesta de reglas sobre clasicacin 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.
Demostracin: Una forma de demostrarlo es razonando hacia atrs

El problema inicial consiste en demostrar que el animal es una cebra. Por la regla 1, el
problema se reduce a demostrar que el animal es ungulado y tiene rayas negras. Por la regla
3, el problema se reduce a demostrar que el animal es mamfero, tiene pezuas y tiene rayas
negras. Por el hecho 1, el problema se reduce a demostrar que el animal tiene pezuas y
tiene rayas negras. Por el hecho 2, el problema se reduce a demostrar que el animal tiene
rayas negras. Que es cierto por el hecho 3.
Para resolver el problema anterior con Prolog tenemos que considerar las siguientes
cuestiones: (1) cmo se representan las reglas, (2) cmo se representan los hechos, (3)cmo
se representan las bases de conocimientos en Prolog, (4) cmo se inicia una sesin Prolog,
(5) cmo se carga la base de conocimiento, (6) cmo se plantea el objetivo a demostrar y
(7) cmo se interpreta la respuesta. Una vez resuelto, se plantean las siguientes cuestiones:
(8) cmo ha realizado Prolog la bsqueda de la demostracin, (9) cul es la demostracin
obtenida y (10) cmo se corresponde dicha demostracin con la anteriormente presentada


Sistema de deduccin de signos zodiacales
Objetivo:
Obtener el signo zodiacal de una persona a partir de la fecha de nacimiento de una persona:
Base de conocimiento en Prolog:
/* horoscopo(Signo,DiaIni,MesIni,DiaFin,MesFin) <- pertenecen al signo del horoscopo
Signo los nacidos entre el DiaIni del MesIni y el DiaFin del MesFin */
/*HECHOS*/
horoscopo(aries,21,3,21,4).
horoscopo(tauro,21,4,21,5).
horoscopo(geminis,21,5,21,6).
horoscopo(cancer,21,6,21,7).
horoscopo(leo,21,7,21,8).
horoscopo(virgo,21,8,21,9).
horoscopo(libra,21,9,21,10).
horoscopo(escorpio,21,10,21,11).
horoscopo(sagitario,21,11,21,12).
horoscopo(capricornio,21,12,21,1).
horoscopo(acuario,21,1,21,2).
horoscopo(piscis,21,2,21,3).
/* signo(Dia,Mes,Signo) <- los nacidos el Dia de Mes pertenecen al signo del zodiaco
Signo */
/*REGLAS*/
signo(Dia,Mes,Signo) :- horoscopo(Signo,D1,M1,D2,M2),( ( Mes=M1, Dia>=D1) ; (
Mes=M2, Dia=<D2) ).



Realizando las consultas en el SWI Prolog
Ingresamos la consulta:
signo(El_dia_de_nacimiento,El_mes_de_nacimiento_en_numeros, X). para deducir
el signo zodiacal a partir de los datos ingresados
















Sistemas de reaccin
Los sistemas de reaccin permiten inferir conocimiento a travs de una concatenacin de
reglas, las cuales pueden ser Progresivas o Regresivas.
Los sistemas de reaccin tratan de anclar consecuentes con antecedentes de las reglas
teniendo as sistemas ms inteligentes, lo que implica la ejecucin de acciones.
Ejemplo:
Si el paso es la verificacin de la orden
Papas fritas se van a empacar
No se va a empacar Pepsi
Entonces pregunte al cliente si no le gustara llevar una botella de Pepsi.


WEBGARFA
http://www.filosoficas.unam.mx/~Tdl/06-1/0525Ramos.ppt
http://www.cs.us.es/~jalonso/pub/2006-int_prolog.pdf