• DocumentCode
    3528774
  • Title

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

  • Author

    Bandyopadhyay, Mainak ; Singh, Mrigendra Pratap ; Singh, V.

  • Author_Institution
    GIS Cell, MNNIT-Allahabad, Allahabad, India
  • fYear
    2013
  • fDate
    21-23 Dec. 2013
  • Firstpage
    504
  • Lastpage
    508
  • Abstract
    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.
  • Keywords
    PROLOG; emergency management; geographic information systems; GIS; Prolog; Situation Calculus; emergency activities; geographic information system; logic based emergency response systems; logical system; macro actions; micro actions; Machine intelligence; Emergency Response; GIS; Prolog; Situation Calculus;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Machine Intelligence and Research Advancement (ICMIRA), 2013 International Conference on
  • Conference_Location
    Katra
  • Type

    conf

  • DOI
    10.1109/ICMIRA.2013.106
  • Filename
    6918883
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3528774