Mster en Lgica, Computacin e Inteligencia

Artificial

Sntesis, verificacin y razonamiento

sobre agentes inteligentes
Presentacin
Curso 2016-17

Joaqun Borrego Daz

Departamento de Ciencias de la Computacin e Inteligencia Artificial
jborrego@us.es
 Me
Agentes Inteligentes rac jo
ion r,
Qu son? ale
s

Es una metfora
computacional

Es propia de la Inteligencia
Artificial

Se basa en la tradicin de la
epistemologa aplicada

En el curso intentaremos ver

cmo interacciona la mente y
el comportamiento en
distintos modelos de agencia
La hormiga acta
Qu necesita para actuar?
SENSORES

INTELIGENCIA? COMUNICACIN

MOVILIDAD
 dnde?

INTELIGENCIA?
INTELIGENCIA? INTELIGENCIA?
INTELIGENCIA?

inteligencia?
Los inicios de la IA (y Agentes)

Darmouth, 1955
 Conferencia de Darmouth,
organizada por:

Historia
John McCarthy (Dartmouth
College, New Hampshire)

Marvin L. Minsky (Harvard

University),

Nathaniel Rochester (I.B.M.

Corporation)

Claude E. Shannon (Bell

Telephone Laboratories)

Otros participantes:

Ray Solomonoff, Oliver

Selfridge,
Hiptesis de trabajo de IA:
Trenchard More, Arthur "Todo aspecto de aprendizaje o
cualquier otra caracterstica de
Samuel,
inteligencia puede ser definido de
forma tan precisa que puede
Herbert Simon y Allen
construirse una mquina para
Newell.
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
NASDAQ es la bolsa de valores
B2P electrnica automatizada ms
grande de EEUU.
P2B Ms de 3.800 compaas y
corporaciones, tiene ms volumen
P2P de intercambio por hora que
cualquier otra bolsa de valores en
el mundo
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)
 Infraestructura y tecnologas
para la innovacin con agentes
Interoperabilidad

Ingeniera orientada a
agentes

Lenguajes para la
programacin de agentes

Mtodos formales

Simulacin

Interaccin con el usuario

 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
http://www.youtube.com/watch?v=pTKhrpl9jZc

Utilidad
CAMPO (VIRTUAL CON SIMULACIN DEL
ENTORNO REAL)

Programamos jugadores, NO equipos completos

E J E M P L O D E PA R T I D O
REACCIN VERSUS DELIBERACIN
Y POR LTIMOhigh frequency trading
EN LA BOLSA

MERCADOS
COMPRA-
CONEXIN
VENTA
U LT R A R R P I D A
DE ACCIONES

Agente de compra-venta
 MILES (MILLONES) DE BOTS
TRABAJANDO CON COMPORTAMIENTOS
SIMPLES PERO MUY RPIDOS

SE PUEDE PREDECIR EL COMPORTAMIENTO

DE ESTE TIPO DE SISTEMAS?
PELIGROS
 pregunta (desafo):

Se puede controlar este tipo de sistemas

multiagente?

ES UN SISTEMA COMPLEJO
 El ciclo de vida de una
tecnologa en una grfica
La curva de Gartner para los agentes inteligentes
(antigua, 2004)
Segn Agentlink (antigua, 2005)
Dnde estn los agentes en 2013?

Han salido del ciclo

Slo aparecen aplicaciones
 A ?
C I

I N T E L I G E N
Y ahora?

Tecnologa transparente

Investigacin poco visible salvo

cuando tiene xito importante

Investigacin desde el punto de vista del curso:

Racionalidad. Fundamentos y programacin
En 2016
 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

Conocimiento: creencias
verdaderas

Categoras (aptitudes)
mentales:

Intenciones

Deseos

Prohibiciones

...
El futuro de los agentes (racionales):
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 Ma
ter
ial
En la en
Racionalidad se
Vir anz
tua a
Conocimiento l

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
Es de carcter introductorio

Panormico

Algunas teoras de agentes se detallarn

Incidiremos con ms profundidad en problemas

fundacionales, en consonancia con la orientacin del mster

Correccin versus validacin

Evolucin histrica

Base lgico/matemtica/computacional del concepto de

(sistema multi)agente racional
Objetivo: Comprender lo que se plantea
en artculos como...
O lo que se plantea en...
Desde la lgica al prototipado
(multi)agente
 Evaluacin

Tema de inters del alumno

Trabajo sobre un
artculo/tema de
Acuerdo con el profesor lo
antes posible (para
inters trabajar en l)
 Lecturas preliminares...
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