Logic Programming Agents and Game Theory

In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, correspond with the different equilibria of the game. The proposed transformations from games to ordered choice logic program produce a multi-agent system where each agent embodies the reasoning of a player and where the system itself represents the structure of the game. This allows us to monitor the knowledge and beliefs of the agents, i.e. the flow of information between agents/players.

• Type: Conference
• Year: 2001
• Where: ASP
• Authors: Marina De Vos, Dirk Vermeir
• Keywords: ASP 2001, Automated Reasoning, Choice Logic Program, Logic Programming Agents, Stable Models