Representación del conocimiento y razonamiento (2007-08)
Tema 0: Representación del conocimiento en lógica de primerorden

En este tema se repasa la lógica de primer orden como medio para representar el conocimiento. Para ello se usa el sistema APLI2,

[ Inicial | Temas | Documentación | Sistemas ]