Title :
Formalization of Entities for Agent Based Simulation Using Situation Calculus: A Specific Case Study of Fire Emergency Response
Author :
Bandyopadhyay, Mainak ; Singh, Varun
Author_Institution :
GIS Cell, Motilal Nehru Nat. Inst. of Technol.-Allahabad, Allahabad, India
Abstract :
The current research presents a predicate logic based framework for formalizing various entities participating in Agent based Simulations. In the proposed technique the properties and actions of basic entities of Agent based Simulation (ABS) are represented using the axioms of Situation Calculus theory. The proposed framework has been used for the formalization of Agent based Simulation of Fire Emergency Response, and subsequently checked using SWI PROLOG SHELL.
Keywords :
PROLOG; emergency management; fires; formal logic; multi-agent systems; SWI PROLOG SHELL; agent based simulation; fire emergency response; predicate logic based framework; situation calculus; Calculus; Context modeling; Dynamic scheduling; Emergency services; Fires; Impedance; Mathematical model; Agent based Simulation; Fire Emergency Response; Formalization; Prolog; Situation Calculus;
Conference_Titel :
Computational Intelligence and Communication Networks (CICN), 2014 International Conference on
Print_ISBN :
978-1-4799-6928-9
DOI :
10.1109/CICN.2014.248
