Evacuation Planning using Answer Set Programming: An initial approach

Abstract —This paper describes a methodologybased on Answer Set Programming (ASP) to workwith incomplete geographic data. Source geographicdata which describes a risk zone is translated to ASPdescription and it allows to solve query’s which cannot be solved by a normal GIS. An evacuation plancan change when new situations are presented, for in-stance traffic, a zone in extreme danger or other nat-ural modification of the zone to be evacuated. Since1994, RiskManagementOffice inMexicohasdeclaredaround 30 km from the Popocat´epetl Volcano cratera danger zone. This office defined several roads toevacuate the people when a Volcano event can bepresented. Our approach allows to simulate and togive support to generate new evacuation plans. Theresults developed by the ASP approach can be trans-lated to a visual format and can be incorporated toa GIS to develop other kind of analysis by using thegeographic data. Keywords: Evacuation planning, Answer Set Program-ming, Geographic Data, Risk Management, Query withincomplete data

[1]  Christine Solnon,et al.  Applications of Preferences using Answer Set Programming , 2005, Answer Set Programming.

[2]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

[3]  Enrico Pontelli,et al.  Planning with preferences using logic programming , 2004, Theory and Practice of Logic Programming.

[4]  M. Goodchild,et al.  Geographic Information Systems and Science (second edition) , 2001 .

[5]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[6]  Maria Luisa Damiani,et al.  Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming , 2004, LA-NMR.

[7]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[8]  Gerhard Brewka,et al.  Logic programming with ordered disjunction , 2002, NMR.

[9]  Hans Tompits,et al.  A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning , 2004, Comput. Intell..

[10]  H. W. Hamacher,et al.  Mathematical Modelling of Evacuation Problems: A State of Art , 2001 .

[11]  José Júlio Alferes,et al.  Logic Programming Updating - A Guided Approach , 2002, Computational Logic: Logic Programming and Beyond.

[12]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[13]  Mauricio Osorio,et al.  Updates in Answer Set Programming based on structural properties , 2005 .

[14]  Hans Tompits,et al.  On properties of update sequences based on causal rejection , 2001, Theory and Practice of Logic Programming.