Tesis profesional presentada por Juan Carlos Acosta Guadarrama

Maestría en Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. Gerardo Ayala San Martín
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Santos Gerardo Lázzeri Menéndez

Cholula, Puebla, México a 16 de diciembre de 2002.

Resumen

Se presenta una metodología simple y poderosa para modelar un agente en LUPS, como evidencia de que dicho lenguaje es adecuado para representar actualizaciones de conocimiento dinámico. En particular, esta metodología introduce conceptos nuevos en los sistemas automáticos de agenda, que consisten en la negociación de propuestas con otros agentes, tanto para no contradecir citas previas, como para reunir gente en citas comunes. Por otro lado, se analiza el lenguaje, señalando la revisión de creencias como algo indispensable...

Resumen (archivo pdf, 47 kb).

Índice de contenido

Reconocimientos (archivo pdf, 23 kb)

Prefacio (archivo pdf, 38 kb)

Capítulo 1. Introducción y motivación (archivo pdf, 50 kb)

Capítulo 2. Marco teórico (archivo pdf, 138 kb)

  • 2.1 Agentes inteligentes
  • 2.2 Lógica intuicionista
  • 2.3 Lógica de tres valores
  • 2.4 Answer sets
  • 2.5 Un lenguaje para representar conocimiento dinámico
  • 2.6 Revisión de creencias

Capítulo 3. Revisión de creencias en LUPS (archivo pdf, 146 kb)

  • 3.1 Trabajo previo
  • 3.2 Propuesta de G3
  • 3.3 Una situación de conflicto
  • 3.4 LUPS basado en una lógica de tres valores
  • 3.5 Un enfoque de transformación puede reducir la complejidad
  • 3.6 El Problema del ornitorrinco

Capítulo 4. Hacia un agente de agenda (archivo pdf, 91 kb)

  • 4.1 Conocimiento estático en Prolog XSB
  • 4.2 Calendar P

Capítulo 5. Conclusiones y trabajo a futuro (archivo pdf, 70 kb)

Referencias (archivo pdf, 65 kb)

Apéndice A. Ejemplos completos del prototipo (archivo pdf, 57 kb)

Apéndice B. Modelos estables de programas proposicionales (archivo pdf, 44 kb)

Apéndice C. Verificador de tautologías en G3 (archivo pdf, 52 kb)

Apéndice D. Prueba de teoremas para lógica de Dummett (archivo pdf, 52 kb)

Acosta Guadarrama, J. C. 2002. Modelado de agentes en lógica: un enfoque de revisión de creencias. Tesis Maestría. Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 2002.