A formal framework for reasoning about opportunistic propensity in multi-agent systems

被引:2
|
作者
Luo, Jieting [1 ]
Meyer, John-Jules [2 ]
Knobbout, Max [3 ]
机构
[1] Delft Univ Technol, Delft, Netherlands
[2] Univ Utrecht, Utrecht, Netherlands
[3] Triple, Alkmaar, Netherlands
关键词
Opportunism; Propensity; Logic; Reasoning; Decision theory; TRUST;
D O I
10.1007/s10458-019-09413-1
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Opportunism is an intentional behavior that takes advantage of knowledge asymmetry and results in promoting agents' own value and demoting others' value. It is important to eliminate such selfish behavior in multi-agent systems, as it has undesirable results for the participating agents. In order for monitoring and eliminating mechanisms to be put in the right place, it is needed to know in which context agents are likely to perform opportunistic behavior. In this paper, we develop a formal framework to reason about agents' opportunistic propensity. Opportunistic propensity refers to the potential for an agent to perform opportunistic behavior. Agents in the system are assumed to have their own value systems and knowledge. With value systems, we define agents' state preferences. Based on their value systems and incomplete knowledge about the state, they choose one of their rational alternatives to perform, which might be opportunistic behavior. We then characterize the situation where agents are likely to perform opportunistic behavior and the contexts where opportunism is impossible to occur, and prove the computational complexity of predicting opportunism.
引用
收藏
页码:457 / 479
页数:23
相关论文
共 50 条
  • [31] A formal model for situated multi-agent systems
    Weyns, D
    Holvoet, T
    FUNDAMENTA INFORMATICAE, 2004, 63 (2-3) : 125 - 158
  • [32] A Formal Environment Model for Multi-Agent Systems
    da Silva, Paulo Salem
    de Melo, Ana C. V.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 64 - 79
  • [33] Proposition of Formal semantics for multi-agent systems
    Chainbi, W
    COMPUTERS & INDUSTRIAL ENGINEERING, 1999, 37 (1-2) : 453 - 456
  • [34] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [35] A Multi-agent Argumentation Framework to Support Collective Reasoning
    Ganzer-Ripoll, Jordi
    Lopez-Sanchez, Maite
    Antonio Rodriguez-Aguilar, Juan
    CONFLICT RESOLUTION IN DECISION MAKING, COREDEMA 2016, 2017, 10238 : 100 - 117
  • [36] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [37] Formal specification of beliefs in multi-agent systems
    DIST - University of Genoa, Viale Causa 13, Genova
    16145, Italy
    不详
    38050, Italy
    Lect. Notes Comput. Sci., (117-130):
  • [38] Multi-Agent Systems: A Survey About Its Components, Framework and Workflow
    Maldonado, Diego
    Cruz, Edison
    Abad Torres, Jackeline
    Cruz, Patricio J.
    Gamboa Benitez, Silvana del Pilar
    IEEE ACCESS, 2024, 12 : 80950 - 80975
  • [39] An Observation Framework for Multi-Agent Systems
    Kesaniemi, Joonas
    Katasonov, Artem
    Terziyan, Vagan
    ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, 2009, : 336 - 341
  • [40] Multi-agent framework for distributed systems
    Deng, C
    Gang, YJ
    PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 22 - 25