Formalization of Entities for Agent Based Simulation Using Situation Calculus: A Specific Case Study of Fire Emergency Response

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.