Abstract
Extensive work has been conducted both in game theory and logic to model strategic interaction. An important question is whether we can use these theories to design agents for interacting with people? On the one hand, they provide a formal design specification for agent strategies. On the other hand, people do not necessarily adhere to playing in accordance with these strategies, and their behavior is affected by a multitude of social and psychological factors. In this paper we will consider the question of whether strategies implied by theories of strategic behavior can be used by automated agents that interact proficiently with people. We will focus on automated agents that we built that need to interact with people in two negotiation settings: bargaining and deliberation. For bargaining we will study game-theory based equilibrium agents and for argumentation we will discuss logicbased argumentation theory. We will also consider security games and persuasion games and will discuss the benefits of using equilibrium based agents.
Original language | English |
---|---|
Pages (from-to) | 13-27 |
Number of pages | 15 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 215 |
DOIs | |
State | Published - 23 Jun 2016 |
Event | 15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015 - Pittsburgh, United States Duration: 4 Jun 2015 → 6 Jun 2015 |
All Science Journal Classification (ASJC) codes
- Software