Curso de Agentes y Lógica Computacional

Dictado por Jacinto Dávila jacinto@ula.ve

Versión 3.1 - Octubre 2011


Primer Libro texto 

Logica Computacional de Kowalski

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


Segundo Libro texto

Lógica Práctica y Aprendizaje Computacional

Dávila, Jacinto. Lógica Práctica y Aprendizaje Computacional. EAE 2011.

ISBN-13: 978-3-8465-6233-8
ISBN-10: 3846562335
EAN: 9783846562338
Book language:  Spanish.
Publishing house: Editorial Académica Española
Website: http://www.eae-publishing.com/
By (author) : Jacinto A. Dávila Q.
Number of pages: 160
Published at: 2011-10-22
Category: Informatics, IT
Keywords: Lógica Computacional, Simulación, Aprendizaje Automático, Agentes
Disponible en

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf



Software de Apoyo:

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


Programa

Unidad 0. Un desafío lógico.

Una posible introducción al libro de Robert Kowalski, Lógica Computacional y el Pensamiento Humano: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 y Aprendizaje Automático (Machine Learning).

http://webdelprofesor.ula.ve/ingenieria/jacinto/libros/logica-practica-aprendizaje-computacional.pdf


Fin del curso