Tesis profesional presentada por Luis Enrique Colmenares Guillén

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. Rogelio Dávila Pérez
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Fernando Antonio Aguilera Ramírez

Cholula, Puebla, México a 16 de mayo de 2000.

Índice de contenido

Índices (archivo pdf, 44 kb)

Glosario (archivo pdf, 33 kb)

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

Capítulo 2. Fundamentos (archivo pdf, 271 kb)

  • 2.1 Razonamiento Monótono
  • 2.2 Razonamiento No-Monótono
  • 2.3 Semántica Declarativa de Pro-Gramas Lógicos Normales

Capítulo 3. Diferentes Semánticas Declarativas de Lógicas No-Monótonas (archivo pdf, 125 kb)

  • 3.1 Completitud de Clark
  • 3.2 Modelos canónicos

Capítulo 4. Semántica Operacional para Lógicas No-Monótonas (archivo pdf, 814 kb)

  • 4.1 Métodos de Intanciación
  • 4.2 Métodos de Transformación (Compilación)
  • 4.3 Algoritmo para el Cálculo de Modelos de WFS, CWFS, y STABLE

Capítulo 5. Análisis de Resultados (archivo pdf, 482 kb)

Capítulo 6. Conclusiones (archivo pdf, 35 kb)

Capítulo 7. Apéndices (archivo pdf, 412 kb)

  • 7.1 Apéndice
  • 7.2 Apéndice(Forma Canónica)
  • 7.3 Apéndice
  • 7.4 Apéndice

Referencias (archivo pdf, 42 kb)

Colmenares Guillén, L. E. 2000. Semántica operacional para lógicas no-monótonas. 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. Mayo. Derechos Reservados © 2000.