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 条
  • [1] A formal framework for reasoning about opportunistic propensity in multi-agent systems
    Jieting Luo
    John-Jules Meyer
    Max Knobbout
    Autonomous Agents and Multi-Agent Systems, 2019, 33 : 457 - 479
  • [2] Formal reasoning about resilient goal-oriented multi-agent systems
    Laibinis, L.
    Pereverzeva, I.
    Troubitsyna, E.
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 148 : 66 - 87
  • [3] Formal framework for adaptive multi-agent systems
    Jiao, WP
    Zhou, MH
    Wang, QX
    IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
  • [4] Reasoning about Adaptivity of Agents and Multi-Agent Systems
    Smith, Graeme
    Sanders, J. W.
    Winter, Kirsten
    2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 341 - 350
  • [5] Reasoning about Concurrent Actionsin Multi-Agent Systems
    樊晓聪
    徐殿祥
    侯建民
    郑国梁
    Journal of Computer Science & Technology, 1999, (04) : 422 - 428
  • [6] Reasoning about concurrent actions in multi-agent systems
    Fan X.
    Xu D.
    Hou J.
    Zheng G.
    Journal of Computer Science and Technology, 1999, 14 (4) : 422 - 428
  • [7] A formal framework for multi-agent systems analysis and design
    Gruer, P
    Hilaire, V
    Koukam, A
    Cetnarowicz, K
    EXPERT SYSTEMS WITH APPLICATIONS, 2002, 23 (04) : 349 - 355
  • [8] Formal specification of holonic multi-agent systems framework
    Rodriguez, S
    Hilaire, V
    Koukam, A
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 719 - 726
  • [9] Formal reasoning on knowledge and commitments in multi-agent systems using Theatre
    Nigro, Christian
    Nigro, Libero
    Sciammarella, Paolo F.
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2020, 96 (02): : 233 - 250
  • [10] Temporal Reasoning in Multi-agent Workflow Systems Based on Formal Models
    Hsieh, Fu-Shiung
    Lin, Jim-Bon
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2012), PT I, 2012, 7196 : 33 - 42