Archivo por autor

Contenido del curso Ingeniería del Conocimiento

En esta materia se presenta la Ingeniería del Conocimiento como un paradigma de trabajo en Inteligencia Artificial. Tiene como objetivo onseguir que los alumnos conozcan la metodología CommonKADS para el análisis y desarrollo de sistemas basados en conocimiento y sean capaces de desarrollar una aplicación siguiendo esta metodología. Además, se estudian distintos sistemas de representación del conocimiento y razonamiento.

Los contenidos de la materia son:

  • Sistemas basados en conocimiento.
  • La metodología CommonKADS: Análisis contextual, conceptual y artefactual
  • Desarrollo de sistemas basados en conocimiento siguiendo la metodología CommonKADS.
  • Sistemas de representación del conocimiento y razonamiento.

El programa de doctorado recibe la mención “Hacia la excelencia”

Nuestro programa de doctorado (al que da acceso este Master) ha recibido el informe favorable a su solicitud de “Mención hacia la excelencia”. En el informe destaca, entre otros apartados, la excelente repercusión científica de los doctores formados en nuestro programa

III Jornadas de Lógica, Computación e Inteligencia Artificial

Teoría, ciencia, investigación y aplicaciones

Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010

Universidad de Sevilla

El Máster de Lógica, Computación e Inteligencia Artificial ( del que forma parte el programa de doctorado con el mismo nombre, con mención de calidad otorgada por la ANECA, referencia 2007-00137), es impartido por el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. El Departamento organiza, con motivo de la apertura del periodo docente 2010-11 de dicho programa, las III Jornadas de Lógica, Computación e Inteligencia Artificial. En dichas jornadas se pretende ofrecer, tanto a los alumnos del citado programa como a todo aquel interesado en este campo, una visión de algunas de las líneas de investigación que se desarrollan en España. Suponen, asímismo, una continuación de las I Jornadas y de las II Jornadas.

A la hora de diseñar su contenido, hemos pretendido describir el recorrido natural de los procesos de I+D+i, desde su germen en seminarios de investigación y tesis doctorales hasta los resultados de innovación. Como en ediciones anteriores, a la hora de elegir a los ponentes hemos combinado tanto a  investigadores de reconocido prestigio como a recientes doctores que puedan trasladar a los asistentes a estas jornadas (y especialmente a los alumnos de doctorado) la experiencia académica, personal y profesional que supone la realización de una tesis doctoral.

A quién va dirigido

Las Jornadas van dirigidas a estudiantes de doctorado, profesores, e investigadores, así como a alumnos de los últimos cursos de estudios superiores científico-tecnológicos, especialmente Ingenierías, Matemáticas, Estadística y Física.

Localización

Las Jornadas tendrán lugar en Salón de grados de la E.T.S. Ingeniería Informática, sito en la Avda. Reina Mercedes s/n. 41012-SEVILLA

Inscripción

La inscripción a las Jornadas es gratuita, exceptuando la cena del Miércoles 1 de Diciembre. Si desea asistir a dicha cena, contacte con alguno de los organizadores.

Para inscribirse a las jornadas, por favor, rellene el siguiente formulario con sus datos, indicando si necesita certificado de asistencia y/o asiste a la cena.

Para más información, contacten con jborrego@us.es

Programa:

Martes 30 (Salón de Grados de la ETSII):

  • 17:00-17:30 Joaquín Borrego Díaz (coordinador del Máster): Presentación de las Jornadas
  • 17:30-18:00 Café
  • 18:00-19:00 Jorg Flum:  Lógicas para PTime y sistemas de demostración
  • 19:00-20:00 Mario de J. Pérez Jiménez. De la conjetura de Friedman a la modelización del mejillón cebra

Miércoles 1 (Salón de Grados de la ETSII):

  • 17:00-18:00 Enrique Casanovas Ruiz-Fornells: Pregeometrías e Independencia
  • 18:00-18:30 Café
  • 18:30-19:15 Andrés Cordón Franco: Lógicas modales. Aplicaciones al estudio de protocolos de comunicación incondicionalmente seguros
  • 19:15-20:00 José Antonio Alonso Jiménez: Lógica Computacional en Sevilla (30 años en una hora)

Jueves 2 (Salón de Grados de la Facultad de Biología):

  • 17:00-17:45 Antonio Paredes Moreno: En torno a la interoperabilidad semántica en la empresa
  • 17:45-18:15 Café
  • 18.15-19:00 Ignacio Pérez-Hurtado de Mendoza: Trayectoria de una Tesis Doctoral: Herramientas de simulación para Membrane Computing
  • 19:00-19:45 Francisco F. Lara Martín: Modelos de la Aritmética y complejidad computacional implícita

Conferenciantes Invitados.

Contenido del curso Síntesis, Verificación y Razonamiento sobre Agentes Inteligentes

El curso es una introducción a la teoría de agentes racionales. Concretamente, se analiza con cierta profundidad el papel de diversas lógica (programación lógica, lógicas modales, etc.) en diversos tipos de agentes, destacando los agentes reactivos, deliberativos, en el razonamiento práctico, los de tipo BDI, los basados en conocimiento (GOLOG, Flux y extensiones basadas en el cálculo de fluentes), y el papel de las ontologías en el fenómeno de la comunicación en sistemas multiagente.

El contenido del curso es el siguiente:

  • Concepto de agente inteligente. Características.
  • Agentes reactivos.
  • Agentes deliberativos.
  • Introducción a la programación de agentes racionales.
  • Lógicas para la verificación de agentes racionales.
  • Sistemas multiagente.

Contenido del curso Técnicas Inteligentes en Bioinformática

La Bioinformática es un área multidisciplinar en la confluencia entre la Informática, las Matemáticas y la Biología que permite el análisis y tratamiento computacional de la información en Medicina y en Biología. En la vanguardia de la Bioinformática encontramos distintas técnicas que pertenecen al ámbito de la Inteligencia Artificial que en los últimos años se están aplicando con notable éxito a través del desarrollo y uso de métodos y sistemas inteligentes. La asignatura proporciona una visión unificada de estas técnicas y capacita al alumno para enfrentarse a nuevos problemas.

Los contenidos de la asignatura son:

  • Introducción a la Bioinformática.
  • Teoría y algoritmos en Bioinformática.
  • Análisis de patrones. Clustering.
  • Programación genética.
  • Alineamiento de secuencias.
  • Filogenética Molecular.
  • Genómica.
  • RNA y DNA microarrays.