Guia docente 2023_24 Escola Superior de Enxeñaría Informática

Resultados previstos en la materia

Resultados previstos en la materia	Resultados de Formación y Aprendizaje
RA1: Conocer y saber aplicar razonadores basados en lógica de primer orden.	A2 A5	B2 B4	C5
RA2: Saber aplicar mecanismos de inferencia para derivar nuevo conocimiento.	A2 A4 A5	B2	C5 C20 C21	D3
RA3: Conocer los problemas en los que la lógica tiene ventaja sobre otras técnicas de representación de conocimiento.	A2 A5	B2 B4 B5	C5	D2 D3
RA4: 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.	A4 A5		C5	D1 D2
RA5: 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.	A2 A4 A5	B2 B4 B5	C5 C20 C21	D1 D3