Choice Logic Programs and Nash Equilibria in Strategic Games

  • Marina De Vos
  • Dirk Vermeir
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1683)


We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.


nondeterminism choice logic programs stable model semantics game theory 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Pierpaolo Battigalli and Giacomo Bonanno. Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory.Working Paper.Google Scholar
  2. 2.
    Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1081–1086, Seattle, 1998. ALP, IEEE, The MIT Press.Google Scholar
  3. 3.
    P. Geerts and D. Vermeir. Credulous and Autoepistemic Reasoning using Ordered Logic. Proceedings of the First International Workshop on Logic Programming and Non-Monotonic Reasoning, page 21–36, MIT Press, 1991.Google Scholar
  4. 4.
    P. Geerts and D. Vermeir and D. Nute. Ordered logic: Defeasible Reasoning for Multiple Agents. Decision Support Systems, 11 (1994) 157–190.CrossRefGoogle Scholar
  5. 5.
    E. Laenens and D. Vermeir. A Fixpoint Semantics of Ordered Logic. Journal of Logic and Computation, 1(2)(1990) 159–185.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    M. J. Osborne and A. Rubinstein. A Course in Game Theory, MIT Press,1994.Google Scholar
  7. 7.
    David Poole. The Independent Choice Logic for Modelling Multiple Agents under Uncertainty. Artificial Intelligence, 94(1-2) (1997) 7–56.MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    T. C. Przymusinski. Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. In Proceedings of the Eight ACMSymposium on Principles of Database Systems, pages 11–21. Association for Computing Machinery, 1989.Google Scholar
  9. 9.
    D. Sacca. Deterministic and Non-Deterministic Stable Models. Logic and Computation, 5 (1997) 555–579.CrossRefMathSciNetGoogle Scholar
  10. 10.
    Chiaki Sakama and Katsumi Inoue An Alternative Approach to the Semantics of Disjunctive Logic Programs and Decductive Databases. Journal of Automated Reasoning, 13 (1994) 145–172.MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    D. Sacca and C. Zaniolo. Stable Models and Non-Determinism for Logic Programs with Negation. In Proceedings of the 9thACMSIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 205–218. Association for Computing Machinery, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Marina De Vos
    • 1
  • Dirk Vermeir
    • 1
  1. 1.Dept. of Computer ScienceFree University of BrusselsVUB Pleinlaan 2Belgium

Personalised recommendations