Tesis profesional presentada por Matilde Hernández Salas

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. Daniel Vallejo Rodríguez
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Oleg Starostenko

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

Índice de contenido

Introducción (archivo pdf, 9 kb)

Capítulo 1. Preliminares (archivo pdf, 42 kb)

  • 1.1 Smodels
  • 1.2 DLV
  • 1.3 DLVk
  • 1.4 Lenguajes de acción
  • 1.5 Algunas aplicaciones

Capítulo 2. Formulación de código en AnsProlog (archivo pdf, 57 kb)

  • 2.1 Lenguaje A
  • 2.2 Formulación en AnsProlog
  • 2.3 Modificación de p2nar para Answer set planning; p2planning
  • 2.4 Utilizando condiciones de ejecutabilidad
  • 2.5 Proposiciones estáticas de causa
  • 2.6 Extensión de A para answer set planning

Capítulo 3. Modelado de aplicación de planeación con Answer set (archivo pdf, 91 kb)

  • 3.1 Robot despachador de café
  • 3.2 Eliminación de fluentes
  • 3.3 Simple Blocks World con restricciones en el dominio
  • 3.4 Implementación de la aplicación con eliminación de acciones y eliminación de parámetros
  • 3.5 Solución directa en Smodels
  • 3.6 Verificación en Smodels
  • 3.7 Codificación en DLVk Sintaxis básica
  • 3.8 De DLVk a Smodels
  • 3.9 De Smodels a DLVk

Capítulo 4. Conclusiones (archivo pdf, 20 kb)

  • 4.1 Trabajo a futuro

Referencias (archivo pdf, 17 kb)

Apéndice A.  (archivo pdf, 17 kb)

Apéndice B.  (archivo pdf, 24 kb)

Hernández Salas, M. 2004. Modelado y planeación con ASP (Answer Set Programming). 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 © 2004.