Evacuation planning using Answer Set Programming

par Claudia Zepeda Cortès

Thèse de doctorat en Informatique

Sous la direction de Robert Laurini et de David Sol Martínez.

Soutenue en 2005

à Lyon, INSA en cotutelle avec l'Universidad de las Américas-Puebla .

  • Titre traduit

    = Evacuation planning using answer set programming


  • Résumé

    Actuellement, les responsables de la protection contre les situations de désastre doivent prendre les décisions sur la préparation et l'exécution des plans d'évacuation en considérant les causes potentielles du désastre. Pour cette raison, il est souhaitable de développer un système capable d'obtenir et d'analyser les plans d'évacuation basés sur la connaissance du milieu particulier, des données géographiques et de leurs propres capacités et d'échanger l'information et les services avec des systèmes semblables comme pour les êtres humains. Pour développer un tel système, on utilisera Answer Set Programming (ASP). ASP est un langage de programmation logique et déclaratif pour la représentation de la connaissance. ASP représente un nouveau paradigme pour la représentation logique qui permet, selon le concept de la négation par échec, de résoudre des problèmes avec la connaissance par défaut et de permettre un raisonnement non- monotone. L'objectif de notre travail est précisément de faire des recherches et d'évaluer les capacités de ASP à représenter des situations de désastre ayant pour objectif d'aider à définir des plans d'évacuation. La motivation de notre travail se base sur l'idée que ASP possède de nombreuses qualités qu'un tel programme doit avoir: Il est possible de traduire l'information géographique dans un format que ASP peut comprendre. Il existe Answer Set Planning qui procure une manière naturelle et élégante de modeler les problèmes de planification. ASP utilise le concept de négation par échec qui permet d'exprimer des exceptions, des restrictions et de représenter une connaissance incomplète. Il existe en plus, dans ASP, plusieurs approches afin d'exprimer des préférences.

  • Titre traduit

    Evacuation planning using answer set programming


  • Résumé

    Currently, the persons in charge of protection against the situations of disaster must make the decisions on the preparation and the execution of the evacuation plans by considering the potential causes of the disaster. For this reason, it is desirable to develop a system able to generate and analyse the evacuation plans based on the knowledge of the particular situation, the geographical data and their own capacities, and to exchange information and the services. To develop such a system, one can use Answer Set Programming (ASP). ASP is a logical and declarative programming language for the representation of knowledge. ASP represents a new paradigm for the logical representation which allows, by using the concept of negation by failure, to solve problems with knowledge by default and to allow not-monotonous reasoning. The objective of our work is precisely to carry out research and to evaluate the capacities of ASP to represent simulations of disaster having for objective to help define evacuation plans. The motivation of our work is based on the idea that ASP has many qualities that such a program must have: it is possible to translate geographical information in a format that ASP can understand. There is an Answer Set Planning which gets a manner natural and elegant to model the problems of planning. ASP uses the concept of negation by failure which makes it possible to express exceptions, restrictions and to represent incomplete knowledge. There exists moreover, in ASP, several approaches in order to express preferences.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VI-236 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 229-236

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Disponible pour le PEB
  • Cote : C.83(3006)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.