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 条
  • [31] Mobile agent-based regression test case generation using model and formal specifications
    Arora, Pardeep Kumar
    Bhatia, Rajesh
    IET SOFTWARE, 2018, 12 (01) : 30 - 40
  • [32] Evolutionary Game Model of Information Sharing Behavior in Supply Chain Network With Agent-Based Simulation
    Tan, Jian
    Jiang, Guoqiang
    Wang, Zuogong
    INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2019, 15 (02) : 54 - 68
  • [33] Traffic Simulation Using Agent-based Models
    Ljubovic, Vedran
    2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 273 - 278
  • [34] A spatial agent-based model of a congestion game: evolutionary game theory in space
    Sutee Anantsuksomsri
    Nij Tontisirin
    The Annals of Regional Science, 2016, 57 : 371 - 391
  • [35] A spatial agent-based model of a congestion game: evolutionary game theory in space
    Anantsuksomsri, Sutee
    Tontisirin, Nij
    ANNALS OF REGIONAL SCIENCE, 2016, 57 (2-3): : 371 - 391
  • [36] Simulation of urban growth using agent-based modeling and game theory with different temporal resolutions
    Kaviari, F.
    Mesgari, M. Saadi
    Seidi, E.
    Motieyan, H.
    CITIES, 2019, 95
  • [37] Agent-Based Simulation of the Trust and Tracing Game for Supply Chains and Networks
    Tykhonov, Dmytro
    Jonker, Catholijn
    Meijer, Sebastiaan
    Verwaart, Tim
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2008, 11 (03):
  • [38] Agent-Based Simulation of Stakeholder Behaviour through Evolutionary Game Theory
    Svalestuen, Yngve
    Ozturk, Pinar
    Tidemann, Axel
    Tiller, Rachel
    ARTIFICIAL LIFE AND COMPUTATIONAL INTELLIGENCE, 2015, 8955 : 100 - 111
  • [39] Agent-Based Modeling and Genetic Algorithm Simulation for the Climate Game Problem
    Wang, Zheng
    Zhang, Jingling
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2012, 2012
  • [40] Replicator Dynamics of the Hawk-Dove Game with Agent-based Simulation
    Ramirez Castaneda, Leila Nayibe
    APPLIED COMPUTER SCIENCES IN ENGINEERING, WEA 2022, 2022, 1685 : 310 - 319
12345