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

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

Presentación: La investigación en el doctorado

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

Programa de doctorado “Lógica, Computación e Inteligencia Artiﬁcial” Tres líneas principales de investigación: Lógica Matemática Ciencias de la Computación Inteligencia Artiﬁcial 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)

Vocación Internacional

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

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

CYBERSYN Investigación Stafford Beer Proceso Teórico (Chile, 1973) Desarrollo Proceso Cientíﬁco Innovación Proceso de Ingeniería

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

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

Ejemplo I: La teoría P-Sistemas (G. Paun) Nuevo Modelo de computación Propiedades interesantes: Complejidad Universalidad No determinismo Paralelismo masivo ...

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) ...

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

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

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

Ejemplo III: Aplicaciones Control inteligente de maquinaria industrial mediante sistema experto Procesamiento del lenguaje natural Veriﬁcación de sistemas inteligentes Razonamiento Automático para la Web Semántica Aplicaciones empresariales

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

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

Presentaciones de hoy

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 (Inﬁnity - 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

Presentaciones de mañana

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?

¡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

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

by Joaquín Borrego-Díaz on Nov 19, 2009

Accessibility

Categories

Tags

Upload Details

Usage Rights

2 Embeds 43

Statistics

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

http://doctorado.cs.us.es	39
http://www.slideshare.net	4