Dynamic Decision-Making in Logic Programming and Game Theory
We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice Logic Programming, allows decisions that comprise multiple alternatives, which become available only when a choice between them is forced. The skeptical semantics is based on answer sets for which we provide a fixpoint characterization and a bottom-up algorithm. OCLPs can be used to represent and extend game theory concepts. We demonstrate that OCLPs allow an elegant translation of finite extensive games with perfect information such that the c-answer sets correspond to the Nash equilibria of the game. These equilibria are not player-deterministic, in the sense that a single player, given the other players’ actions, could rationally leave an equilibrium state by changing her action profile. Therefor cautious Nash equilibria are introduced as the answer sets of the transformed game.
Unable to display preview. Download preview PDF.
- [AAP+98]José Júlio Alferes, Leite J. A., Luís Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski. Dynamic logic programming. In Cohn et al. [CSS98], pages 98–111.Google Scholar
- [BLR98]Francesco Buccafurri, Nicola Leone, and Pasquale Rullo. Disjunctive ordered logic: Semantics and expressiveness. In Cohn et al. [CSS98], pages 418–431.Google Scholar
- [CSS98]Anthony G. Cohn, Lenhard K. Schubert, and Stuart C. Shapiro, editors. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998. Morgan Kaufmann.Google Scholar
- [DVV99]Marina DeVos and Dirk Vermeir. On the Role of Negation in Choice Logic Programs. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Logic Programming and Non-Monotonic Reasoning Conference (LPNMR’99), volume 1730 of LNAI, pages 236–246, 1999. Springer Verlag.Google Scholar
- [DVV00]Marina DeVos and Dirk Vermeir. A Logic for Modelling Decision Making with Dynamic Preferences. In Proceedings of the Logic in Artificial Intelligence (Jelia2000) workshop, number 1999 in LNAI, pages 391–406, 2000. Springer Verlag.Google Scholar
- [Lif00]Vladimir Lifschitz. Answer set programming and plan generation. Journal of Artificial Intelligence, page to appear, 2000.Google Scholar
- [OR96]Martin J. Osborne and Ariel Rubinstein. A Course in Game Theory. The MIT Press, Cambridge, Massachusets, London, England, third edition, 1996.Google Scholar
- [SI96]Chiaki Sakama and Katsumi Inoue. Representing Priorities in Logic Programs. In Michael Maher, editor, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 82–96, 1996. MIT Press.Google Scholar