A formal account of opportunism based on the situation calculus

被引:4
|
作者
Luo J. [1 ]
Meyer J.-J. [1 ]
机构
[1] Intelligent Systems Group, Utrecht University, P.O. Box 80089, Utrecht
关键词
Formalization; Opportunism; Situation calculus; Value;
D O I
10.1007/s00146-016-0665-4
中图分类号
学科分类号
摘要
In social interactions, it is common for individuals to possess different amounts of knowledge about a specific transaction, and those who are more knowledgeable might perform opportunistic behavior to others in their interest, which promotes their value but demotes others’ value. Such a typical social behavior is called opportunistic behavior (opportunism). In this paper, we propose a formal account of opportunism based on the situation calculus. We first propose a model of opportunism that only considers a single action between two agents, and then extend it to multiple actions and incorporate social context in the model. A simple example of selling a broken cup is used to illustrate our models. Through our models, we can have a thorough understanding of opportunism. © 2016, The Author(s).
引用
收藏
页码:527 / 542
页数:15
相关论文
共 50 条
  • [31] Lambek calculus and formal languages
    Pentus, M
    LOGIC COLLOQUIUM '95, 1998, 11 : 269 - 272
  • [32] Calculus CL as a Formal System
    Lemanski, Jens
    Jansen, Ludger
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 445 - 460
  • [33] Property persistence in the situation calculus
    Kelly, Ryan F.
    Pearce, Adrian R.
    ARTIFICIAL INTELLIGENCE, 2010, 174 (12-13) : 865 - 888
  • [34] Synchronous Games in the Situation Calculus
    De Giacomo, Giuseppe
    Lesperance, Yves
    Pearce, Adrian R.
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1675 - 1676
  • [35] The Chisholm paradox and the situation calculus
    Demolombe, R
    Pozos-Parra, P
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2005, 3488 : 425 - 434
  • [36] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 173 - 185
  • [37] Property Persistence in the Situation Calculus
    Kelly, Ryan F.
    Pearce, Adrian R.
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1948 - 1953
  • [38] A situation calculus model of hypertext
    Scherl, R
    Bieber, M
    Vitali, F
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL V: MODELING TECHNOLOGIES AND INTELLIGENT SYSTEMS TRACK, 1998, : 205 - 214
  • [39] Determining ramifications in the situation calculus
    Giunchiglia, E
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 76 - 86
  • [40] DESIGN PATTERNS IN SITUATION CALCULUS
    Liu, Qiang
    Yang, Zongyuan
    Zhao, Yefei
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING, 2009, : 244 - 248