31/10/03 DAMMAD Reunión DAMMAD Grupo de Inteligencia Artificial Dpto. de Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos Diseño y Aplicación.

Slides:



Advertisements
Presentaciones similares
MODELOS ORIENTADOS A OBJETOS
Advertisements

Descripción del Trabajo Final
Internet y tecnologías web
Abstracción de Datos Funciones.
Supervisión del rendimiento de SQL Server
I.T.E.S.R.C. Romina Tamez Andrea Martínez Ma. De Lourdes Solís
Modelando aplicaciones
Análisis y Diseño de Software
Introducción a los Algoritmos
Computación PROGRAMACIÓN.
Servicios de red e Internet
PROTOCOLOS Y ESTANDARES DE RED
DAMMAD: El Prototipo del Demostrador de Bilbao Universidad Politécnica de Madrid 31 Octubre 2003 J. Z. HernàndezF.Carbone.
Introducción a la Programación
INFORMACIÓN AUTOMÁTICA Ciencia que estudia el tratamiento
Presentación del estado del arte
ALGORÍTMICA Dpto. Ingeniería de Sistemas y Automática
Ingeniería del Software
HERRAMIENTAS INFORMATICAS
Servidores de nombres de dominio (DNS)
LOGICA DE NEGOCIOS ADAN GONZALEZ BARRERA.
Funciones en lenguaje C
PROGRAMACIÓN LÓGICA.
DAMMAD Reunión DAMMAD Grupo de Inteligencia Artificial Dpto. de Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos Diseño y Aplicación.
Actividad 3. El flujo de datos en una estructura de software. M.C. Juan Carlos Olivares Rojas Syllabus May, 2009.
TRADUCTOR DE UN PROGRAMA
Igor Santos Grueiro. Ahora tenemos datos y datos …
Fundamentos de Programación
PROCEDIMIENTOS FUNCIONES
INTRODUCCIÓN A LA PROGRAMACIÓN ORIENTADA A OBJETOS Objetos.
DAMMAD Reunión Málaga Febrero 2002 Diseño y Aplicación de Modelos Multiagente para Ayuda a la Decisión.
LEDA Un Lenguaje para la Especificación y Validación de Arquitecturas de Software Carlos Canal Velasco Depto. de Lenguajes y Ciencias de la Computación.
Demostrador de Gestión de Tráfico de la DFB
POP3 UCLV Mapas Conceptuales para la enseñanza de Redes de Computadoras.
Abril 29, 2004Reunión de Primavera 2004 de CUDI1/14 Middleware para Sistemas Ubicuos basado en Tecnología de Internet 2 Proyecto de investigación conjunto.
Servicios Web. Servicios web Son programas con funcionalidad accesible a través de protocolo http que permiten la ejecución remota de métodos y funciones.
BASE DE DATOS BY: Julián Villar Vázquez.
SO – 1 – Reunión DAMMAD Grupo de Inteligencia Artificial Dpto. de Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos Diseño y Aplicación.
DAMMAD Diseño y Aplicación de Modelos Multiagente para Ayuda a la Decisión Demostrador para la gestión de flotas de autobuses Universidad de Málaga.
OBJETOS DISTRIBUIDOS E INVOCACIÓN REMOTA ING. MARISCAL.
FUNCIONES GENERALES –SELECCIÓN DE LA MEJOR RUTA –DIRECCIONAMIENTO DE LA RED.
5.3 APROXIMACIONES AL DISEÑO
Introducción al modelo Cliente-Servidor Carlos Rojas Kramer Universidad Cristóbal Colón.
Almacenamiento de la información Conabio CNA INEGI Conanp Profepa INE Otras dependencias Conafor Semarnat.
Sistemas Inteligentes Distribuidos Sistemas Inteligentes Distribuidos Sesión 13 L. Enrique Sucar / Marco López Sesión 13 L. Enrique Sucar / Marco López.
ConceptoDefiniciónCaracterísticas (palabra clave) Ejemplo/Aplicación Sistema operativo Es el software que permite al usuario interactuar con la computadora.
UNIDAD 2. ALGORITMOS Y ESTRUCTURAS DE DATOS.
Sistemas Inteligentes Distribuidos Sistemas Inteligentes Distribuidos Sesión 8 Eduardo Morales / L. Enrique Sucar Sesión 8 Eduardo Morales / L. Enrique.
DAMMAD Madrid, 31-Octubre-2003 Demostrador de Gestión de Tráfico Escenarios de Prueba.
Vista de interacción  Una vista de interacción muestra el flujo de control requerido que se establece entre los objetos.
PROTOCOLO HTTP ALGUNAS DEF.-
Metodología para la construcción de programas
Sustentante: Francis Ariel Jiménez Zapata Matricula: Grupo: 2 Profesora: Jose Doñe Asignatura: Sistema Operativo 2.
Breve introducción a la arquitectura de 32 bits intel.
AGENTES INTELIGENTES TRABAJO TEÓRICO DE LA ASIGNATURA DE
Breve introducción a la arquitectura de 32 bits intel.
Facultad de Ingeniería
Programación Orientada a Objeto
PROGRAMACION ORIENTADA A OBJETOS
Metodología de la programación
X one. Plataforma de desarrollo móvil ALARMAS -IP. AUTOMOCION.
5.7 Servicios no orientados a conexión. 5.8 Ruteadores.
1 eGorilla – Arquitectura del Sistema Ingeniería del Software 4º B 2008/2009.
Sistemas MultiAgentes. Definiciones Un agente percibe de su entorno a través de sensores y actúa en su entorno mediante efectores. Propiedades: Autónomo.
Visión General Lógica del Sistema asanetwork o Es un producto y un método estandarizado (un protocolo) empleado para el intercambio de datos entre diferentes.
Arquitectura Cliente Servidor
Lic. Carla Aguirre Montalvo
Republica Bolivariana de Venezuela Universidad Alonso de Ojeda Facultad de Ingeniería Escuela de Computación Ing. Prof. Leonel Sequera Entrada y Salidas.
MODELO TCP/IP.
Definición: Es un estilo de programación, su objetivo primordial es la separación de la capa de presentación, capa de negocio y la capa de datos. ARQUITECTURA.
Transcripción de la presentación:

31/10/03 DAMMAD Reunión DAMMAD Grupo de Inteligencia Artificial Dpto. de Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos Diseño y Aplicación de Modelos Multiagente para Ayuda a la Decisión Arquitectura Software (Demostrador Bilbao)

31/10/03 DAMMAD Arquitectura de referencia

31/10/03 DAMMAD Arquitectura Conceptual del prototipo

31/10/03 DAMMAD Arquitectura Conceptual del prototipo

31/10/03 DAMMAD Arquitectura Conceptual del prototipo

31/10/03 DAMMAD Software SKADS Sobre plataforma (FIPA) de agentes JADE Agentes programados en JAVA Bases de Conocimiento  Patrones (KSM) -> integración de KSM  Jess Formatos de Ontologías  KSM  Jess  JADE

31/10/03 DAMMAD Integración de KSM Las primitivas se encapsulan en agentes JADE  Integración de C++ y JAVA (JNI)  Envoltorio de agente Las Bases de Conocimiento y Vocabularios Conceptuales se mantienen internos a cada agente, pero “ocultos” a la plataforma JADE. En la ontología JADE (para la comunicación entre agentes) sí se definen los tipos de datos de KSM Comunicación mediante ACL y protocolos FIPA

31/10/03 DAMMAD Primitivas KSM Programadas en C++ (Marcos, Reglas,...) Métodos principales  Cargar Base de Conocimiento  Ejecutar una Tarea  una misma primitiva puede propocionar varias tareas  se pasan entradas + parámetros y devuelve salidas + estado de control Tipos de datos intercambiados en KSM:  Booleanos, enteros, reales, símbolos, listas, hechos discretos,...  ArgBool, ArgInt, ArgReal, ArgSymbol, ArgList, ArgDiscreteFact,...

31/10/03 DAMMAD Agentificación de KSM Agente 1Agente 2Agente 3

31/10/03 DAMMAD Protocolos de Comunicación Cargar BC  Protocolo: FIPA-Request  Request con acción “Cargar BC” con fichero de BC y VC  Si se carga sin errores => inform-done  Si algún problema => failure/not-understood

31/10/03 DAMMAD Protocolos de Comunicación Ejecutar Tarea  Protocolo: FIPA-Query  Query-ref preguntando por valor del resultado de ejecutar una tarea  Las entradas se admiten en formato de datos y en modo string  Si no hay errores => inform con el resultado + estado control  Si algún problema => failure/not-understood

31/10/03 DAMMAD Arquitectura Software del Prototipo

31/10/03 DAMMAD Ontologías Ontologías de KSM  Vocabularios conceptuales (Concel) para BCs  Tipos de datos de las primitivas Ontologías de JADE  La utilizada en la interacción entre agentes Ontologías de Jess Problemas resueltos  Conversión de ontología JADE a tipos de datos KSM (C++) y viceversa  Conversión de ontología JADE a hechos JESS y viceversa  BCs de KSM y JESS comparten ontología: traducción de Concel (KSM) a JESS

31/10/03 DAMMAD Arquitectura Software del Prototipo

31/10/03 DAMMAD DA Informa de datos de sensores Protocolo FIPA-Query-ref Lee de fichero cada 5’ con formato (deffacts sensores (sensor(id "301001")(velocidad 74)(ocupacion 14.6)(saturacion 14.53)(vehiculos 87)) (sensor(id "301002")(velocidad 80)(ocupacion 10.7)(saturacion 11.59)(vehiculos 77)) (sensor(id "301003")(velocidad 75)(ocupacion 6.3)(saturacion 6.31)(vehiculos 38))...) Posible conexión con simulador  JADE corriendo en LABEIN con DA subscrito a la plataforma de Madrid  El simulador deja los ficheros en un directorio  El DA con acceso a ese directorio

31/10/03 DAMMAD PDAs BCs  Abstracción (cálculo exceso, demanda) (JESS)  En dos ficheros: uno genérico y uno de dominio (rangos veloc,...)  Identificación de problemas (Marcos KSM)  Cálculo de gravedad (JESS)  Cálculo estado general (JESS) Protocolos  FIPA-Subscribe: “inform” al CA cada vez que detecta un problema  FIPA- Query-Ref: al DA para pedirle los datos de los sensores  FIPA- Query-Ref: para informar al CA sobre estado general

31/10/03 DAMMAD PDAs Ejecución  Se piden datos de los sensores (query-ref al DA)  Abstraer las medidas (BC Abstracción)  Obtener lista de problemas (BC Problemas)  Para cada problema (patrón), calcular su gravedad (BC Gravedad)  Seleccionar el problema más grave  Calcular el estado general del área (BC Estado general) y guardarlo para cuando se solicite  Informar a CA subscrito la información sobre el problema

31/10/03 DAMMAD CAs Se subscribe a los PDAs BCs  Comunicación (Marcos KSM)  Propuestas de señalización (Marcos KSM)  Detección de Conflictos (Marcos KSM)  Resolución de conflictos (JESS): dos ficheros Protocolos  FIPA- Subscribe: a los PDAs para que informen de problemas detectados  FIPA- Query-Ref: a los PDAs para preguntar el estado general  FIPA- Inform: para intercambio de propuesta local con otros CAs

31/10/03 DAMMAD CAs Cuando se recibe “inform” de un problema  Guardarlo  Obtener los PDAs con los que comunicarse (BC Comunicación)  Solicitar el “estado general” a esos agentes Cada cierto tiempo (10’) se aplica lo siguiente:  Para cada problema, calcular propuestas de señalización (BC Propuestas)  Calcular propuesta LOCAL sin conflictos (BC Resolución Conflictos)  Obtener CAs con los que comparte paneles (BC Conflictos)  Intercambiar con esos CAs la propuesta local  Modificar propuesta local para evitar conflictos (BC Resolución Conflictos)

31/10/03 DAMMAD UIA En desarrollo... Muestra los problemas detectados en las distintas áreas  Se subscribe a detección de problemas de todos los PDAs Muestra propuestas de señalización de cada agente  Se subscribe a propuestas de señalización de los CAs

31/10/03 DAMMAD Ejemplo de interacción entre agentes PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA

31/10/03 DAMMAD Interacción entre agentes PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA

31/10/03 DAMMAD PDA06 pide datos de sensores a DA (deffacts sensores (sensor(id "301001")(velocidad 74)(ocupacion 14.6)(saturacion 14.53)(vehiculos 87)) (sensor(id "301002")(velocidad 80)(ocupacion 10.7)(saturacion 11.59)(vehiculos 77)) (sensor(id "301003")(velocidad 75)(ocupacion 6.3)(saturacion 6.31)(vehiculos 38)) (sensor(id "301004")(velocidad 70)(ocupacion 15.3)(saturacion 15.96)(vehiculos 91)) (sensor(id "301005")(velocidad 74)(ocupacion 13.8)(saturacion 14.73)(vehiculos 88)) (sensor(id "301007")(velocidad 57)(ocupacion 14.6)(saturacion 13.84)(vehiculos 30)) (sensor(id "301008")(velocidad 54)(ocupacion 5.9)(saturacion 5.72)(vehiculos 52)) (sensor(id "301011")(velocidad 71)(ocupacion 12.8)(saturacion 12.81)(vehiculos 75))... )

31/10/03 DAMMAD PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA Interacción entre agentes

31/10/03 DAMMAD PDA06 pide a KSM06 detectar problemas [d-fact('Rontegi tras Erandio','saturacion','alta'), d-fact('Rontegi tras Erandio','ocupacion','alta'), d-fact('Rontegi tras Erandio','velocidad','alta'), d-fact('Rontegi antes Barakaldo','saturacion','alta'), d-fact('Rontegi antes Barakaldo','ocupacion','alta'), d-fact('Rontegi antes Barakaldo','velocidad','alta'), d-fact('Rontegi tras Barakaldo','saturacion','alta'), d-fact('Rontegi tras Barakaldo','ocupacion','alta'), d-fact('Rontegi tras Barakaldo','velocidad','alta'), d-fact('Salida a Barakaldo','saturacion','alta'), d-fact('Salida a Barakaldo','ocupacion','alta'), d-fact('Salida a Barakaldo','velocidad','alta')]

31/10/03 DAMMAD KSM06 devuelve lista de problemas [[d-fact('Rontegi_tras_Barakaldo','localizacion','Rontegi tras Barakaldo'), d-fact('Rontegi_tras_Barakaldo','estado','desbordamiento'), d-fact('Rontegi_tras_Barakaldo','categoria','problema'), d-fact('Rontegi sentido Cruces','estado','con problemas')], [d-fact('Rontegi_antes_Barakaldo','localizacion','Rontegi antes Barakaldo'), d-fact('Rontegi_antes_Barakaldo','categoria','problema'), d-fact('Rontegi_antes_Barakaldo','estado','desbordamiento'), d-fact('Rontegi sentido Cruces','estado','con problemas')], [d-fact('Rontegi_tras_Barakaldo','localizacion','Rontegi tras Barakaldo'), d-fact('Rontegi_tras_Barakaldo','estado','desbordamiento'), d-fact('Rontegi_tras_Barakaldo','categoria','problema'), d-fact('Rontegi sentido Cruces','estado','con problemas')], [d-fact('Rontegi_tras_Erandio','localizacion','Rontegi tras Erandio'), d-fact('Rontegi_tras_Erandio','estado','desbordamiento'), d-fact('Rontegi_tras_Erandio','categoria','problema'), d-fact('Rontegi sentido Cruces','estado','con problemas')]] P1 P2 P3 P4

31/10/03 DAMMAD PDA06 informa a su CA (Atena) [d-fact('Rontegi_tras_Erandio','localizacion','Rontegi tras Erandio'), d-fact('Rontegi_tras_Erandio','estado','desbordamiento'), d-fact('Rontegi_tras_Erandio','categoria','problema'), d-fact('Rontegi sentido Cruces','estado','con problemas'), d-fact('Rontegi sentido Cruces','gravedad','media')]

31/10/03 DAMMAD PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA Interacción entre agentes

31/10/03 DAMMAD Atena pide PDAs con los que comunicarse Query-ref a KSMComunicaciónAtena d-fact('Rontegi_antes_Barakaldo','localizacion','Rontegi antes Barakaldo') d-fact('Rontegi_antes_Barakaldo','categoria','problema') d-fact('Rontegi_antes_Barakaldo','estado','desbordamiento') d-fact('Rontegi sentido Cruces','estado','con problemas') d-fact('Rontegi sentido Cruces','gravedad','media') Respuesta de KSMComunicaciónAtena [d-fact('PDA02','comunicacion',si), d-fact('PDA12','comunicacion',si)]

31/10/03 DAMMAD Atena solicita el estado general a PDAs PDA02 d-fact('Avanzada sentido Entrada','estado_general','medio') PDA12 d-fact('Eje Norte sentido Bilbao','estado_general','libre')

31/10/03 DAMMAD PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA Interacción entre agentes

31/10/03 DAMMAD KSMAtena da propuestas de señalización [[d-fact('Rontegi sentido Cruces','disminucion de trafico',27), d-fact('panel Tuneles Avanzada','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN EJE NORTE'), d-fact('panel Sondika','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO‘), d-fact('panel Artaza','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO'), d-fact('zona critica','problem area','Rontegi sentido Cruces'), d-fact('Eje Norte sentido Bilbao','aumento de trafico',8), d-fact('Lamiako sentido A8','aumento de trafico',19)], [d-fact('Rontegi sentido Cruces','disminucion de trafico',23), d-fact('Eje Norte sentido Bilbao','aumento de trafico',7), d-fact('panel Tuneles Avanzada','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN EJE NORTE'), d-fact('panel Artaza','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO'), d-fact('panel Sondika','estado','apagado'), d-fact('zona critica','problem area','Rontegi sentido Cruces'), d-fact('Lamiako sentido A8','aumento de trafico',16)], [d-fact('Rontegi sentido Cruces','disminucion de trafico',8), d-fact('Eje Norte sentido Bilbao','aumento de trafico',8), d-fact('panel Tuneles Avanzada','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN EJE NORTE'), d-fact('panel Artaza','estado','apagado'), d-fact('panel Sondika','estado','apagado'), d-fact('zona critica','problem area','Rontegi sentido Cruces')].... ]

31/10/03 DAMMAD KSMConflictos da CAs que comparten paneles Entrada Respuesta [d-fact('panel Tuneles Avanzada','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN EJE NORTE'), d-fact('panel Sondika','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO'), d-fact('panel Artaza','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO')] [d-fact('Briseide',conflicto,si), d-fact('Demetra',conflicto,si), d-fact('Elena',conflicto,si), d-fact('Atena',conflicto,si)]

31/10/03 DAMMAD Atena intercambia propuesta local Atena envía propuesta local a Demetra [d-fact('panel Tuneles Avanzada','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN EJE NORTE'), d-fact('panel Sondika','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO'), d-fact('panel Artaza','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO')] Demetra envía propuesta local a Atena [d_fact('panel Tuneles Avanzada','estado','PROBLEMAS EN EJE NORTE'), d_fact('panel Santurtzi','estado','PROBLEMAS EN EJE NORTE COJAN SOLUCION SUR PARA ACCEDER A BILBAO')]

31/10/03 DAMMAD PDA pide datos de sensores a DA PDA detecta problema e informa a su CA (y UIA)  Pide a KSM detectar problemas  KSM devuelve lista de problemas CA solicita el estado general a PDAs  Pide a KSM obtener la lista de PDAs con los que comunicarse (BC Comunicación) CA intercambia propuesta local  Calcular propuestas de control (BC Propuestas)  Pide a KSM los CAs con los que comparte paneles (BC Conflictos) CA envía propuesta a UIA Interacción entre agentes

31/10/03 DAMMAD Atena envía propuesta revisada a UIA [d-fact('panel Sondika','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO'), d-fact('panel Artaza','estado','PROBLEMAS EN RONTEGI DIRECCION CRUCES COJAN SUBFLUVIAL LAMIAKO')]

31/10/03 DAMMAD Reunión DAMMAD Grupo de Inteligencia Artificial Dpto. de Ciencias Experimentales e Ingeniería Universidad Rey Juan Carlos Diseño y Aplicación de Modelos Multiagente para Ayuda a la Decisión Arquitectura Software (Demostrador Bilbao)