Dictado por Jacinto Dávila jacinto@ula.ve
Versión 3.1 - Octubre 2011
Kowalski, Bob. Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press. 2011.
Borrador disponible en http://www.doc.ic.ac.uk/~rak/
y una versión en Español aquí:
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html
Dávila, Jacinto. Lógica Práctica y Aprendizaje Computacional. EAE 2011.
http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf
SWI-Prolog en http://www.swi-prolog.org
Galatea (que incluye a Gloria), en http://galatea.sourceforge.net
ULAnix Lógica en http://nux.ula.ve
Unidad 0. Un desafío lógico.
Unidad
1. Reglas lógicas para una comunicación efectiva
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo01.html
Unidad
2. Razonamiento, proactividad y las metas en lógica.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo02.html
Unidad 3. Reglas de
condición-acción generalizadas
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo03.html
Unidad
4. Un sistema lógico que combina reducción de metas, reglas de
condición-acción y otros recursos lógicos
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo04.html
Unidad
5. Pensar = Inferencia + Búsqueda + Inferencia.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo05.html
Unidad 6. Introducción al
modelado del significado.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo06.html
Unidad 7. Modelos de agentes
basados en lógica
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo07.html
Unidad 8. El fundamento lógico
del dilema del prisionero.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo08.html
Unidad 9. Modelos lógicos del
cambiante mundo e introducción a la semantica lógica.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo09.html
Unidad 10. Lógica y Objetos.
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/capitulo10.html
Unidad 11. Lógica y la Web
Semántica.
http://webdelprofesor.ula.ve/ingenieria/jacinto/ws/web-semantica.html
Unidad 12. Lógica y Aprendizaje Automático (Machine Learning).
http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf
Fin del curso