LPOD answer sets and nash equilibria

摘要: Logic programs with ordered disjunctions (LPODs) are natural vehicles for expressing choices that have a preference ordering. They extensions of the familiar extended logic answer sets as semantics. In game theory, players usually prefer strategies yield higher payoffs. Since choices, LPODs would seem to be suitable logical formalism some game-theoretic properties. This paper shows how pure strategy normal form games can encoded in such way mutually most preferred by all exactly Nash equilibria. A similar result has been obtained researchers using different, but related, formalism, viz., choice were used encode extensive games.