Tema 1: El

concepto de
agente racional
Sntesis, verificacin y
razonamiento sobre agentes
inteligentes
(2016-17)
 Contenido
Inteligencia Artificial y agentes inteligentes
Definicin de agente racional
Reactividad, pro-actividad, sociabilidad
El entorno
Jeraqua de agentes
Racionalidad
Agentes BDI
Programacin orientada a agentes
Sistemas multiagente
Referencias
Objetivo del tema:
Ofrecer una PANORMICA
y PLANTEAR problemas
 Inteligencia Artificial y Agentes Inteligentes

Definicin clsica de Inteligencia Artificial

(Bellman, 1978):
La IA se ocupa de la automatizacin de
actividades vinculadas al pensamiento humano

Otra definicin (Rich & Knigth, 1991):

Estudio de cmo lograr que las computadoras
realicen tareas que, por el momento, realizamos
mejor los humanos

Definicin interesante (Poole, 1998):

Estudio y diseo de agentes racionales
Complejidad. Conexionismo.
Inmersin
Y si la inteligencia
es
emergente?

Sistemas complejos
Emergencia
 Qu es un agente?
Definicin del Russell & Norvig:
Dada una sucesin de percepciones, un agente
racional ideal debe realizar una accin que maximize
la medida de xito, a partir de las evidencias que
obtiene de dicha sucesin y del conocimiento que
posee.

Nocin til para analizar sistemas, no es una

caracterizacin absoluta. Un reloj la cumple
Existencia terica de agentes
Es una aplicacin que asocia a cada
sucesin de percepciones la mejor accin
Imposible en la prctica (tamao infinito)
Esquema:
 Caractersticas de los
agentes
Entidades que sean flexibles,
adaptndose a los cambios del entorno,
aprendiendo de la experiencia,
eligiendo acciones correctas mediante el procesamiento de la
informacin que posee, y

exhibiendo un comportamiento dirigido a alcanzar sus

objetivos

No son omniscientes. Son racionales:

actan de manera correcta de acuerdo a la informacin que
posee
 Caractersticas principales
Reactividad: Capacidad para responder a los
cambios del entorno
Pro-actividad: Capacidad de exhibir un
comportamiento dirigido a cumplir sus objetivos
Sociabilidad: Capacidad de comunicarse con
otros agentes
Otras: continuidad temporal, autonoma,
adaptatividad/aprendizaje, movilidad, etc.
En todos esos requisitos influye cmo el agente
entiende el entorno
 Sociabilidad
No es slo intercambio La negociacin y
de informacin binaria cooperacin implica:

Cooperacin, Conocer los objetivos

competicin de otros agentes

Realizar acciones
(como pagar) que no
son necesarias
individualmente
Comunicacin, lenguaje,
Ontologa
Reactividad versus proactividad
Difcil equilibrio
Reactividad extrema: slo responde a
estmulos, (cmo alcanzar objetivos a largo
plazo?)
Proactividad extrema: No tiene en cuenta los
cambios del entorno, que pueden invalidar
incluso el plan de accin diseado para
alcanzar el objetivo
El equilibrio entre las dos aptitudes es un
problema permanentemente abierto
 Caractersticas del entorno (segn el agente)

Accesible vs Inaccesible
Accesible: El agente tiene acceso a toda la informacin que desea
Efectivamente accesible: El agente tiene acceso a la informacin necesaria
para realizar su tarea

Determinista vs. no determinista

Determinista: el agente sabe determinar cul va a ser el estado siguiente
Episdico vs no episdico
Episodio: sucesin de percepciones elegido como tal por el agente
Entorno episdico: La accin slo depende del episodio actual
Esttico vs dinmico
Esttico: no cambia mientras el agente delibera
Discreto vs. Continuo
aunque es un poco ms
complicado
 Q
ag u
en pe
te rc
pa ibe
cm e
an l
?

D
e
qu

Ejemplo I: comecocos

tip
o
es
?
Ejemplos II y III: Marte y Second Life

Entorno matematizado
Percepciones exactas
Conocimiento
Entorno desconocido
Percepciones con ruido
Poco conocimiento
El entorno como un agente que
simula percepciones
 Jerarqua de agentes
Agentes reactivos
Agentes con estado interno
Agentes basados en objetivos
Agentes basados en utilidad
Agentes con razonamiento deductivo
Agentes con actitudes mentales
GOLOG
Agentes BDI
...
 Agentes reactivos
Rechazar la Solucin: El
representacin simblica comportamiento
compleja por: emerge de la
interaccin con el
Problemas de entorno
pobreza del lenguaje

La decisin puede ser

impredecible o
compleja
Arquitecturas para la reactividad
Agentes basados en
objetivos
Agentes deliberativos (deductivos)

Base de conocimiento
Necesidad de lgicas expresivas, adecuadas

Para programar la
racionalidad
Actuacin racional fallida
Actuacin racional con
xito
Por qu falla la primera?
 Programacin orientada a agentes
Iniciado por Y. Shoham (1990)
Idea: disear un lenguaje de programacin de agentes de acuerdo a las
siguientes reglas:
Teora sobre el comportamiento humano segn las actitudes mentales
elegidas
Formalizacin de la teora
Diseo de una plataforma donde programar slo las actitudes (estado
mental)
El intrprete ejecuta el agente de acuerdo al estado mental y la teora
de comportamiento

Aptitudes a elegir: conocimientos, creencias, deseos, intenciones, capacidades,

obligaciones, ...
Primer prototipo de lenguaje: AGENT0
Paradigma para SMA racionales
Ejemplo: conocimiento
Actitud mental: conocimiento (creencia
verdadera)
Lenguaje: GOLOG (CONGOLOG,
INDIGOLOG, LEGOLOG ...), FLUX, etc.
Clculo de situaciones de McCarthy
Son agentes deliberativos
Aplicable a agentes para la WWW, robtica
cognitiva, etc.
Ejemplo de cdigo
Agentes BDI
Arquitectura
 Programar agentes BDI = Programar macros

Deliberar(opciones,B,D,I):
Necesita razonamiento automtico
Actualizar_Intenciones(opciones_seleccionadas,I):
Razonamiento no montono
Ejecutar(I):
Se necesitara planificacin
Concepto de programacin
orientada a agentes
La arquitectura BDI no eliza
od
es la nica e
y m
l i g
E
Reaccin, deliberacin,
reflexin
Agentificacin y
desagentificacin
 Una arquitectura general para agentes
Mensajes/eventos
Mensajes/acciones
del exterior
al exterior

Cola de eventos Cola de meta-objetivos

E_1 E_2 E_n G_1 G_2 G_k

Componente reactiva Componente racional Componente pro-activa

Reglas E-C-A Reglas de planificacin Reglas C-A

Conocimiento Base
Y los Lmites?
 Sistemas multiagente
Conjunto de agentes que interactan entre s y con el entorno
Agentes heterogneos
Computacin asincronizada
Comunicacin de conocimiento y/o de creencias
Formatos de intercambio del conocimiento como KIF (Knowledge
Interchange Format), una versin con tipos de la lgica de primer
orden
El conocimiento comunicado depende la ontologa que use cada agente
Sociabilidad y veracidad
Entornos como agentes
Problemas:
Cul es el conocimiento comn del sistema?
Verificacin?
Emergencia?
Arquitectura
multiagente
 Plataformas de desarrollo de SMA
Plataformas de desarrollo de sistemas
multiagente: JADE, ZEUS, JACK, NETLOGO...
Plataformas de desarrollo de sistemas
multiagente racionales: 3APL, ZEUS, JASON,
NUIN, JACK, JADEX, IMPACT
Cada una implementa una teora formal
sobre el comportamiento humano
Muchas de las plataformas facilitan
arquitecturas basadas en estndares FIPA
Ejemplo: Cuando Harry encontr a
Sally en 3APL
http://www.robocup.org/
 Algunas aplicaciones:
Control areo
Sistemas de transporte de empresas
Simulacin de sistemas complejos
Control industrial
Comercio electrnico
Servicios Web (semnticos)
Personalizacin de servicios
Exploracin espacial
Computacin P2P
Servicios burstiles
 Referencias
(lecturas complementarias para la introduccin)
Agentes Inteligentes: el siguiente paso en la Inteligencia Artificial,
V. Julin y V. Botti
http://www.ati.es/novatica/2000/145/vjulia-145.pdf
Intelligent Agents, M. Wooldridge. In G. Weiss, editor:
Multiagent Systems, The MIT Press
http://www.csc.liv.ac.uk/~mjw/pubs/mas99.pdf
Artificial Intelligence: A Modern Approach, Stuart Russell and
Peter Norvig
Captulo VII: Logical Agents
http://aima.cs.berkeley.edu/2nd-ed/newchap07.pdf