English

Budget-Constrained Coalition Strategies with Discounting

Artificial Intelligence 2021-05-12 v1 Computer Science and Game Theory Logic in Computer Science Logic

Abstract

Discounting future costs and rewards is a common practice in accounting, game theory, and machine learning. In spite of this, existing logics for reasoning about strategies with cost and resource constraints do not account for discounting. The paper proposes a sound and complete logical system for reasoning about budget-constrained strategic abilities that incorporates discounting into its semantics.

Keywords

Cite

@article{arxiv.2105.04692,
  title  = {Budget-Constrained Coalition Strategies with Discounting},
  author = {Lia Bozzone and Pavel Naumov},
  journal= {arXiv preprint arXiv:2105.04692},
  year   = {2021}
}
R2 v1 2026-06-24T01:58:00.436Z