Transparencias que usé para presentar las III Jornadas de Lógica, Computación e Inteligencia Artificial (30 noviembre, 1-2 Diciembre de 2010)

1. III Jornadas
Lógica, Computación e
Inteligencia Artificial
Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010

2. III Jornadas
Lógica, Computación e
Inteligencia Artificial
Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
Máster en Lógica,
Computación e
Inteligencia Artificial

3. Contenido

5. Presentación del Máster

6. Presentación del Máster
• Máster Universitario
• Aprobado para este curso 2010-11
• De orientación investigadora
• Amplía la oferta del doctorado que lo
precede

7. Programa de doctorado

8. Programa de doctorado
• Mención de Calidad (referencia 2007-00137)
• 17 tesis doctorales
• Colaboran tres grupos de investigación:
• Grupo de Computación Natural
• Grupo de Lógica Computacional
• Grupo de Lógica Matemática

9. Proyectos de
Investigación nacionales

10. Proyectos de
Investigación nacionales
• Computación Celular: Aplicaciones a la
Biología de Sistemas y Sintética
(TIN2009-13192)
• Marco Lógico-computacional para la
evolución de teorías sobre conceptos
formales (TIN2009-09492)
• Modelos de la aritmética y álgebras de
funciones computables (MTM2008-06435).

11. Cursos

12. Cursos
• Aprendizaje Automático
• Computación Bioinspirada
• Ingeniería del Conocimiento
• Métodos Computacionales en Vida Artificial
• Razonamiento Automático
• Representación del Conocimiento en la Web
• Seminario de Lógica Matemática y Computación
• Competencias Digitales para la Enseñanza
• Modelos de la Aritmética
• Programación Lógica
• Razonamiento Asistido por Computador
• Simulación y Análisis Computacional en Biología de Sistemas
• Síntesis,Verificación y Razonamiento sobre Agentes Inteligentes
• Técnicas Inteligentes en Bioinformática

13. Tema de las Jornadas:
de la ciencia a la Ingeniería

14. Tema de las Jornadas:
de la ciencia a la Ingeniería
• La Teoría y la Ciencia como
pilar para la innovación
• La Ingeniería como
herramienta de aplicación/
producción de nuevos servicios
y sistemas
• La innovación es la apuesta
natural para transferir
conocimiento

15. Premisas
• Nunca se innova sin una base teórica y un
desarrollo científico
• Los resultados obtenidos/estudiados
pueden tener aplicación en el futuro

16. ¿Por qué elegir ese
tema?

17. ¿Por qué elegir ese
tema?
• El doctorado (y el departamento, y
por tanto el máster) nacieron del
seminario de Lógica

19. 92
9 1-
r so
C u

22. Un resultado teórico/
matemático/computacional
puede ser utilizado en
aplicaciones inesperadas

23. Un resultado teórico/
matemático/computacional
puede ser utilizado en
aplicaciones inesperadas

24. Ejemplo
• Todo cuerpo real
cerrado admite
eliminación de
cuantificadores
• No sólo lo prueba,
describe un
procedimiento

25. Ejemplo
• Todo cuerpo real
cerrado admite
eliminación de
cuantificadores
• No sólo lo prueba,
describe un
procedimiento

27. Robótica

28. Robótica

29. Otro ejemplo:
¿Dónde está ahora la Teoría de
conjuntos?

30. Otro ejemplo:
¿Dónde está ahora la Teoría de
conjuntos?

31. Otro ejemplo

32. Otro ejemplo

33. El cielo del Linked Data en 2008

34. El cielo del Linked Data en 2008

35. El cielo del Linked Data en 2010

36. El cielo del Linked Data en 2010

37. Razonamiento automático
Lógica Computacional

38. Razonamiento automático
Lógica Computacional

39. ¿Empleo?

40. ¿Empleo?

42. Temas tratados en los seminarios

50. Programa

52. • Martes:
• Jorg Flum: Lógicas para PTime y sistemas de demostración
• Mario de J. Pérez Jiménez. De la conjetura de Friedman a la
modelización del mejillón cebra
• Miércoles:
• Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia
• Andrés Cordón Franco: Lógicas modales. Aplicaciones al estudio
de protocolos de comunicación incondicionalmente seguros
• José Antonio Alonso Jiménez: Lógica Computacional en Sevilla (30
años en una hora)
• Jueves (Facultad de Biología):
• Antonio Paredes Moreno: En torno a la interoperabilidad
semántica en la empresa
• Ignacio Pérez-Hurtado de Mendoza: Trayectoria de una Tesis
Doctoral: Herramientas de simulación para Membrane
Computing
• Francisco F. Lara Martín Modelos de la Aritmética y complejidad
computacional implícita

53. III Jornadas
Lógica, Computación e
Inteligencia Artificial
Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010

54. III Jornadas
Lógica, Computación e
Inteligencia Artificial
Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010
Máster en Lógica,
Computación e
Inteligencia Artificial