Tesis profesional presentada por Luis Angel Montiel Moreno

Licenciatura 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. Antonio Sánchez Aguilar
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. David Ricardo Sol Martínez

Cholula, Puebla, México a 18 de mayo de 2004.

Índice de contenido

Agradecimientos (archivo pdf, 160 kb)

Capítulo 1. Introducción (archivo pdf, 28 kb)

Capítulo 2. Marco Teórico (archivo pdf, 137 kb)

  • 2.1 Conceptos generales
  • 2.2 Lógica proposicional
  • 2.3 Programación lógica

Capítulo 3. Fundamentos lógicos para A-Prolog (archivo pdf, 54 kb)

Capítulo 4. Reducción de teorías (archivo pdf, 57 kb)

  • 4.1 Reducciones generales aplicadas a teorías
  • 4.2 Reducción de teorías a programas disyuntivos

Capítulo 5. Cómputo de Safe Beliefs (archivo pdf, 45 kb)

Capítulo 6. Implementación (archivo pdf, 56 kb)

  • 6.1 Observaciones en la estructura de teorías para la implementacón de GetSafeBeliefs
  • 6.2 Especificación del método GetSafeBeliefs
  • 6.3 Estructuras de datos

Capítulo 7. Extensiones a futuro (archivo pdf, 36 kb)

  • 7.1 Grounding
  • 7.2 Heurística y caracterización de conectivos
  • 7.3 Reglas de restauración de consistencia
  • 7.4 Preferencias en Safe Beliefs

Referencias (archivo pdf, 37 kb)

Montiel Moreno, L. A. 2004. Diseño e implementación para el cómputo de SafeBeliefs. Tesis Licenciatura. Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Mayo. Derechos Reservados © 2004.