Mster en Lgica, Computacin e Inteligencia Artificial

Sntesis, verificacin y
razonamiento sobre agentes
inteligentes
Presentacin Curso 2013-14

Joaqun Borrego Daz

Departamento de Ciencias de la Computacin e Inteligencia Artificial
jborrego@us.es

Agentes Inteligentes
Qu son?

Es una metfora computacional

En el curso intentaremos ver cmo

interacciona la mente y el
comportamiento en distintos
modelos de agencia

Es propia de la Inteligencia Artificial

Se basa en la tradicin de la
epistemologa aplicada

Me
jor
, ra
cio
nal
es

Conferencia de Darmouth,
organizada por:

John McCarthy
(Dartmouth College,
New Hampshire)

Marvin L. Minsky
(Harvard University),

Nathaniel Rochester
(I.B.M. Corporation)

Claude E. Shannon (Bell

Telephone Laboratories)

Historia

Otros participantes:

Ray Solomonoff,
Oliver Selfridge,
Trenchard More,
Arthur Samuel,
Herbert Simon y
Allen Newell.

Hiptesis de trabajo de IA:

"Todo aspecto de aprendizaje o cualquier
otra caracterstica de inteligencia puede ser
definido de forma tan precisa que puede
construirse una mquina para simularlo"

Pueden existir?
Test de Turing
Conocimiento comn
El papel del
lenguaje,
conocimiento,
razonamiento,
mecanicismo y emergencia

Paradigma
de trabajo

Algunos ejemplos
(provocativos)

Aplicaciones de agentes fsicos

NASA: robots
exploradores

Robtica Industrial
Robot
autnomos.
Reactividad

El futuro de la red?

Internet es una red donde

interaccionan:

Personas
Sistemas de informacin
agentes software
agentes racionales

Aplicaciones de agentes en Internet

Agentes conversacionales
Mercados electrnicos
Bolsa
B2B
B2P
P2B
P2P

NASDAQ es la bolsa de valores

electrnica automatizada ms grande
de EEUU.
Ms de 3.800 compaas y
corporaciones, tiene ms volumen de
intercambio por hora que cualquier
otra bolsa de valores en el mundo

Web 2.0 mvil

Web 2.0 mvil con

un SMA y Ontologas

Agentificacin?

Tema de investigacin
Agentes racionales en
dispositivos mviles?

Agentes en Inteligencia
Ambiental

Agentes en metaversos

Sistemas multiagente

Los agentes inteligentes y

la Web Semntica (I)

Los agentes inteligentes y la

Web Semntica (II)

Simulacin
Potencia computacional
Sistemas complejos
Agentificacin
Ejemplo: Simulacin de catstrofes naturales/
humanitarias mediante sistemas multiagente

http://www.youtube.com/watch?

v=pTKhrpl9jZc&feature=player_embedded#at=11

El estado del arte en una grfica

La curva de Gartner para los agentes inteligentes

(antigua, 2004)

La curva de Gartner para los agentes inteligentes

(antigua, 2004)

Segn Agentlink
(antigua 2005)

Infraestructura y tecnologas para

la innovacin con agentes

Interoperabilidad

Lenguajes para la
programacin de agentes

Mtodos formales

Ingeniera orientada a
agentes

Simulacin
Interaccin con el usuario

Dnde estn los agentes en 2013?

Ha salido del ciclo.

Slo aparecen aplicaciones

Lgica computacional, el
corazn del razonamiento
Para representar el conocimiento
Para formalizar el razonamiento
Para mecanizar los procesos de
razonamiento

Para hablar de adecuacin y

completitud.

Cmo puede conocer un agente?

Creencias

Categoras mentales:

Conocimiento: creencias
verdaderas

Intenciones
Deseos
Prohibiciones
...

El futuro:
Programacin orientada a agentes

Reaccin, proactividad,
sociabilidad
Corresponden a cualidades humanas
Factores que estudiaremos en mayor o
menor medida

Combinan IA clsica y teora del

conocimiento y agentes

Temas de la asignatura

Introduccin a los conceptos

principales

Reactividad

Racionalidad

Ma
ter
en ial
W
l
eb a
CT

Conocimiento
Planificacin como proceso racional
BDI

Plataformas orientadas a agentes

Talleres y conferencias

Filosofa del curso

Agentificacin como un proceso

de abstraccin

Pasos hacia la construccin de una

teora de agentes racionales

Teora sobre el comportamiento

Ontologa del dominio

Especificacin
Formalizacin de las propiedades
Verificacin

Otras caractersticas del curso

Introductorio
Panormico
Incidiremos en problemas
fundacionales

Correccin versus validacin

Evolucin histrica

Base lgico/matemtica/computacional del

concepto de (sistema multi)agente racional

Objetivo: Comprender lo que se

plantea en...

Hasta lo que se plantea en...

Desde la lgica al
prototipado
(multi)agente

Trabajo sobre
un artculo/tema
de inters

Tema de inters del

alumno

Acuerdo con el profesor lo

antes posible (para trabajar
en l)

Lecturas...

Michael Luck, Peter McBurney, Onn Shehory,

Steve Willmott, Agent Technology: Computing as
Interaction. A Roadmap for Agent-Based
Computing

www.agentlink.org/roadmap/al3rm.pdf

V. Julin,V. Botti, Agentes Inteligentes: el siguiente

paso en la Inteligencia Artificial

www.ati.es/novatica/2000/145/vjulia-145.pdf