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 条
  • [41] On procedure recognition in the situation calculus
    Baier, JA
    XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2002, : 33 - 42
  • [42] Goal change in the situation calculus
    Shapiro, Steven
    Lesperance, Yves
    Levesque, Hector J.
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 983 - 1018
  • [43] Causality and counterfactuals in the situation calculus
    Hopkins, Mark
    Pearl, Judea
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 939 - 953
  • [44] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1162 - 1164
  • [45] On a nonstandard model of situation calculus
    Fusaoka, Akira
    Hiratsuka, Satoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (05) : 557 - 564
  • [46] MAKING SITUATION CALCULUS INDEXICAL
    SUBRAMANIAN, D
    WOODFILL, J
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 467 - 474
  • [47] Formal foundations for situation awareness based on dependent type theory
    Dapoigny, Richard
    Barlatier, Patrick
    INFORMATION FUSION, 2013, 14 (01) : 87 - 107
  • [48] A Pi-calculus-based business process formal design method
    Zhang, Jing
    Wang, Haiyang
    COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN III, 2007, 4402 : 347 - +
  • [49] Formal analysis of security protocol based on process calculus and knowledge derivation
    Department of Computer Science and Technology, Huzhou Teachers College, Huzhou 313000, China
    不详
    Jisuanji Yanjiu yu Fazhan, 2006, 5 (953-958):
  • [50] Knowledge representation of the software architecture design process based on situation calculus
    Roldan, Maria Luciana
    Gonnet, Silvio
    Leone, Horacio
    EXPERT SYSTEMS, 2013, 30 (01) : 34 - 53