Qualitative Model of Game Theory
This paper studies the notion of qualitative game theory in the context of multi-agent decision making. We use logic programs with ordered disjunction (LPODs), invented by Brewka, as representation and reasoning language for strategic form of games. Structure and rules of a game are represented as a LPODin which preferences of players are encoded as ordered disjunctive rules. Solution of a game is defined in terms of equilibria such that preferred answer sets of a LPOD representing a game correspond exactly to respective types of equilibria of the game. We also discuss games in which rules have been changed or players are wrong informed about the rules of a game.
KeywordsNash Equilibrium Logic Program Logic Programming Strategy Profile Extended Logic Program
Unable to display preview. Download preview PDF.
- 2.Brewka, G.: Logic Programs with Ordered Disjunction. In: Proc. AAAI, Canada, pp. 100–105 (2002)Google Scholar
- 4.Doyle, J., Thomason, R.: Background to qualitative decision theory. AI. Mag. 20, 55–68 (1997)Google Scholar
- 5.Dastani, M., Van der Torre, L.: What is a joint goal? Games with beliefs and defeasible desires. In: NMR 2002, France, pp. 33–40 (2002)Google Scholar
- 7.De Vos, M., Vermeir, D.: Logic Programming Agents and Game Theory. In: Proc. AAAI Spring Symposium on Answer Set Programming, USA, pp. 27–33 (2001)Google Scholar
- 8.De Vos, M., Vermeir, D.: Dynamic Decision Making in Logic Programming and Game Theory. In: AI 2002, Australia, pp. 36–57 (2002)Google Scholar
- 11.Niemelä, I., Simons, P.: Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)Google Scholar
- 13.Osorio, M. et.al.: Generalized Ordered Disjunction and its Applications (not published) Google Scholar
- 14.Tan, S.W., Pearl, J.: Qualitative Decision Theory. In: Proc. AAAI 1994, USA, pp. 70–75 (1994)Google Scholar