Informática: Lógica

Código: G460108
Acrónimo: LOX
Nombre: Informática: Lógica
Centro: E. S. de Enxeñaría Informática
Titulación: Grado en Inteligencia Artificial
Curso: 1º Curso
Periodo: Segundo cuatrimestre
Tipo: Formación Básica
Créditos: 6
Resultados del aprendizaje:

Conocer y saber aplicar razonadores basados en lógica de primer orden.

Saber aplicar mecanismos de inferencia para derivar nuevo conocimiento.

Conocer los problemas en los que la lógica tiene ventaja sobre otras técnicas de representación de conocimiento.

Conocer los conceptos fundamentales de la lógica de predicados y saber manejar las reglas de inferencia y equivalencias lógicas de cuantificación para realizar pruebas formales.

Comprender los conceptos básicos de la programación lógica (unificación, resolución, negación) y demostrar en qué medida su aplicación favorece el desarrollo de aplicaciones en IA.

Departamento:
Profesores responsables:
Guía docente: Enlace a DocNet