Dynamic decision-making in logic programming and game theory


De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. In: Al 2002: Advances in Artificial Intelligence.Vol. 2557. , pp. 36-47. (Lecture Notes in Artificial Intelligence)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


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.


Item Type Book Sections
CreatorsDe Vos, M.and Vermeir, D.
DepartmentsFaculty of Science > Computer Science
ID Code5590
Additional InformationID number: ISI:000181083100004


Actions (login required)

View Item