Hola gente, estoy con este ejercicio del TP anual de MD y AyED:

Investigar sobre Deducción Automática (la Teoría de Herbrand), elaborar ejemplos propios e intentar explicar con términos propios el propósito de esta teoría.

Me dijeron que para aprender como resolver ejercicios de deducción automática, busque guías de Inteligencia Artificial.
Alguno conoce algún apunte o libro que sirva?

Si. Acá esta ese apunte. Filtra por inteligencia artificial y sale

Aparecen un montón de cosas bajo la búsqueda de Inteligencia artificial, porque es una materia. ¿Cuál es el resumen al que hacían referencia?

Me uno al pedido

Hola, ya me corrigieron el tp y con lo que está en la wikipedia (en inglés) es suficiente!