Tesis profesional presentada por Claudia Zepeda Cortés [czepedac@gmail.com]

Doctorado en Ciencias de la Computación. Departamento de Ingeniería en Sistemas Computacionales. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. Hervé Martin
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Robert Laurini

Cholula, Puebla, México a 12 de diciembre de 2005.

Resumen

Currently, people involved in protection against disaster situations must make the decisions about preparing and executing evacuation plans for potential causes of disaster. Hence, it would be desirable to develop a system capable of obtaining and analyzing evacuation plans based on knowledge about their particular environment, the geographic data and their own capabilities, and of exchanging information and services with similar systems as well as with persons. A possible formalism used to develop such system could be Answer Set...

Resumen (archivo pdf, 140 kb).

Índice de contenido

Portada (archivo pdf, 102 kb)

Agradecimientos (archivo pdf, 115 kb)

Índices (archivo pdf, 130 kb)

Prolog (archivo pdf, 73 kb)

Capítulo 1. Resumen en Español (archivo pdf, 258 kb)

  • 1.1 Introducción
  • 1.2 Antecedentes
  • 1.3 Contribución
  • 1.4 Conclusiones

Capítulo 2. Résumé en Francais (archivo pdf, 278 kb)

  • 2.1 Introduction
  • 2.2 Etat de l´ art
  • 2.3 Contribución
  • 2.4 Conclusions

Capítulo 3. Evacuation Planning (archivo pdf, 132 kb)

  • 3.1 Volcanic emergency management
  • 3.2 Emergency management in the Popocatépetl volcano
  • 3.3 Conclusion

Capítulo 4. Answer Set Programming (archivo pdf, 232 kb)

  • 4.1 Answer Set Programming framework
  • 4.2 Answer sets in terms of Intuitionistic Logic
  • 4.3 Additional Notation
  • 4.4 Programs with predicate symbols and variables
  • 4.5 Adding sorts to Answer Set Programming framework
  • 4.6 Answer Set Solvers and systems used in this work
  • 4.7 CR-Programs and Abductive Logic Programs
  • 4.8 Logic Programs with Ordered Disjunction
  • 4.9 Conclusion

Capítulo 5. Planning problems (archivo pdf, 225 kb)

  • 5.1 Planning
  • 5.2 Answer Set Planning
  • 5.3 A language for Planning Preferences: PP Language
  • 5.4 Conclusion

Capítulo 6. Extended ordered disjunction programs (archivo pdf, 317 kb)

  • 6.1 De¯nition of extended ordered disjunction programs
  • 6.2 Translation from an abductive logic program to a standard ordered disjunction program
  • 6.3 Preferences in terms of extended ordered programs with double negation
  • 6.4 Conclusion

Capítulo 7. Modeling evacuation plan problems (archivo pdf, 261 kb)

  • 7.1 Evacuation plan problem information
  • 7.2 Procedure to construct the hazard zone background knowledge
  • 7.3 Popocatépetl volcano information
  • 7.4 Example: Background knowledge of a hazard zone
  • 7.5 Complexity of evacuation plan problems
  • 7.6 Conclusion

Capítulo 8. Alternative evacuation plan problem (archivo pdf, 397 kb)

  • 8.1 Alternative evacuation plan problem assumptions
  • 8.2 Using Consistency Restoring Programs
  • 8.3 Using PP Language
  • 8.4 Extending PP language with parametric basic desires
  • 8.5 Language PP and Temporal Logic
  • 8.6 Conclusion

Capítulo 9. Semantic Contents (archivo pdf, 298 kb)

  • 9.1 Semantic Contents de¯nition
  • 9.2 Some properties of the semantic contents
  • 9.3 Finding variants of answer sets from semantic contents
  • 9.4 Conclusions

Capítulo 10. Conclusions (archivo pdf, 160 kb)

Referencias (archivo pdf, 135 kb)

Apéndice A. Ejemplos (archivo pdf, 306 kb)

Apéndice B. Exemples (archivo pdf, 307 kb)

Zepeda Cortés, C. 2005. Evacuation Planning using Answer Set Programming. Tesis Doctorado. Ciencias de la Computación. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 2005.