|
|
Descripción
En esta materia se presenta el Razonamiento Automático como rama de la
Inteligencia Artificial. Tiene como objetivo onseguir que los alumnos
conozcan las técnicas básicas de Razonamiento Automático y herramientas
que las implementan; y que sean capaces de desarrollar un trabajo de
Razonamiento Automático con estas herramientas.
En el proyecto docente de la asignatura se
puede encontrar una información más detallada.
Material para el curso
Anuncios
| 25 Feb 2024 |
Ya se han publicado las calificaciones de los trabajos de la primera convocatoria. Se pueden consultar en la ficha de alumno. También se han publicado las actas provisionales en la Secretaría Virtual. Las calificaciones se podrán revisar los días 26 y 27 de febrero, acordando una cita por correo electrónico. |
| 2 Nov 2023 |
Sobre la interacción con Otter en VSCode
La ejecución sugerida de Otter
otter < fichero.in > fichero.out
no funciona en un terminal de VSCode en Windows. Como alternativa se puede hacer
Get-Content fichero.in | ./otter > fichero.out
Otra alternativa es
type fichero.in | ./otter > fichero.out
Situando tanto los ficheros de entrada como el programa Otter en la misma carpeta de trabajo. |
Información adicional:
| Profesor: |
Francisco Jesús Martín Mateos |
| Departamento: |
Ciencias de la Computación e Inteligencia Artificial |
| Despacho: |
Escuela Técnica Superior de Ingeniería Informática, E1-66 |
| Tutorías: |
Martes de 11:00 a 14:00 y viernes de 9:00 a 12:00 (De forma online previa cita) |
Francisco J. Martín Mateos
|
