Automatización del Razonamiento
Cualitativo y Aplicaciones
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ó en 1994 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.
Nuestro trabajo se estructura en seis grandes líneas, a saber,
- Formalismo y razonamiento cualitativo
- Diagnosis basada en modelos<
- Técnicas de Aprendizaje
- Razonamiento temporal y espacial
- Simulación cualitativa y semicualitativa
- Razonamiento causal
- Aplicaciones e implementaciones
En el grupo ARCA se integran grupos de investigadores de varias Universidades
Españolas:
- Universitat Politècnica de Catalunya
- Universidad de Valladolid
- Universitat de Girona
- Universitat Jaume I de Castelló
- Universidad del País Vasco
- Universidad de Málaga
- Universidad de Cádiz
- Universidad de Burgos
- Universitat Ramón Llull-ESADE
- Universidad de Huelva
- Universidad de Sevilla
El grupo ARCA está abierto a investigadores interesados en el campo del
Razonamiento Cualitativo y Aplicaciones del mismo. Pretendemos ampliar el grupo
de científicos con los de otras Universidades Españolas que trabajen
en líneas de investigación afines y que estén interesados
en participar en nuestras reuniones. Para conseguirlo nuestras reuniones y seminarios
están abiertas a ellos.
Un objetivo principal de nuestro grupo es potenciar las conexiones directas
con grupos europeos que trabajan en temas similares. ARCA es miembro de la red
de excelencia europea MONET (The Network of Excellence in Model-Based Qualitative
Reasoning Systems), y con la red europea SPACENET (Qualitative Spatial Reasoning).
Dentro del VI Programa Marco se está elaborando la propuesta de una red
de excelencia sobre razonamiento espacial y temporal, solicitada por miembros
de algunos grupos de ARCA.
HISTORIA Y REUNIONES
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.Estas jornadas
tuvieron su continuación al siguiente año de nuevo en Sevilla. El año 2001 se
celebraron en Valladolid la tercera edición de estas jornadas y se celebraron
a su vez las primeras Jornadas sobre Diagnosis. En el 2002 la reunión
del grupo se celebró en Vilanova i la Geltrú, pasando a llamarle IV Jornadas
ARCA, siendo sus temas centrales la Diagnosis y los sistemas cualitativos. Este
año la reunión se ha celebrado en Lanzarote, centrada en unas
jornadas de trabajo inter-grupos de manera que sirva para potenciar los lazos
existentes, así como para iniciar trabajos conjuntos. Este planteamiento
creemos que ha sido muy enriquecedor para el grupo, convirtiéndose en
unas jornadas de trabajo entre doctores y doctorandos, que han permitido a estos
últimos enriquecer sus trabajos de investigación con las sugerencias
allí planteadas. La siguiente reunión la tenemos planteada para
el próximo mes de Junio de 2004 e intentaremos llevar el espíritu
de nuestra red a algún grupo nuevo que aún no esté en la
red.
PUBLICACIONES
El grupo ARCA también ha ido produciendo una serie de publicaciones,
a un ritmo de una publicación por año, como resultado de
nuestras reuniones periódicas. La primera fue una monografía
sobre el estado del arte de cada una de las cinco líneas de trabajo
que abarca. Para cada una se presenta una introducción que va desde
lo general a lo concreto. Además se presentan nuestros propios trabajos
en cada línea de investigación. El título de la monografía
es Current Trends in Qualitative Reasoning and Applications, Ed. CIMNE
1995. El segundo trabajo del grupo ha sido la elaboración de un
número especial de la revista de la Asociación Española
para la Inteligencia Artificial (AEPIA), en particular, Número 6
Boletín de la AEPIA, Monografía sobre Razonamiento Cualitativo.
El último trabajo del grupo ha sido una monografía sobre
el estado del arte de las Técnicas Cualitativas en nuestro país.
Esta monografía es el resultado de las jornadas de trabajo tituladas
Técnicas Cualitativas, celebradas dentro del marco de CAEPIA'97.
La reunión celebrada en Valladolid también permitió la
publicación de un volumen titulado "Diagnosis, Razonamiento Cualitativo y
Sistemas Socioeconómicos", donde se recogían los trabajos presentados por
los diferentes grupos de ARCA que participaron en las Jornadas. De igual manera, las jornadas
que se celebraron en el año 2002 en Vilanova i la Geltrú, tambiém permitió publicar en las actas
aquellos trabajos que fueron seleccionados por el comité de programa.
La última edición de las mismas, que se ha celebrado en Lanzarote, se
aborda bajo la perspectiva de unas jornadas de trabajo inter-grupos de manera
que permita fomentar los lazos existentes, así como iniciar trabajos en conjunto.
Decir también que como resultado de estos trabajos se publicará un monográfico
en el primer cuatrimestre de 2004.
APLICACIONES
En cuanto a las aplicaciones de especial relevancia que se están desarrollando
por parte de miembros del grupo, cabe destacar:
- Un sistema que permite representar y razonar sobre aspectos del espacio
como orientación, distancia y direcciones cardinales de manera similar
a como lo hacemos los humanos (p. e. "el supermercado está a la derecha,
cerca de aquí, hacia el norte") para la navegación simulada
de un robot en el entorno estructurado de las calles de Castellón.
- Un sistema de representación cualitativa espacial (en el que se
consideran los aspectos de orientación y distancia) para la navegación
autónoma de un robot móvil real.
- Sistema de control de depuración de aguas residuales basado en
redes neuronales cualitativas. Comparación con aproximación
por lógica difusa.
- Un clasificador de aptitud para estudios universitarios para estudiantes
de bachillerato basado en sistema neuronales cualitativos.
- Un sistema de aprendizaje de comportamientos reactivos en sistemas multi-robot
móbiles
- Un clasificador cualitativo que utiliza etiquetas cuantitativas y cualitativas
- Un software que permite realizar cálculo cualitativo en modelos
de órdenes de magnitud
- Un operador cognitivo cualitativo referencial parar clasificar el comportamiento
de personas realizando una tarea de supervisión.
- Estudio cualitativo temporal sobre las audiencias televisivas en Andalucía
- Desarrollo de una vivienda inteligente controlada de manera distribuida
y con nteracción independiente del dispositivo
- Sistema para la vocalización de vertederos de basura
TESIS DOCTORALES
Dentro del grupo en los últimos años se han ido leyendo diversas
tesis doctorales, como resultado de las investigaciones realizadas por miembros
del grupo
- Integration of several aspects of space into the same model using
CLP extended with CHRs for qualitative navegation presentada por Teresa
Escrig en Mayo de 1.997 en la Universidad de Castellón
- Razonamiento y simulación de sistemas que integran conocimiento
cualitativo y cuantitativo, presentada por Rafael M. Gasca en Febrero
de 1.998 en la Universidad de Sevilla
- Estructuras matemáticas para modelos cualitativos de órdenes
de magnitud absolutos, presentada por Núria Agell en Marzo de
1.998 en la Universidad Politécnica de Cataluña
- A mixed qualitative-quantitative self learning classification technique
applied to situation assessment in process control, presentada por J.
Carlos Aguado en Diciembre de 1998 en la Universidad Politécnica
de Cataluña
- Patrones de comportamiento temporal en modelos semicualitativos con
restricciones , presentada por Juan Antonio Ortega en Abril de 2.000
en la Universidad de Sevilla
- Application of Modal Interval Analysis to the simulation of the behaviour
of dynamic systems with uncertain parameters, presentada por Joaquim Armengol
en Abril de 2.000 en la Universitat de Girona.
- Posibles conflictos como alternativa al registro de dependencias en línea
para el diagnóstico de sistemas continuos presentada por D. Belarmino
Pulido en Enero de 2001 en la Universidad de Valladolid
- Algoritmos heurísticos para la selección de secuencias óptimas
de ensamblaje presentada por D. Carmelo del Valle Sevillano en Septiembre
de 2001 en la Universidad de Sevilla
PROXIMAS REUNIONES Y EVENTOS
La última reunión prevista del grupo ARCA será
DIRECTOR Y COORDINADORES DEL GRUPO
DIRECTOR
Miguel Toro
Escuela Técnica Superior de Ingeniería Informática
Departamento Lenguajes y Sistemas Informáticos
Avda. Reina Mercedes s/n, 41012 - Sevilla
Teléfono 95 455 27 78
Fax 95 455 71 39
e-mail: mtoro@lsi.us.es |
COORDINADORES
Juan Antonio Ortega
Escuela Técnica Superior de Ingeniería Informática
Departamento Lenguajes y Sistemas Informáticos
Avda. Reina Mercedes s/n, 41012 - Sevilla
Teléfono 95 455 27 73
Fax 95 455 71 39
e-mail: ortega@lsi.us.es
Juan Carlos Aguado
Facultad de Náutica de Barcelona
Edificio U, C/. Pau Gargallo nº5, 08028 - Barcelona
Teléfono 93 401 16 80
Fax 93 401 7045
e-mail: jaguado@esaii.upc.es
|
desde 23/01/02
|
Estadísticas
|
Ultima actualización: 5/05/04
Realizado por: Juan Antonio Ortega |