Jornadas de Trabajo sobre Razonamiento con Intervalos

Sevilla, 17 y 18 de junio de 1999


 



Estas Jornadas nacen con la intención de acercar dos grupos de investigadores españoles que trabajan con intervalos. En particular, los grupos IAC (Intervalos Aplicados a Control) y ARCA (Automatización del Razonamiento Cualitativo y Aprendizaje). Los temas de los grupos ARCA e IAC son conexos en algunos aspectos principalmente en los temas relacionados con la utilización de los Intervalos en el Razonamiento Cualitativo. Además se abordará la utilización de intervalos en los campos del Razonamiento Temporal y Espacial.

Se pretende que estas Jornadas sirvan para discutir sobre la posible aplicación industrial de estos temas. En concreto, se pretende estudiar su aplicación al control y diagnosis de sistemas. Además, estas Jornadas deben promover la discusión sobre los trabajos que se presenten, cuyos temas centrales tratarán sobre Intervalos, Control y Razonamiento.

El Departamento de Lenguajes y Sistemas Informáticos de la Facultad de Informática de la Universidad de Sevilla se encarga de la organización de las Jornadas

 A estas Jornadas asistirán investigadores que se encuentran integrados dentro de los colectivo ARCA e IAC pertenecientes entre otros a las Universidades Españolas:

Grupos participantes

ARCA

El colectivo español ARCA (Automatización del Razonamiento Cualitativo y Aplicaciones) está formado por grupos y personas que investigan y trabajan en el campo del Razonamiento Cualitativo. Este grupo surgió con la idea de promover la cooperación investigadora real entre científicos nacionales e internacionales sobre el tema; y estudiar la posible aplicación industrial del razonamiento cualitativo.

El trabajo de este grupo se estructura principalmente en las siguientes líneas,

Un objetivo principal de este grupo es potenciar las conexiones directas con grupos europeos que trabajan en temas similares. Actualmente se está cooperando con el grupo de la red europea MONET (The Network of Excellence in Model-Based Qualitative Reasoning Systems), y con la red europea SPACENET (Qualitative Spatial Reasoning). Actualmente la Dra. Louise Travé-Massuyès del LAAS-CNRS francés se encuentra como profesora visitante en la Universidad de Sevilla.

La sesión constituyente del grupo ARCA se celebró en Barcelona en Junio de 1994. La siguiente reunión fue en Castellón en Enero de 1995, donde ya se celebraron exposiciones de investigadores en una de nuestras líneas de trabajo, en concreto, sobre Razonamiento Espacial. La tercera tuvo lugar en Sevilla durante el mes de Abril del mismo 1995, siendo su tema central la Simulación Cualitativa; en Noviembre de 1995 y coincidiendo con la Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'95) celebrada en Alicante tuvo lugar la siguiente reunión. Por motivos diversos, no fue hasta Diciembre de 1996 la quinta reunión, coincidiendo con el segundo Forum sobre Razonamiento Cualitativo Euro-QR, celebrado en Barcelona. El tema de la misma fue doble: fundamentos teóricos y modelos eco-biológicos.

Paralelamente se han ido realizando varias actividades incluidas en diversos congresos. Se han celebrado seminarios dentro las Conferencias de la Asociación Española para la Inteligencia Artificial de los años 1995 y 1997, celebradas en Alicante y Torremolinos (Málaga) respectivamente. En el año 1997 el grupo ARCA celebró una sesión especial sobre Razonamiento Cualitativo en el congreso IFAC-IFIP-IMACS Conference - Control of Industrial Systems, celebrado en Belfort (Francia). En el año 1998 se ha celebrado una sesión especial sobre Razonamiento Cualitativo dentro del congreso internacional 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, celebrado en Junio en Benicàssim (Castellón). También en el año 1998 se celebraron en Sevilla las Jornadas de Trabajo sobre Metodologías Cualitativas aplicadas a los Sistemas Socioeconómicos.

Más información sobre el grupo se puede obtener en la página del grupo ARCA

IAC

El grupo IAC fue creado por iniciativa de Joseba Quevedo (ESAII) de la Universidad Politécnica de Cataluña y Louise Travé-Massuyès (LAAS-CNRS, Toulouse).

Este grupo reune principalmente equipos catalanes: Universidad Politécnica de Cataluña, Universidad de Gerona, etc.

El tema principal del grupo son la aplicación de los intervalos en el Control de sistemas.

La primera reunión de IAC fué en Abril de 1998 en Terrassa (ESAII, UPC) siendo su tema la simulación intervalar. En Junio del mismo año y coincidiendo con la celebración del congreso WESIC'98 en Girona tuvo lugar una sesión del grupo donde se trabajó sobre los Intervalos modales y su aplicación. En el mes de noviembre de ese año se volvió a reunir el grupo trabajando sobre los Intervalos para el control. La última reunión ha tenido lugar este año 1999 en Girona en el mes de Febrero.

Los principales temas de trabajo del grupo son

Lugar de celebración

Las Jornadas se celebrarán en el salón de grados de la Facultad de Informática y Estadística de la Universidad de Sevilla. Este centro está situado en el campus de Reina Mercedes.

Programa Científico (provisional)

DÍA 17 DE JUNIO
  • 16:00 h Bienvenida y Apertura de las Jornadas

  • Miguel Toro (Univ. de Sevilla)
    Louise Travé-Massuyès (LAAS- CNRS Francia)

  • 16:30 h Sesión: Razonamiento y simulación de sistemas dinámicos con información Intervalar
    • Utilización de información intervalar en la simulación semicualitativa

    • Rafael M. Gasca (Univ. de Sevilla)
    • Metodología semicualitativa para razonar sobre sistemas dinámicos

    • Juan Antonio Ortega (Univ. de Sevilla)
    • Análisis de un modelo dinámico con conocimiento intervalar
      Francisco Velasco (Univ. de Sevilla)
    • Una implementación para la resolución de sistemas de restricciones con conocimiento intervalar

    • (Univ. de Huelva)
DÍA 18 DE JUNIO
  • 9:00 h Sesión: Análisis, Diagnosis y Control
    • Generación de envolventes con error limitado usando análisis intervalar modal

    • Louise Travé-Massuyès (LAAS-CNRS Francia)

    • Eduardo Fernández Camacho (Univ. de Sevilla)
    • Aplicaciones del análisis intervalar a sistemas y control.
      Presentación del grupo de intervalos modales
      Josep Vehí (Univ. de Girona)

  • 11:30 h Café

    • Estrategias de detección de fallos con modelos intervalares para sistemas realimentados
      Joseba Quevedo y Teresa Escobet(Univ. Politecnica de Catalunya)
    • Extensión del CA-EN a procesos con múltiples entradas. Aplicación a una turbina de gas
      Joseba Quevedo, Sebastian Tornil y Teresa Escobet (Univ. Politecnica de Catalunya)
    • Generación de agentes artificiales en la supervisión de Procesos
      Pere Ponsa
  • 13:00 h Sesión: Razonamiento Temporal y Espacial con Intervalos
    • La utilización de información intervalar en Razonamiento Espacial Cualitativo
      Tere Escrig (Univ. de Castellón)

  • 13:45 h Futuras colaboraciones y reuniones de los grupos
  • 14:30 h Clausura de las Jornadas

Última revisión 31/5/99
Juan Antonio Ortega