Documentos de Académico
Documentos de Profesional
Documentos de Cultura
4 enfoques
Sistemas que piensan como humanos: «El nuevo y excitante esfuerzo de hacer que los
computadores piensen... máquinas con mentes, en el más amplio sentido literal».
Sistemas que piensan racionalmente: «El estudio de las facultades mentales mediante el uso
de modelos computacionales»
Sistemas que actúan como humanos: «El arte de desarrollar máquinas con capacidad para
realizar funciones que cuando son realizadas por personas requieren de inteligencia».
Sistemas que actúan racionalmente: «La Inteligencia Computacional es el estudio del diseño de
agentes inteligentes»
Ciencia que se encarga del estudio de la conducta inteligente.
Areas IA: Robótica, Redes Neuronales Artificiales, Sistemas Expertos, Visión Computacional.
Aplicaciones IA:
Planificación autónoma: el programa de la NASA Agente Remoto se convirtió en el primer
programa de planificación autónoma a bordo que controlaba la planificación de las operaciones
de una nave espacial desde abordo.
Juegos Deep Blue de IBM fue el primer sistema que derrotó a un campeón mundial en una
partida de ajedrez cuando superó a Garry Kasparov por un resultado de 3.5 a 2.5
Robótica: muchos cirujanos utilizan hoy en día asistentes robot en operaciones de microcirugía.
Diagnóstico: los programas de diagnóstico médico basados en el análisis probabilistico han
llegado a alcanzar niveles similares a los de médicos expertos.
Agentes Reactivos Basados en Modelos: La forma más efectiva que tienen los agentes de
manejar la visibilidad parcial es almacenar información de las partes del mundo que no pueden
ver. El agente debe mantener algún tipo de estado interno que dependa de la historia percibida
y que de ese modo refleje por lo menos alguno de los aspectos no observables del estado
actual.
Agentes Basados en Objetivos: El conocimiento sobre el estado actual del mundo no es
siempre suficiente para decidir qué hacer. Por ejemplo, en un cruce de carreteras, el taxista
puede girar a la izquierda, girar a la derecha o seguir hacia adelante. La decisión correcta
depende de dónde quiere ir el taxi. En otras palabras, además de la descripción del estado
actual, el agente necesita algún tipo de información sobre su meta que describa las situaciones
que son deseables, por ejemplo, llegar al destino propuesto por el pasajero.
Agentes Basados en Utilidad: Las metas por si solas no son realmente suficientes para generar
comportamiento de gran calidad. Las metas sólo proporcionan una distinción binaria entre los
estados de «felicidad» y «tristeza», mientras que una medida de eficiencia debería permitir una
comparación entre estados del mundo diferentes de acuerdo al nivel exacto de felicidad
Agentes que aprenden: En muchas áreas de IA, éste es ahora el método más adecuado para
crear sistemas novedosos. El aprendizaje tiene otras ventajas, permite que el agente opere en
medios inicialmente desconocidos y que sea más competente que si sólo utilizase un
conocimiento inicial.
siguiente(e(2,_),V,V,N,N).
siguiente(e(_,2),V,V,N,N).
siguiente(e(X,Y),V,R,M,N):- accion(e(X,Y),e(Xs,Ys),Msj),
not(pertenece(e(Xs,Ys),V)),
siguiente(e(Xs,Ys),[e(Xs,Ys)|V],R,[Msj|M],N).
pertenece(X,[X|_]).
pertenece(X,[_|C]):- pertenece(X,C).
%llenar 4L
accion(e(X,Y),e(4,Y),'llenar 4L'):- X < 4.
%llenar 3L
accion(e(X,Y),e(X,3),'llenar 3L'):- Y < 3.
%vaciar 4L
accion(e(X,Y),e(0,Y),'vaciar 4L'):- X > 0.
%vaciar 3L
accion(e(X,Y),e(X,0),'vaciar 3L'):- Y > 0.
%vertir 4 a 3, 4 queda vacio
accion(e(X,Y),e(0,Z),'vertir 4 en 3'):- X > 0,
Y < 3,
Z is X + Y,
Z =<3.
%vertir 4 a 3, 3 queda lleno
accion(e(X,Y),e(Z,3),'vertir 4 en 3'):- X > 0,
Y < 3,
Z is X + Y - 3,
Z >=0.
%vertir 3 a 4, 3 queda vacio
accion(e(X,Y),e(Z,0),'vertir 3 en 4'):- X < 4,
Y > 0,
Z is X + Y,
Z =<4.
%vertir 3 a 4, 4 queda lleno
accion(e(X,Y),e(4,Z),'vertir 3 en 4'):- X < 4,
Y > 0,
Z is X + Y - 4,
Z >=0.
GRANJERO
%accion(estado(Gra,Zorro,Gall,Maiz),estado(1,Z,1,M)).
estadoMalo(estado(0,1,1,_)).
estadoMalo(estado(0,_,1,1)).
estadoMalo(estado(1,0,0,_)).
estadoMalo(estado(1,_,0,0)).
accion(estado(0,0,G,M), estado(1,1,G,M)).
accion(estado(1,1,G,M), estado(0,0,G,M)).
accion(estado(0,Z,0,M), estado(1,Z,1,M)).
accion(estado(1,Z,1,M), estado(0,Z,0,M)).
accion(estado(0,Z,G,0), estado(1,Z,G,1)).
accion(estado(1,Z,G,1), estado(0,Z,G,0)).
accion(estado(1,Z,G,M), estado(0,Z,G,M)).
accion(estado(0,Z,G,M), estado(1,Z,G,M)).
pertenece(X,[X|_]):-!.
pertenece(X,[_|L]):-pertenece(X,L).
camino(estado(1,1,1,1),V,V).
camino(Estado,Visitado,R):-accion(Estado,NuevoEstado), not(estadoMalo(NuevoEstado)),
not(pertenece(NuevoEstado,Visitado)),
camino(NuevoEstado,[NuevoEstado|Visitado],R).
solucion(L):-camino(estado(0,0,0,0),[estado(0,0,0,0)],L).
COMECOCOS
% ejecutar: solucion(L).
estadomalo(e(1,1)). estadomalo(e(1,4)). estadomalo(e(1,8)).
estadomalo(e(2,1)). estadomalo(e(6,4)). estadomalo(e(3,8)).
estadomalo(e(3,1)). estadomalo(e(8,4)). estadomalo(e(4,8)).
estadomalo(e(4,1)). estadomalo(e(11,4)). estadomalo(e(5,8)).
estadomalo(e(5,1)). estadomalo(e(11,8)).
estadomalo(e(6,1)). estadomalo(e(1,5)).
estadomalo(e(7,1)). estadomalo(e(2,5)). estadomalo(e(1,9)).
estadomalo(e(8,1)). estadomalo(e(3,5)). estadomalo(e(3,9)).
estadomalo(e(9,1)). estadomalo(e(4,5)). estadomalo(e(7,9)).
estadomalo(e(10,1)). estadomalo(e(8,5)). estadomalo(e(8,9)).
estadomalo(e(11,1)). estadomalo(e(9,5)). estadomalo(e(9,9)).
estadomalo(e(11,5)). estadomalo(e(11,9)).
estadomalo(e(3,2)).
estadomalo(e(11,2)). estadomalo(e(1,6)). estadomalo(e(1,10)).
estadomalo(e(2,6)). estadomalo(e(3,10)).
estadomalo(e(1,3)). estadomalo(e(4,6)). estadomalo(e(4,10)).
estadomalo(e(3,3)). estadomalo(e(5,6)). estadomalo(e(5,10)).
estadomalo(e(4,3)). estadomalo(e(6,6)). estadomalo(e(6,10)).
estadomalo(e(5,3)). estadomalo(e(7,6)). estadomalo(e(7,10)).
estadomalo(e(6,3)). estadomalo(e(8,6)). estadomalo(e(8,10)).
estadomalo(e(8,3)). estadomalo(e(11,6)). estadomalo(e(9,10)).
estadomalo(e(9,3)). estadomalo(e(10,10)).
estadomalo(e(11,3)). estadomalo(e(1,7)). estadomalo(e(11,10)).
estadomalo(e(7,7)).
estadomalo(e(8,7)).
estadomalo(e(10,7)).
estadomalo(e(11,7)).
%subir
accion(e(X,Y),e(X,Z)):- Z is Y+1,
Y<10.
%bajar
accion(e(X,Y),e(X,Z)):- Z is Y-1,
Y>1.
%atras
accion(e(X,Y),e(Z,Y)):- Z is X-1,
X>1.
%adelante
accion(e(X,Y),e(Z,Y)):- Z is X+1,
X<11.
pertenece(X,[X|_]).
pertenece(X,[_|C]):-pertenece(X,C).
siguiente(e(2,10),V,V).
siguiente(Estadoactual,V,L):-accion(Estadoactual,Estadonuevo),
not(estadomalo(Estadonuevo)),
not(pertenece(Estadonuevo,V)),
siguiente(Estadonuevo,[Estadonuevo|V],L).
solucion(L):-siguiente(e(1,2),[e(1,2)],L).