Dictado por Jacinto Dávila
Versión 2.5
Septiembre 2009
Libro texto en la Web: Cómo ser artificialmente inteligente, del Profesor Bob Kowalski.
Disponible en Inglés (How to be artificially intelligent) en
y
en Español aquí:
http://webdelprofesor.ula.ve/ingenieria/jacinto/kowalski/logica-de-agentes.html
Software de Apoyo:
GLORIA, en http://gloria.sourceforge.net
SWI-Prolog en http://www.swi-prolog.org
ULAnix Lógica en http://nux.ula.ve
Unidad 0. Un desafío lógico.
Introducción al libro de Robert Kowalski, Cómo ser artificialmente inteligente.
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, Aprendizaje y los Procesos Estocásticos.
http://webdelprofesor.ula.ve/ingenieria/jacinto/prob/logica-probabilidades.html
fin del curso