En la segunda sesión de estas jornadas asistimos a las siguientes intervenciones:

• El profesor Eugenio Roanes introdujo en su conferencia Algunas aplicaciones de las bases de Gröbner en Inteligencia Artificial (véase aquí las transparencias de la presentación) la relación algebraica entre el anillo de polinomios de característica finita y las lógicas proposicionales multivaluadas.
• Los profesores León A. González y Carlos Rodríguez-Solano presentaron una aplicación muy interesante de la interpretación polinomial de la lógica, Aproximación a la psicología desde el álgebra computacional (véase aquí el fichero de la presentación). Este tipo de aplicaciones es muy interesante porque la recogida de la información es mucho mas compleja que en el caso de sistemas basados en conocimiento que razonan sobre los experimentos y datos, pues está mediada por el especialista que trata al paciente. En el fichero antes enlazado se puede ver la arquitectura conceptual del sistema.
• El profesor Alejandro Fernández Margarit presentó Lógica Matemática: Teoría de Modelos. (Primera Tesis) (aquí están las transparencias de la presentación) en el que describió -científica y personalmente- la elaboración de su tesis bajo la dirección de Luís Laita. Espero que los alumnos de doctorado hayan captado lo que Alejandro transmitió junto con los resultados de teoría de modelos: la elaboración de una tesis comprende un trabajo de análisis e investigación guiado por las sugerencias del director, y potenciado por la pasión por descubrir.
• Cerró las jornadas el profesor Luis Laita, con su conferencia Una (muy parcial) aproximación desde a Inteligencia Artificial a la teoría cuántica de la gravitación (aquí puede descargarse su presentación). En contadas ocasiones se tiene la oportunidad de presenciar una charla de un sabio. Y, excepcionalmente se asiste una conferencia en la que éste nos describe el proceso de investigación que está llevando a cabo en estos momentos. Expuso, de manera clara, las ideas que está manejando para elaborar una teoría lógica para conciliar las mecánicas cuántica y relativista. El trabajo está en fase preliminar, y por ese motivo la conferencia fue especialmente estimulante.

Con la intervención de Luis Laita se clausuraron unas jornadas en las que los alumnos de doctorado pudieron compartir unas horas de ciencia con los profesores del departamento y con relevantes investigadores españoles.

Durante los días 13 y 14 de Noviembre organizamos las I Jornadas sobre Lógica, Computación e Inteligencia Artificial, como jornadas científicas de bienvenida a los alumnos y como homenaje al profesor Luis M. Laita de la Rica, catedrático emérito de la Universidad Politécnica de Madrid. El amplio abanico de temas de investigación del Prof. Luis Laita estuvo reflejado en varias de las conferencias invitadas, cuya temática está estrechamente relacionada con el trabajo que el profesor Laita ha realizado a lo largo de su dilatada y fructífera carrera científica.

No elegí, como coordinador del programa y organizador de las jornadas, a los conferenciantes ni los temas de los que hablaron. Todos fueron elegidos por ser discípulos directos de L. Laita (bien como coautores de artículos, doctorandos o que sus proyectos de I+D han sido amparados por la dirección o coordinación de Luis). Sin embargo, además de la lógica cercanía de muchas intervenciones, se respiró un ambiente de pasión por la ciencia que es la Computación y la Inteligencia Artificial. En España es muy habitual -demasiado habitual- abandonar el terreno de la ciencia por el de la sola aplicación. Los nuevos planes del Ministerio para los estudios insisten en rebajar la noción de ciencia para dejar paso a la noción de requerimientos del mercado. De esta forma olvidamos que la ciencia tiene una historia, que los avances tecnológicos provienen de descubrimientos y teorías científicas que alguien tiene que elaborar. Varias de las intervenciones pusieron de manifiesto que el que domina la ciencia (y desarrolla la teoría) la puede aplicar en campos muy variados.
En la sesión del primer día se impartieron las siguientes conferencias:

• El profesor Agustín Riscos, profesor del departamento, presentó las jornadas como uno de los primeros discípulos de L. Laita, evocando aquellos primeros años de duro trabajo. Yo, como discípulo de segunda generación, no viví aquellos momentos. Ni por supuesto los nuevos alumnos de doctorado.
• El profesor Luis de Ledesma presentó la conferencia Teoría y pericia. El ejemplo de la perspicacia y los cambios de representación (presentación). En su interesante intervención nos mostró cómo formalizar ese esquiva habilidad de los humanos para cambiar de representación cuando deseamos resolver un problema, y cómo esa formalización puede ser implementada en un sistema.
• El profesor Eladio Domínguez nos describió, en una charla magistral, sin transparencias, sin pizarra, uno de los proyectos en los que está embarcado en la U. de Zaragoza, concretamente, nos esbozó Arquitectura 3D para la gestión longitudinal de un biobanco. Sorprendentemente, sus trabajos sobre la formalización de la fenomenología tienen aplicación en el diseño de un biobanco, donde los protocolos de extracción y manipulación forman parte de los propios datos. Deseo destacar una noción en la que Eladio insistió: ellos trabajan en I+D+I+F (Investigación más desarrollo más innovación más formación). Es decir, los contratados que trabajan en su fundación trabajan en proyectos pero, a la vez, se forman como doctores. De esta forma no sólo producen nuevos resultados y aplicaciones, incorporan doctores al tejido productivo español (de los que anda muy necesitado).
• El profesor Julio Rubio habló, en su charla Lógica computacional y cálculo simbólico (presentación), de la metodología que sigue y seguirá en la verificación de sistemas de cálculo simbólico. La idea, más realista que la verificación formal directa de sistemas completos (casi irrealizable), consiste en verificar versiones de módulos del sistema que sean susceptibles de ser tratados de esa forma. Esta proyecto envuelve a profesores de mi departamento, y especialmente,al trabajo de nuestra compañera de la Universidad de la Rioja, Mirian Andrés, fallecida trágicamente hace poco, que trabajó a caballo entre su Universidad y el despacho de mi compañero José Luis Ruiz Reina, y para la que Julio tuvo unas palabras durante su intervención.

En el próximo post hablaré de la segunda jornada. Sólo una nota más. Las felicitaciones por la organización de estas jornadas que estamos recibiendo no son merecidas. La responsabilidad por el contenido, el ambiente y la cercanía de los conferenciantes es exclusiva de ellos. Los alumnos de este nuevo curso se encontraron ante un evento y unos temas que, si bien son ajenos a los temas principales del periodo de docencia de nuestro programa, sí les permiten obtener una visión un poco más amplia de algunas líneas de investigación en el área de Ciencias de la Computación e Inteligencia Artificial en España.