[Sello]

Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

Razonamiento automático

Profesores

José A. Alonso Jiménez
Miguel A. Gutiéz Naranjo

Contenidos

  1. Programación lógica y metaprogramación.
  2. Razonamiento con conocimiento estructurado.
  3. Razonamiento con lenguaje natural.
  4. Razonamiento con información incompleta.
  5. Razonamiento inductivo y síntesis de programas.
  6. Razonamiento automático sobre programas.

Metodología

La asignatura es cuatrimestral. Las clases serán teóricas (en el aula) y prácticas (en el laboratorio).

Evaluación

La nota de la asignatura se obtendrá a partir de las notas de las prácticas, los trabajos y el examen.

Bibliografía