Budget-Constrained Coalition Strategies with Discounting
This work addresses a gap in formal reasoning for budget-constrained strategies in fields like game theory and machine learning, though it appears incremental as it extends existing logics.
The paper tackled the problem of reasoning about strategies with cost and resource constraints by incorporating discounting, which was previously unaddressed, and developed a sound and complete logical system for this purpose.
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.