Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann (1) , Andreas Herzig (1) , Laurent Perrussel (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul

In this paper, we investigate strategic reasoning in the context of auctions. More precisely, we establish an explicit link between bidding actions and bounded rationality. To do so, we extend the Auction Description Language with an epistemic operator and an action choice operator and use it to represent a classical auction where agents have imperfect information about other agents’ valuations. We formalize bounded rationality concepts in iterative protocols and show how to use them to reason about the players’ actions. Finally, we provide a model checking algorithm.

Mots clés: Logics for multi-agent systems; Game description language; Bounded rationality; Auction-based markets

Domaines: Logique [math.LO]; Mathématique discrète [cs.DM]; Calcul formel [cs.SC]; Intelligence artificielle [cs.AI]

Munyque Mittelmann, Andreas Herzig, Laurent Perrussel. Epistemic Reasoning About Rationality and Bids in Auctions. Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩. ⟨hal-03573581⟩