Coñecer e saber aplicar razoadores baseados en lóxica de primeira orde.

Saber aplicar mecanismos de inferencia para derivar novo coñecemento.

Coñecer os problemas nos que a lóxica ten vantaxe sobre outras técnicas de representación de coñecemento.

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.

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.

• Informática

• Darriba Bilbao, Víctor Manuel
• Fernández Lanza, Santiago

• Darriba Bilbao, Víctor Manuel