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: