Game-theoretic reasoning about actions in nonmonotonic causal theories

  • Authors:
  • Alberto Finzi;Thomas Lukasiewicz

  • Affiliations:
  • Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria

  • Venue:
  • LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present the action language for reasoning about actions in multi-agent systems under probabilistic uncertainty and partial observability, which is an extension of the action language that is inspired by partially observable stochastic games (POSGs). We provide a finite-horizon value iteration for this framework and show that it characterizes finite-horizon Nash equilibria. We also describe how the framework can be implemented on top of nonmonotonic causal theories. We then present acyclic action descriptions in as a special case where transitions are computable in polynomial time. We also give an example that shows the usefulness of our approach in practice.