{"title":"Formalization of Entities for Agent Based Simulation Using Situation Calculus: A Specific Case Study of Fire Emergency Response","authors":"Mainak Bandyopadhyay, Varun Singh","doi":"10.1109/CICN.2014.248","DOIUrl":null,"url":null,"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.","PeriodicalId":6487,"journal":{"name":"2014 International Conference on Computational Intelligence and Communication Networks","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 International Conference on Computational Intelligence and Communication Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CICN.2014.248","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
