Formalization and Development of Logic Based Emergency Response Systems Using Situation Calculus

The current research presents a possible way of incorporating intelligence into emergency response systems. The paper provides formalization and verification of emergency activities using Situation Calculus and Prolog. Here some basic macro actions are taken for formalization but well researched micro actions are preferred for more accurately imparting intelligence into the emergency response systems. The integration of GIS and logical system for emergency response is proposed and justified.