Presentacion II jornadas de Lógica, Computación e Inteligencia Artificial

1,399
-1

Published on

Estas son las transparencias que usé para presentar el doctorado en las II Jornadas de Lógica, Computación e Inteligencia Artificial, celebradas en la ETS Ing. Informática de la U. de Sevilla, los días 16 y 17 de Noviembre de 2009

Published in: Education, Technology
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,399
On Slideshare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
27
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide
  • Presentacion II jornadas de Lógica, Computación e Inteligencia Artificial

    1. 1. II Jornadas de Lógica, Computación e IA Presentación: La investigación como pilar de la innovación Joaquín Borrego Díaz Coordinador del programa de doctorado Departamento de Ciencias de la Computación e IA Universidad de Sevilla
    2. 2. II Jornadas de Lógica, Computación e IA Presentación: La investigación como pilar de la innovación Joaquín Borrego Díaz Coordinador del programa de doctorado Departamento de Ciencias de la Computación e IA Universidad de Sevilla
    3. 3. Presentación: La investigación en el doctorado
    4. 4. Presentación: La investigación en el doctorado Programa de doctorado e investigación Ciencia e I+D+I: ejemplos relacionados con el Departamento de CCIA Las jornadas
    5. 5. Programa de doctorado “Lógica, Computación e Inteligencia Artificial” Tres líneas principales de investigación: Lógica Matemática Ciencias de la Computación Inteligencia Artificial Alto componente investigador en el departamento Seis proyectos de Investigación (4 nacionales y 3 internacionales) Un proyecto de excelencia Coordinación de una red temática Más datos en http://doctorado.cs.us.es/web/ En los últimos cinco años, 12 tesis doctorales (3 doct. europeo, 2 premios extraordinarios) Actualmente hay 24 alumnos (docencia, investigación, tesis)
    6. 6. Programa de doctorado “Lógica, Computación e Inteligencia Artificial” Tres líneas principales de investigación: Lógica Matemática Ciencias de la Computación Inteligencia Artificial Alto componente investigador en el departamento Seis proyectos de Investigación (4 nacionales y 3 internacionales) Un proyecto de excelencia Coordinación de una red temática Más datos en http://doctorado.cs.us.es/web/ En los últimos cinco años, 12 tesis doctorales (3 doct. europeo, 2 premios extraordinarios) Actualmente hay 24 alumnos (docencia, investigación, tesis)
    7. 7. Vocación Internacional
    8. 8. Vocación Internacional Rumanía Mongolia Italia España México China Portugal Irak Colombia Jordania Ecuador Bolivia Brasil Establecimientos de acuerdos Erasmus para doctorado/máster
    9. 9. Filosofía Fundamental La ciencia es el pilar del desarrollo tecnológico y de la innovación... ...Y la ciencia se basa en la teoría, en la investigación
    10. 10. Filosofía Fundamental La ciencia es el pilar del desarrollo tecnológico y de la innovación... ...Y la ciencia se basa en la teoría, en la investigación
    11. 11. CYBERSYN Investigación Stafford Beer Proceso Teórico (Chile, 1973) Desarrollo Proceso Científico Innovación Proceso de Ingeniería
    12. 12. La Formalización y el razonamiento Son características fundamentales del programa Razonamiento matemático sobre la computabilidad Grupo de Lógica Matemática Modelos de computación no convencionales Grupo de Computación Natural Razonamiento automático y lógica computacional Grupo de Lógica Computacional
    13. 13. Un cto +I ye l I+D a La Formalización y el ro a íne razonamiento p n o da l ci a na n c e Son características fundamentales del programa Razonamiento matemático sobre la computabilidad Grupo de Lógica Matemática Modelos de computación no convencionales Grupo de Computación Natural Razonamiento automático y lógica computacional Grupo de Lógica Computacional
    14. 14. Ejemplo I: La teoría P-Sistemas (G. Paun) Nuevo Modelo de computación Propiedades interesantes: Complejidad Universalidad No determinismo Paralelismo masivo ...
    15. 15. Ejemplo I: La teoría P-Sistemas (G. Paun) Nuevo Modelo de computación Propiedades interesantes: Complejidad Universalidad No determinismo Paralelismo masivo ...
    16. 16. Ejemplo I: Aplicaciones Modelización/simulación de procesos biológicos Tumores Simulación de modelos en ecología Conservación de especies (quebrantahuesos) Especies invasoras (mejillón cebra) ...
    17. 17. Ejemplo I: Aplicaciones Modelización/simulación de procesos biológicos Tumores Simulación de modelos en ecología Conservación de especies (quebrantahuesos) Especies invasoras (mejillón cebra) ...
    18. 18. Ejemplo II: La teoría Evariste Galois (1811-1832) Trabajos revolucionarios en teoría de grupos Conexiones de Galois Garrett Birkhoff (1911-1996) Resultados en teoría de retículos
    19. 19. Ejemplo II: La teoría Evariste Galois (1811-1832) Trabajos revolucionarios en teoría de grupos Conexiones de Galois Garrett Birkhoff (1911-1996) Resultados en teoría de retículos
    20. 20. Ejemplo II: Aplicaciones Análisis Formal de Conceptos Matematización de conceptos y sus relaciones (retículo completo) mediante una conexión de Galois Aplicaciones en Medicina, Minería de Datos, Web Semántica, Web 2.0, etc. Web Semántica Móvil 2.0 Mowento
    21. 21. Ejemplo II: Aplicaciones Análisis Formal de Conceptos Matematización de conceptos y sus relaciones (retículo completo) mediante una conexión de Galois Aplicaciones en Medicina, Minería de Datos, Web Semántica, Web 2.0, etc. Web Semántica Móvil 2.0 Mowento
    22. 22. Ejemplo III: La teoría Transversales a todas las líneas de investigación: Lógica Matemática Teoría de clases y conjuntos Teoría de la computabilidad y complejidad Lenguajes formales Lógica Computacional Programación lógica Sistemas basados en conocimiento Razonamiento automático
    23. 23. Ejemplo III: La teoría Transversales a todas las líneas de investigación: Lógica Matemática Teoría de clases y conjuntos Teoría de la computabilidad y complejidad Lenguajes formales Lógica Computacional Programación lógica Sistemas basados en conocimiento Razonamiento automático
    24. 24. Ejemplo III: Aplicaciones Control inteligente de maquinaria industrial mediante sistema experto Procesamiento del lenguaje natural Verificación de sistemas inteligentes Razonamiento Automático para la Web Semántica Aplicaciones empresariales
    25. 25. Ejemplo III: Aplicaciones Control inteligente de maquinaria industrial mediante sistema experto Procesamiento del lenguaje natural Verificación de sistemas inteligentes Razonamiento Automático para la Web Semántica Aplicaciones empresariales
    26. 26. Espíritu de las II Jornadas Doctores relacionados con las líneas de investigación Doctorado como base de una carrera profesional e investigadora Se aprende a investigar en las universidades La ciencia como pilar de la verdadera I+D+i
    27. 27. Espíritu de las II Jornadas Doctores relacionados con las líneas de investigación Doctorado como base de una carrera profesional e investigadora Se aprende a investigar en las universidades La ciencia como pilar de la verdadera I+D+i Vítores en la Catedral de Sevilla
    28. 28. Presentaciones de hoy
    29. 29. Presentaciones de hoy 16:30 Francisco J. Romero Campero (Universidad de Nottingham): Modelos multicompartimentales en biología de sistemas y biología sintética 17:15 David Fernández Duque (Universidad de Sevilla): ¿Qué tiene que ver la lógica con la topología? 18:00 Café 18:30 José F. Quesada Moreno (Infinity - Grupo Vocalcom): 6000 días y algunas noches de lenguaje natural: ¿un sueño? ¿una pesadilla? Un enfoque multidisciplinar en la Ingeniería del Lenguaje Natural
    30. 30. Presentaciones de mañana
    31. 31. Presentaciones de mañana 09:30 Agustín Riscos Núñez (Universidad de Sevilla): ¿Saben sumar las células? 10:30 Francisco García Sánchez (Universidad de Murcia): Agentes Inteligentes y Servicios Web Semánticos: ¿amigos o enemigos?
    32. 32. ¡Disfrutemos de las charlas! http://doctorado.cs.us.es/web/ Joaquín Borrego Díaz Coordinador del programa de doctorado Departamento de Ciencias de la Computación e IA Universidad de Sevilla jborrego@us.es
    33. 33. ¡Disfrutemos de las charlas! http://doctorado.cs.us.es/web/ Joaquín Borrego Díaz Coordinador del programa de doctorado Departamento de Ciencias de la Computación e IA Universidad de Sevilla jborrego@us.es

    ×