INTELIGENCIA ARTIFICIAL

Universidad Nacional Mayor de San Marcos

Facultad de Ingeniera de Sistemas e Inorm!tica
Semestre "#$"%"
Rolando A. Maguia Prez

Introducci&n al curso

Caractersticas

Sistema de evaluaci&n

TCs

Introducci&n a la IA

'einiciones

()*etivos

Escuelas de la IA

Com+utador inteligente

Rese,a -ist&rica

.reas de la IA
Agenda
Agenda
Rolando A. Maguia Prez
C('IG(/ "#0##1
N2 CRE'IT(S/ #3
CAR.CTER/ (4LIGAT(RI(
5(RAS SEMANALES/ 6 5(RAS7SEMANA
5(RARI(/ Lu $8/##%""/## 9T:
;u $1/##%"#/## 9LA4:
<RERE=UISIT(S/ Investigaci&n (+erativa I
<R(FES(R/ Mg> Rolando A> Magui,a <?re@
rolandoAmaguinaBya-oo>com
Inteligencia Artificial
Inteligencia Artificial
Rolando A. Maguia Prez

+untualidad y asistencia/ tolerancia de C# min

conducta en el aula/
auditorio de universitarios
es+ritu crtico 9sin eDagerar:
atenci&n y +artici+aci&n en las clases

alumnos Eue tra)a*an/

N( SE T(MAR. <RUE4A A'ICI(NAL NI SE 'E;ARA
TRA4A;( EFTRA
Sistema de evaluacin
Recomendaciones generales
Rolando A. Maguia Prez
EDamen <arcial/ C#G
EDamen Final/ C#G
Controles de lectura/ $#G
Tra)a*o de com+utaci&n/ $6G
<romedio de +r!cticas de La)oratorio/ $6G
Sistema de evaluacin
Sistema de evaluacin
PF H #>#"6I9CL$ J CL" + CLC J CL3: J #>#06I9T4$ J T4":
J #>$6ILA J #>C#IEA J #>C#IE4
Ponderaciones
Rolando A. Maguia Prez
$: ;uegos inteligentes -om)re%m!Euina
": Sistemas eD+ertos
% SE con encadenamiento
% Ra@onamiento )asado en casos 9R4C:
<onderaci&n/ la misma +ara am)os
Sistema de evaluacin
Sistema de evaluacin
Trabajos computacionales
Rolando A. Maguia Prez

Introducci&n a la IA> Conce+tos y

a+licaciones en la industria y servicios>

Clasiicaci&n de +ro)lemas algortmicos>

4KsEueda en el es+acio de estados

Re+resentaci&n de +ro)lemas

M?todos ciegos de )KsEueda

M?todos inormados de )KsEueda

;uegos inteligentes -om)re%m!Euina>

Temario del curso
Temario del curso
Rolando A. Maguia Prez

Re+resentaci&n del conocimiento

Ra@onamiento
Sistemas ED+ertos

A+rendi@a*e
Sistemas inteligentes
Temario del curso
Temario del curso
Rolando A. Maguia Prez

Inteligencia Artiicial> Un enoEue moderno

S> Rusell y <eter NorvigL Ed> <rentice 5allL "##3 9"da ed>:>

Inteligencia Artiicial>
E> Ric- et al>L Ed> McGraM%5illL $88$ 9"da ed>:>

Inteligencia Artiicial> Una nueva sntesis

Nils Nilsson> Ed> Mc GraM 5illL "##$

Inteligencia Artiicial
M> NongL Ed> Fondo Editorial <UC<L $88C>
Bibliografa
Bibliografa
Rolando A. Maguia Prez
Bibliografa
Bibliografa

Sistemas eD+ertosL +rinci+ios y +rogramaci&n>

;> GiarratanoLG> Riley> Ed> Ciencias T-omsonL "##$ 9Cra
ed>:>

Redes Neuronales y Sistemas 'iusos

4> Martn del 4roL A> San@ Molina> Ed> Alaomega "###>

5and)ooO o Meta-euristic
F> GloverL G> Noc-en)erger9eds:> Ed> S+ringer NluMer> "##C
Rolando A. Maguia Prez
Artculos on%line
PInteligencia Artiicial/ Sim)&lico versus Su)sim)&licoQ
9Manuel de la 5err!n Gasc&n:
PIntroducci&n a los Sistemas ED+ertosQ 9;>;>Sam+er:
PIntroducci&n a las Redes NeuronalesQ 9F> <arden:
en -tt+/77MMM>redcientiica>com R IA
Adem!s/
PIntroducci&n a los Algoritmos Gen?ticosQ 9C> Coello:
PCom+utaci&n SuaveQ 9S> Moriello:
PSida ArtiicialQ 9;>;/ Merelo:
Informacin adicional
Informacin adicional
Rolando A. Maguia Prez
Conce+to de Inteligencia
T=u? es la inteligenciaU
TC&mo +odemos determinar si una +ersona es inteligenteU
Introduccin
Introduccin
T=u? es la inteligencia artiicialU
Rolando A. Maguia Prez

Resoluci&n de +ro)lemas

Com+rensi&n de lengua*es

Ra@onamiento

<erce+ci&n

A+rendi@a*e
Caractersticas inteligentes
Introduccin
Introduccin
Rolando A. Maguia Prez
Ti+os de Inteligencia
Introduccin
Introduccin
SegKn 5> Gardner eDisten varios ti+os de inteligencia/

Inteligencia L&gica%matem!tica

Inteligencia LingVstica 9a+titud ver)al

Inteligencia Es+acial

Inteligencia Cinest?sica

Inteligencia Artstica 9mKsicaL +inturaL etc>:

Inteligencia inter+ersonal 9lidera@go y acci&n

coo+erativa:

Inteligencia intra+ersonal 9modelo +reciso de s

mismo:
Rolando A. Maguia Prez
Inteligencia Artiicial
Introduccin
Introduccin

Su o)*etivo son las ca+acidades Eue

consideramos inteligentes

Las a+roDimaciones siguen dierentes +untos de

vista

Sus inluencias son diversas 9FilosoaL

Matem!ticaL <sicologaL 4iologaL etc>:

Sus cam+os son am+lios e interrelacionados

Rolando A. Maguia Prez
Introduccin
Introduccin
Es la Inteligencia Artiicial +osi)leU

La +osi)ilidad de la inteligencia artiicial +lantea

+ro)lemas ilos&icos com+le*os

No -ay una conclusi&n deinitiva

Es la inteligencia una +ro+iedad emergente de

los elementos )iol&gicos Eue la +roducenU

La -a)itaci&n c-ina 9SearleL $81#:

Las m!Euinas +ensantes +oseen concienciaU

Rolando A. Maguia Prez
Sistemas que piensan como humanos Sistemas que piensan racionalmente
Sistemas que actan como humanos Sistemas que actan racionalmente
Introduccin
Introduccin
EnoEues so)re la IA

<arte su+erior/ +rocesos mentales y ra@onamiento

<arte inerior/ conducta

Racional H -ace lo PcorrectoQL lo PidealQ en unci&n de
su conocimiento

<arte i@Euierda/ ?Dito en unci&n de la idelidad en la orma de

actuar de los -umanos

<arte derec-a/ toma como reerencia WracionalidadX

Rolando A. Maguia Prez

El arte de crear m!Euinas con ca+acidad de reali@ar

unciones Eue reali@adas +or +ersonas reEuiere de
inteligencia> 9Nur@MeilL $88#:
Sistemas Eue actKan como -umanos
Algunas deiniciones de inteligencia artiicial

El esuer@o +or -acer a las com+utadoras +ensar>>>

m!Euinas con mente en el sentido am+lio y literal>
95augelandL $816:
Sistemas Eue +iensan como -umanos
Introduccin
Introduccin
Rolando A. Maguia Prez

El estudio de las acultades mentales

mediante el uso de modelos com+utacionales>
9C-arniaO y Mc 'ermottL $816:
Sistemas Eue +iensan racionalmente

Un cam+o de estudio Eue )usca eD+licar y

emular la conducta inteligente en t?rminos de
+rocesos com+utacionales> 9Sc-alOoL $88#:
Sistemas Eue actKan racionalmente
Algunas deiniciones de inteligencia artiicial
Introduccin
Introduccin
Rolando A. Maguia Prez

El modelo es el -om)reL el o)*etivo es construir un

sistema Eue +ase +or -umano>

Test de Turing/ Si un sistema lo +asa es inteligente

9U:

Ca+acidades necesarias/ <rocesamiento del Lengua*e

Natural 9<LN:L Re+resentaci&n del conocimientoL
Ra@onamiento autom!ticoL A+rendi@a*e autom!tico>

No es el o)*etivo +rimordial de la IA +asar el test>

La interacci&n de +rogramas con +ersonas -ace

necesario Eue aEuellos actKen como -umanos
Sistemas Eue actKan como -umanos
Introduccin
Introduccin
Rolando A. Maguia Prez
Test de Turing
Introduccin
Introduccin
Rolando A. Maguia Prez
<ara com+render la inteligencia -ay Eue com+render c&mo se
adEuiereL se re+resenta y se almacena el conocimientoY c&mo se
genera y se a+rende el com+ortamiento inteligenteY c&mo se
desarrollan y se usan las motivacionesL las emociones y las
+rioridadesY c&mo las se,ales sensoriales son transormadas en
sm)olosY c&mo se mani+ulan los sm)olos +ara a+licar la l&gicaL
+ara ra@onar so)re el +asado y +ara +laniicar el uturoL y c&mo
los mecanismos de inteligencia +roducen los en&menos de la
ilusi&nL las creenciasL las es+eran@asL los temores y los sue,os
%yL sL incluso la )ondad y el amor%> Com+render estas unciones
en un nivel undamental seraL creo yoL un logro cientico de la
misma escala Eue la sica nuclearL la relatividad y la gen?tica
molecular>
9;ames Al)usL $886:
Introduccin
Introduccin
Rolando A. Maguia Prez
Inteligencia Artiicial % 'einici&n
La I>A> es el estudio de los sistemas de com+utaci&n
Eue +ermiten reali@ar actividades consideradas
inteligentes +or el ser -umano>
Introduccin
Introduccin
Rolando A. Maguia Prez
Inteligencia Artiicial % ()*etivos

()*etivo de Ingeniera/ desarrollar inteligencia

artiicial 9resolver +ro)lemas considerados
inteligentes:
Introduccin
Introduccin

()*etivo cientico/ com+render Eu? es inteligencia

y eD+licar los diversos ti+os de inteligencia>
Rolando A. Maguia Prez
Com+utador Inteligente
El com+utador inteligente es aEuel Eue res+onde a la
+regunta aunEue la res+uesta no -aya sido almacenada>
Es decirL con los -ec-os Eue ueron almacenados y con
un ZconocimientoZ Eue ue tam)i?n almacenadoL ?l
deduce una res+uesta Eue no esta)a almacenada en su
memoria>
Introduccin
Introduccin
Rolando A. Maguia Prez
Com+utador Inteligente
E;M>
5ec-o $/ Ana es -i*a de Sonia>
5ec-o "/ Carlos es -i*o de Sonia>
Conocimiento $/ -ermano o -ermana es aEuel Eue es
-i*o del mismo +adre o madre
<regunta/TAna es -ermana de CarlosU
Res+uesta del Com+utador/ SI
Introduccin
Introduccin
Rolando A. Maguia Prez
IA % <ro)lemas
T=u? +ro)lemas son catalogados como
inteligentesU
Son aEuellos +ro)lemas intrata)les Eue +resentan
caractersticas de PinteligentesQ +ara el ser -umano
Introduccin
Introduccin
Rolando A. Maguia Prez
!once"ciones sobre la mente
!once"ciones sobre la mente
Escuela Simbolista Escuela Conexionista
Mente es sistema de
manipulacin de smbolos
Modelar funcionamiento del
cerebro
Alguien de)e entender la tarea
y +royectar un +rocedimiento
9+roceso algortmico:
Simular en la <C el uncionamiento
del cere)ro 9neuronas distri)uidas
es+acialmente y enla@adas +or
coneDionesL intercam)iando se,ales
in-i)itorias o eDcitadoras:
Conocimiento en algKn dominio
Pca+turadoQ como un con*unto
de sm)olos
'esarrollar modelos +ara tareas Eue
el cere)ro reali@a naturalmente
9asociaci&nL categori@aci&nL
generali@aci&nL etc>:
En la <C se mane*aran los
sm)olos considerados
Similarmente a como surgi& la
inteligencia -umanaL emergira en la
<C la inteligencia artiicial
Rolando A. Maguia Prez
!once"ciones sobre la mente
!once"ciones sobre la mente
Escuela Simbolista Escuela Conexionista
Advenimiento de la <C im+uls&
esta escuela
M?todo m!s conocido/
Sistemas ED+ertos
M?todo m!s conocido/ Redes
Neuronales
A)orda*e to+%doMnL +aradigma
sim)&lico
A)orda*e )ottom%u+L +aradigma su)%
sim)&lico
Re+resentantes/ McCart-yL
NeMellL SimonL MinsOy
Re+resentantes/ Gross)ergL AmariL
No-onenL Rumel-artL
Rolando A. Maguia Prez
Com+le*idad de <ro)lemas
Rolando A. Maguia Prez
Clasificacin de Problemas Algortmicos

<or su Naturale@a
Los +ro)lemas algortmicos se clasiican segKn su
naturale@a intrnseca res+ecto a la +osi)ilidad o
diicultad de resolverlos
Los +ro)lemas Eue admiten soluci&n son clasiicados
segKn la com+le*idad Eue +resentan los algoritmos
+ara resolverlos
Los +ro)lemas son clasiicados segKn la res+uesta Eue
el +ro)lema reEuiere
Rolando A. Maguia Prez

<or su Trata)ilidad

<or el Ti+o de Res+uesta

Orden de magnitud de un algoritmo
Rolando A. Maguia Prez

<ro)lemas de naturale@a algortmica Eue no admiten

soluci&n +or algoritmo son llamados no%com+uta)les>

<ro)lemas Eue admiten soluci&n y +ara los cuales

com+ro)adamente no +ueden ser resueltos +or algoritmos
de com+le*idad +olinomial son rotulados de intrata)les>

<ro)lemas +ara los cuales eDisten algoritmos de

com+le*idad +olinomial +ara resolverlos son llamados
trata)les>

<ro)lemas de decisi&n y no%com+uta)les son

llamados indecidi)les
Clasificacin de Problemas por su Naturaleza
Rolando A. Maguia Prez
<ro)lemas Eue admiten
soluci&n algortmica
Clasificacin de Problemas por su Naturaleza
<ro)lemas Eue no admiten
soluci&n algortmica
No%com+uta)les
Indecidi)les
Intrata)les
Trata)les
Rolando A. Maguia Prez
[ ES UN <R(4LEMA INTRATA4LE
Todos los algoritmos eDactos +resentan com+le*idad
no +olinomial
El <ro)lema del Agente Sia*ero
E;M>
Encontrar una +ermutaci&n Eue re+resente el recorrido
de una serie de ciudades de tal orma Eue todas sean
visitadas minimi@ando la distancia total recorrida>
Clasificacin de Problemas por su Naturaleza
Rolando A. Maguia Prez
El <ro)lema del Agente Sia*ero
E;M>
El tama,o del es+acio de )KsEueda es/ 9n % $:\7"
<ara nH6# -ay unas $##L###L###L###L###L###L###L###L###L
###L###L###L###L###L###L###L###L###L###L###L### soluciones
+osi)les>
<ara nH$#L -ay unas $1$L### soluciones +osi)les>
<ara nH"# -ay unas $#L###L###L###L###L### soluciones
+osi)les>
Clasificacin de Problemas por su Naturaleza
Si consideramos n ciudades/
Rolando A. Maguia Prez
[ ES UN <R(4LEMA INTRATA4LE
Todos los algoritmos eDactos +resentan com+le*idad
no +olinomial
El <ro)lema de la Selecci&n de <royectos
E;M>
Clasificacin de Problemas por su Naturaleza
Rolando A. Maguia Prez
<ro)lema de Selecci&n de <royectos
Considere PnQ +royectos <
$
L <
"
L >>>L <
n
> Su+onga
conocidos el costo c
i
y la utilidad neta es+erada u
i

+ara cada +royecto <
i
> Considere tam)i?n conocido
un +resu+uesto P)Q +ara la inversi&n en los
+royectos 9la inversi&n en un +royecto no +uede ser
+arcialL esto esL se invierte o no en el +royecto:> El
+ro)lema consiste en determinar un su)con*unto de
los PnQ +royectos tal Eue +resente m!Dima suma de
utilidades netas es+eradasL y Eue su costo total no
su+ere al +resu+uesto dado P)Q>
Clasificacin de Problemas por su Naturaleza
Rolando A. Maguia Prez

Sea
S ]<
$
L <
"
L>>>>>>>L <
n
^
un estado +ara el +ro)lema>
Funciones de evaluaci&n +osi)les/

$
H
<
i
S
u
i

"
H
<
i
S
c
i

C
H
<
i
S
u
i
7
<
i
S
c
i
Clasificacin de Problemas por su Naturaleza
Rolando A. Maguia Prez
Est! constituida +or todos los +ro)lemas com+ro)adamente
trata)lesL esto esL +ro)lemas Eue +ueden ser resueltos +or
algoritmos de com+le*idad +olinomial>
La Clase <
Algunos <ro)lemas de la Clase <

Conta)ilidad 9registrar y7o modiicar transacciones:

Resoluci&n de Sistemas de Ecuaciones Lineales

(rdenar nKmerosL )uscar +ala)ras en un teDto

;untar Arc-ivos

En gral sistemas o+eracionales 9acturaci&nL control de

almacenesL +lanillasL etc>:

CualEuier +ro)lema de la <rogramaci&n Lineal

Clasificacin de Problemas por su Tratabilidad
Rolando A. Maguia Prez
Est! constituido +or todos los +ro)lemas Eue +ueden ser
resueltos +or algoritmos enumerativosL cuya )KsEueda
en el es+acio de soluciones es reali@ada en un !r)ol con
+roundidad limitada +or una unci&n +olinomial res+ecto
al tama,o de la instancia del +ro)lema y con anc-o
eventualmente eD+onencial>
La Clase N<
Clasificacin de Problemas por su Tratabilidad
Rolando A. Maguia Prez
Un +ro)lema +ertenece a la clase N< si +uede ser
resuelto en tiem+o +olinomial +ero usando una
com+utadora no determinista>
La Clase N<
Algunos <ro)lemas de la Clase N<

Coloraci&n de ma+as

Selecci&n de +royectos

(+timi@aci&n de 'es+erdicios

Agente Sia*ero

CliEue

<rogramaci&n de Tareas
Clasificacin de Problemas por su Tratabilidad
Rolando A. Maguia Prez
Ciertamente la clase N< incluye todos los +ro)lemas
trata)les> Adem!s los +ro)lemas de la clase < +ueden
ser resueltos tam)i?n +or algoritmos enumerativos>
<or consiguiente se +uede airmar Eue/
Relaci&n < y N<
< N<
Clasificacin de Problemas por su Tratabilidad
Rolando A. Maguia Prez
Los +ro)lemas de la Clase N< Eue son
intrata)les son llamados de N<%dicil
Clasificacin de Problemas por su Tratabilidad
Rolando A. Maguia Prez
E;MS>

Res+onder si eDiste una ruta entre dos lugares

dierentes en una regi&n dada>

Res+onder si eDiste una secuencia de +asos +ara

colocar " lts en la vasi*a de 6 lts con las vasi*as vacas
al inicio>

Res+onder si eDiste una secuencia de +asos +ara

lim+iar el mundo de la as+iradoraL al inicio las dos
u)icaciones est!n sucias y el agente est! en la
u)icaci&n i@E>
<ro)lemas de 'ecisi&n
Clasificacin de Problemas por Tipo de Respuesta
<ro)lemas Eue consisten en res+onder S_ o N( a
determinada indagaci&n>
Rolando A. Maguia Prez
E;MS>

'eterminar una ruta entre dos lugares dierentes

en una regi&n dada>

'eterminar una secuencia de +asos +ara colocar " lts

en la vasi*a de 6 lts con las vasi*as vacas al inicio>

'etermine una secuencia +ara lim+iar el mundo de la

as+iradoraL al inicio las dos u)icaciones est!n sucias y el
agente est! en la u)icaci&n i@E>
<ro)lemas de Locali@aci&n
Clasificacin de Problemas por Tipo de Respuesta
<ro)lemas Eue consisten en encontrarL caso eDistaL
determinada estructura satisaciendo reEuisitos
es+eciicados +or el +ro)lema
Rolando A. Maguia Prez
Consiste en encontrarL caso eDistaL determinada
estructura satisaciendo reEuisitos es+eciicados +or el
+ro)lema y +or lo menos un criterio de o+timi@aci&n>
<ro)lemas de (+timi@aci&n
E;MS>

'eterminar la ruta m!s corta entre dos lugares

dierentes en una regi&n dada>

'eterminar la menor secuencia de +asos +ara colocar

" lts en la vasi*a de 6 lts con las vasi*as vacas al inicio>

'etermine la menor secuencia de +asos +ara lim+iar

el mundo de la as+iradoraL al inicio las dos u)icaciones
est!n sucias y el agente est! en la u)icaci&n i@E>
Clasificacin de Problemas por Tipo de Respuesta
Rolando A. Maguia Prez
(+timi@aci&n R Locali@aci&n R 'ecisi&n
Clasificacin de Problemas por Tipo de Respuesta
Rolando A. Maguia Prez
Grado de diicultad de los +ro)lemas algortmicos
clasiicados +or el ti+o de res+uesta/