Tesis profesional presentada por Ruslán Ledesma Garza

Licenciatura en Ingeniería en Sistemas Computacionales. Departamento de Computación, Electrónica y Mecatrónica. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dra. Genoveva Vargas-Solar
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Daniel Vallejo Rodríguez

Cholula, Puebla, México a 12 de enero de 2009.

Índice de contenido

Portada (archivo pdf, 92 kb)

Agradecimientos (archivo pdf, 22 kb)

Índices (archivo pdf, 215 kb)

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

  • 1.1 Descripción del problema
  • 1.2 Objetivos
  • 1.3 Alcances
  • 1.4 Diseño de la investigación
  • 1.5 Estructura del documento

Capítulo 2. Conceptos y Convenciones Generales (archivo pdf, 438 kb)

  • 2.1 Convenciones
  • 2.2 Conceptos elementales
  • 2.3 Lenguaje proposicional, fórmulas y teorías
  • 2.4 Relaciones y operadores de consecuencia
  • 2.5 Lógica
  • 2.6 Teorías formales
  • 2.7 Notación sobre lógicas

Capítulo 3. Lógicas Estudiadas (archivo pdf, 492 kb)

  • 3.1 Lógica y lógicas
  • 3.2 Dos enfoques para definir lógicas
  • 3.3 Lógica clásica
  • 3.4 Lógicas no clásicas
  • 3.5 Comparación de las lógicas

Capítulo 4. Revisión de Creencias (archivo pdf, 475 kb)

  • 4.1 Objeto de estudio de la revisión de creencias
  • 4.2 Componentes de una teoría epistemológica
  • 4.3 El modelo AGM
  • 4.4 Otros modelos
  • 4.5 Aplicaciones de la revisión de creencias

Capítulo 5. Tesis sobre las relaciones de implicación entre los postulados suplementarios de AGM bajo Int, Pac, G3 y G.3 (archivo pdf, 446 kb)

  • 5.1 Tesis
  • 5.2 Hipótesis utilizadas
  • 5.3 Demostración de la tesis
  • 5.4 Trabajos relacionados con este proyecto

Capítulo 6. Conclusiones y Trabajo Futuro (archivo pdf, 275 kb)

  • 6.1 Evaluación de resultados
  • 6.2 Trabajo futuro

Referencias (archivo pdf, 123 kb)

Apéndice A. Construcción de tablas de verdad de Pac, G3 y G3 en Microsoft Excel 2007 (archivo pdf, 308 kb)

Apéndice B. Instalación de The Logics Workbench en Ubuntu 8.04 (archivo pdf, 152 kb)

Apéndice C. Demostraciones misceláneas (archivo pdf, 366 kb)

Ledesma Garza, R. 2009. Sobre las relaciones de implicación entre los postulados AGM bajo lógicas no clásicas. Tesis Licenciatura. Ingeniería en Sistemas Computacionales. Departamento de Computación, Electrónica y Mecatrónica, Escuela de Ingeniería, Universidad de las Américas Puebla. Enero. Derechos Reservados © 2009.