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

Resultados previstos na materia

Resultados previstos na materia	Resultados de Formación e Aprendizaxe
RA1: Coñecer e saber aplicar razoadores baseados en lóxica de primeira orde.	A2 A5	B2 B4	C5
RA2: Saber aplicar mecanismos de inferencia para derivar novo coñecemento.	A2 A4 A5	B2	C5 C20 C21	D3
RA3: Coñecer os problemas nos que a lóxica ten vantaxe sobre outras técnicas de representación de coñecemento.	A2 A5	B2 B4 B5	C5	D2 D3
RA4: Coñecer os conceptos fundamentais da lóxica de predicados e saber manexar as regras de inferencia e equivalencias lóxicas de cuantificación para realizar probas formais.	A4 A5		C5	D1 D2
RA5: Comprender os conceptos básicos da programación lóxica (unificación, resolución, negación) e demostrar en que medida a súa aplicación favorece o desenvolvemento de aplicacións en IA.	A2 A4 A5	B2 B4 B5	C5 C20 C21	D1 D3