A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason

被引:0
|
作者
Badica, Amelia [1 ]
Badica, Costin [1 ]
Sitnikov, Catalina [1 ]
Leon, Florin [2 ]
机构
[1] Univ Craiova, Craiova, Romania
[2] Tech Univ Gheorghe Asachi Iasi, Iasi, Romania
来源
2017 25TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP 2017) | 2017年
关键词
D O I
10.1109/PDP.2017.95
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper introduces a simple generalized formal model for patrolling games that is suitable for decision making regarding the efficient use of scarce resources in surveillance applications. The model is then mapped to a multi-agent simulation using Jason agent oriented programming language. We present the details of the multi-agent model of the game, as well as experimental results that we obtained by simulating a sample patrolling game. The main contribution of the paper is the mapping of the formal game model, as inspired by game theory, to the more practical agent-oriented programming approach, as advocated by agent-oriented software engineering.
引用
收藏
页码:376 / 380
页数:5
相关论文
共 50 条
  • [21] Parameterizing agent-based models using an online game
    Yiannakoulias, Niko
    Grignon, Michel
    Marshall, Tara
    COMPUTERS ENVIRONMENT AND URBAN SYSTEMS, 2024, 112
  • [22] Scalable agent-based simulation - Distributed simulation of agent-based models
    Pawlaszczyk D.
    KI - Künstliche Intelligenz, 2010, 24 (2) : 161 - 163
  • [23] Sensitivity analysis of an agent-based simulation model using reconstructability analysis
    Nunes, Andey M.
    Zwick, Martin
    Wakeland, Wayne
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2021, 50 (03) : 319 - 338
  • [24] Agent-based model and simulation on firm size
    Shi, Zhentao
    Zeng, Jianchao
    Cui, Zhihua
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2012, 7 (02) : 139 - 146
  • [25] An Agent-Based Simulation Model of Options Market
    Zhang Jie
    Cui Jing
    Zhai Dongsheng
    Zhang Quan
    2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL IV, PROCEEDINGS, 2009, : 175 - 178
  • [26] Experimenting with Agent-Based Model Simulation Tools
    Antelmi, Alessia
    Cordasco, Gennaro
    D'Ambrosio, Giuseppe
    De Vinco, Daniele
    Spagnuolo, Carmine
    APPLIED SCIENCES-BASEL, 2023, 13 (01):
  • [27] A Formal Model for Agent-Based Coalition Formation in Electricity Markets
    Beer, Sebastian
    Appelrath, Hans-Juergen
    2013 4TH IEEE/PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE), 2013,
  • [28] Evolutionary game theory using agent-based methods
    Adami, Christoph
    Schossau, Jory
    Hintze, Arend
    PHYSICS OF LIFE REVIEWS, 2016, 19 : 1 - 26
  • [29] Modeling and Simulation of Price Elasticity of Demand Using an Agent-Based Model
    Thimmapuram, Prakash R.
    Kim, Jinho
    Botterud, Audun
    Nam, Youngwoo
    2010 INNOVATIVE SMART GRID TECHNOLOGIES CONFERENCE (ISGT), 2010,
  • [30] Transit interchange discount optimization using an agent-based simulation model
    Lee, Enoch
    Patwary, Ashraf Uz Zaman
    Huang, Wei
    Lo, Hong K.
    11TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT) / THE 3RD INTERNATIONAL CONFERENCE ON EMERGING DATA AND INDUSTRY 4.0 (EDI40) / AFFILIATED WORKSHOPS, 2020, 170 : 702 - 707