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 条
  • [1] A FORMAL MODEL OF THE AGENT-BASED SIMULATION FOR THE EMERGENCY EVACUATION PLANNING
    Amir, Muhammad Idil Haq
    Rosyidah, Fifi Alfiana
    Lee, Gyu M.
    INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-THEORY APPLICATIONS AND PRACTICE, 2020, 27 (04): : 645 - 664
  • [2] The Recruitment Game: An Agent-Based Simulation
    Farahbakhsh, Siavash
    Paolucci, Mario
    MULTI-AGENT-BASED SIMULATION XXII, MABS 2021, 2022, 13128 : 168 - 179
  • [3] A bargaining model for PLS entrepreneurial financing: A game theoretic model using agent-based simulation
    El Fakir, Adil
    Fairchild, Richard
    Tkiouat, Mohamed
    Taamouti, Abderrahim
    INTERNATIONAL JOURNAL OF FINANCE & ECONOMICS, 2023, 28 (02) : 1228 - 1241
  • [4] Formal systems Λ agent-based social simulation=⊥?
    Fasli, M
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2004, 7 (04):
  • [5] An Agent-Based Model for Game Development
    Garces-Calvelo, Alejandro
    Garces-Matilla, Aldo
    Pacheco-Morales, Alejandro
    TECHNOLOGY TRENDS, 2018, 798 : 130 - 144
  • [6] The Simulation of Financial Markets by an Agent-Based Mix-Game Model
    Gou, Chengling
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2006, 9 (03):
  • [7] A formal model of responsibilities in agent-based teamwork
    Ioerger, TR
    Johnson, JC
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 58 - 64
  • [8] Agent-based simulation model design
    Klima, V
    Kavicka, A
    MODELLING AND SIMULATION 1996, 1996, : 254 - 258
  • [9] Formal Model for Agent-Based Asynchronous Evolutionary Computation
    Byrski, A.
    Schaefer, R.
    2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5, 2009, : 78 - 85
  • [10] Formal Semantic Model for Agent-based Software System
    Hou, Jinkui
    2010 2ND INTERNATIONAL WORKSHOP ON DATABASE TECHNOLOGY AND APPLICATIONS PROCEEDINGS (DBTA), 2010,
12345