基于智能体的情境演算模拟的实体形式化——以火灾应急响应为例

2014 International Conference on Computational Intelligence and Communication Networks Pub Date : 2014-11-14 DOI:10.1109/CICN.2014.248

Mainak Bandyopadhyay, Varun Singh

{"title":"基于智能体的情境演算模拟的实体形式化——以火灾应急响应为例","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":"{\"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}","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

摘要

目前的研究提出了一种基于谓词逻辑的框架，用于形式化参与基于Agent的仿真的各种实体。在该技术中，基于Agent的仿真(ABS)的基本实体的性质和行为用情景演算理论的公理来表示。提出的框架已用于基于Agent的火灾应急响应模拟的形式化，并随后使用SWI PROLOG SHELL进行检查。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 International Conference on Computational Intelligence and Communication Networks

自引率

0.00%

发文量